As a Formal Verification Engineer at NVIDIA, you will focus on verifying the design and implementation of advanced GPUs. You will collaborate with architects, designers, and verification teams to ensure design correctness using formal verification tools. The role emphasizes executing formal verification efforts throughout the project cycle while delivering high-quality results. You will also contribute to improving team efficiency through flow and script development.

• BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics.
• Solid understanding of GPU/CPU architectures and designs.
• Strong analytical skills and ability to reason about arithmetic verification challenges.
• Knowledge of formal verification methodologies and techniques.
• Hands-on experience with C, Verilog / System Verilog HDLs, and temporal logic assertions.
• Excellent command of scripting using Python and Tcl.
• Experience with industry strength formal verification tools.
• Excellent interpersonal skills, able to effectively collaborate with a distributed team.

• 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.
• Reason about arithmetic designs and develop verification strategies targeted to manage complexity of arithmetic design verification using formal techniques.
• Understand and reason about C reference models and their control flows, including using debugging flows.
• 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.