NVIDIA is seeking a Formal Verification Engineer to ensure the functional correctness of cutting-edge chip designs. The role involves collaborating with a skilled team to develop formal verification methodologies and tools. You will be responsible for defining verification scopes and employing advanced formal techniques. This position offers the opportunity to work on high-performance designs and contribute to the overall efficiency of the verification process.

• BS, MS, or PhD with 7+ years of experience in Computer Science, Computer Engineering, Electrical Engineering, or Mathematics.
• Solid understanding of GPU and CPU architectures and designs.
• Strong analytical skills to solve complex problems.
• Knowledge of formal verification methodologies and techniques.
• Hands-on experience with Verilog or System Verilog HDLs and temporal logic assertions.
• Excellent command of scripting languages such as TCL, Perl, and Python.
• Preferable experience with Formal Verification Tools like Jasper Gold or VC Formal.
• Excellent interpersonal skills for effective collaboration with a distributed team.

• 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 or bounded proofs.
• 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.