As a Formal Verification Engineer at NVIDIA, you will be responsible for verifying the build and implementation of leading GPUs. This role involves using formal verification tools to ensure the correctness of micro-architecture and collaborating with architects and designers throughout the project cycle. You will employ advanced formal techniques to achieve bounded proofs and communicate results effectively to the team. Joining NVIDIA means being part of a diverse and innovative environment focused on 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 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.