NVIDIA is seeking a Formal Verification Engineer to safeguard the functional integrity of our industry-leading silicon. In this pivotal role, you will apply advanced formal methodologies to verify next-generation designs, ensuring their correctness from the ground up. This is a chance to join a dedicated Pre-Silicon team, leveraging state-of-the-art tools to prove design correctness. You will gain exposure to a vast array of cutting-edge technologies and play a critical role in defining and executing the formal strategy for the high-performance chips that power data centers and AI worldwide.
What You’ll Be Doing
Develop comprehensive test plans and implement them using formal verification tools.
Create assertions, assumptions, and cover properties to validate design behavior.
Employ abstraction techniques to manage complexity and achieve verification goals.
Analyze and debug failures in the RTL design.
Collaborate with architecture, design, and verification teams to communicate coverage and ensure design quality.
What we need to see:
BS/MS/PhD in CS, CE, EE, or Mathematics (or equivalent experience) with 3+ years relevant experience
Strong problem-solving skills and the ability to thrive in a collaborative, distributed team environment.
Proficiency in scripting languages like TCL, Python, or Perl.
Ways to stand out from the crowd:
Hands-on experience with formal verification tools such as JasperGold or VC Formal.
Experience with formal verification methodologies, SystemVerilog, and temporal logic.
Join NVIDIA, a top-tier technology employer, and work alongside some of the world's most brilliant minds to solve extraordinary challenges.