Join NVIDIA, a leader in technological innovation, and amplify human creativity and intelligence. As a Senior Formal Verification Engineer, you will contribute to our world-class functional formal verification methodology, leveraging advanced techniques to ensure the integrity of complex hardware designs. This role offers a unique opportunity to work with brilliant minds in a diverse and supportive environment, tackling challenging problems that have a lasting impact.

As a Formal Verification Engineer, you will be instrumental in selecting and applying formal verification techniques to diverse design elements. Your responsibilities will include:

- Reviewing specifications and defining the scope for formal verification efforts. - Creating high-quality formal verification test plans to validate design implementations. - Developing formal verification testbenches, writing assertions and constraints, and employing abstraction techniques for property convergence. - Implementing formal coverage strategies to analyze over-constraints and measure functional coverage. - Designing and enhancing functional verification flows using both vendor and internal formal tools.

We are seeking experienced professionals with:

- A B.Tech. or M.Tech. degree and a minimum of 5 years of relevant experience. - A strong understanding of hardware micro-architecture and design principles. - Expertise in formal verification technologies, including complexity reduction methods. - Proven experience with formal property verification on multiple complex design units. - Proficiency in developing comprehensive test plans, constructing formal testbenches, and effectively root-causing counter-examples.

Additional strengths include excellent debugging and problem-solving abilities, scripting knowledge (Python/Perl/shell), and strong interpersonal and communication skills, with a passion for collaborative teamwork.