Senior Formal Verification Engineer

About the role

As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs. You will employ sophisticated formal techniques to verify micro-architecture, define verification scope, and ensure correctness. Collaborating with architects, designers, and pre- & post-silicon verification teams, you will complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule.

Responsibilities

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

Requirements

• 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/SystemVerilog HDLs and ability to understand sophisticated RTL quickly.
• Experience with formal tools and knowledge of formal verification methodologies.
• Able to implement abstraction techniques for effective verification.
• Strong analytical skills to tackle sophisticated problems.
• Excellent command of scripting using TCL, Perl, and/or Python.
• Excellent written and verbal communication.
• Able to optimally collaborate and work in a distributed team.

Pay

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is:

• 136,000 USD - 218,500 USD for Level 3
• 168,000 USD - 264,500 USD for Level 4

You will also be eligible for equity and benefits.