NVIDIA is seeking a Formal Verification Engineer to ensure the functional correctness of advanced chip designs, particularly in coherent interconnects and high-performance architectures. The role involves collaborating with a skilled team to develop formal verification methodologies and tools. The engineer will focus on identifying key behaviors for verification, implementing test plans, and debugging RTL to resolve failure scenarios. This position requires a strong understanding of formal verification techniques and the ability to work effectively with various teams.

• BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/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.
• Preferable experience with Formal Verification Tools such as Jasper Gold or VC Formal.
• Excellent interpersonal skills for effective collaboration.

• Identify key behaviors for verification to write clear test plans for complex designs.
• Implement 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.