As a Formal Verification Engineer at NVIDIA, you will play a crucial role in verifying the build and implementation of leading GPUs. You will work closely with architects, designers, and verification teams to ensure the correctness of micro-architecture using formal verification tools. This position requires a strong understanding of GPU/CPU architectures and the ability to implement sophisticated verification techniques. You will be part of a diverse and innovative team dedicated to pushing the boundaries of technology.

• BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 5+ years of experience.
• Understanding of GPU/CPU architectures and engineering workflows.
• Experience with Verilog / System Verilog HDLs and the ability to understand sophisticated RTL quickly.
• Experience with formal tools and knowledge of formal verification methodologies.
• Strong analytical skills to tackle sophisticated problems.
• Excellent command of scripting using TCL, Perl, and/or Python.
• Excellent written and verbal communication skills.
• Ability to optimally collaborate and work in a distributed team.

• Identify key behaviors for verification to write clear test plans for sophisticated 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 acquire full proofs or bounded proofs with sufficient coverage.
• Drive formal 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 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.