As a Formal Verification Engineer at NVIDIA, you will play a crucial role in verifying the design and implementation of cutting-edge GPUs. Your work will involve using formal verification tools to ensure design correctness and collaborating with architects and verification teams throughout the project cycle. You will focus on developing test plans, executing formal techniques, and debugging RTL to enhance verification efficiency. This position offers the opportunity to contribute to a dynamic team dedicated to delivering high-quality results in a fast-paced environment.

• BS/MS/PhD or equivalent experience in CS, CE, EE, or Mathematics.
• Solid understanding of GPU/CPU architectures and designs.
• Strong analytical skills to solve complex problems.
• Knowledge of formal verification methodologies and techniques.
• Hands-on experience with Verilog/System Verilog HDLs and temporal logic assertions.
• Excellent command of scripting using TCL, Perl, and Python.
• Experience with JasperGold and VC-Formal tools.
• Excellent interpersonal skills for effective collaboration.

• Identify key behaviors for verification to write clear test plans for complex designs.
• Execute test plans using the latest formal techniques, including the development of environment assumptions, assertions, and cover properties.
• Develop abstraction models to overcome complexity challenges and obtain full proofs or bounded proofs with sufficient coverage.
• Drive tools to realize their best performance.
• Debug RTL to identify causes of failure scenarios.
• Contribute to flow and script development to improve team efficiency.
• Articulate formal verification coverage of the design to partners.

• Employees at NVIDIA are often offered comprehensive, day-one benefits—including medical, dental, and vision coverage with HSA support, life and disability insurance, an Employee Assistance Program, and a 401(k) with auto-enrollment. Many roles also have generous time off and holidays, donation matching (up to $10,000), and a wide menu of extras like FSAs, commuter benefits, legal and identity-theft protection, pet insurance, and wellness discounts. Optional programs can include student-loan and home-purchase support, plus family care resources and expert medical services.