Senior Formal Verification Engineer
NVIDIA · Westford, MA · 1 wk ago
HybridEngineeringFull-time
About the role
NVIDIA is seeking a Formal Verification Engineer to contribute to the verification of high-performance designs, particularly coherent interconnects.
Responsibilities
- Identify key behaviors for verification to write clear testplans for complex 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 obtain full proofs, or bounded proofs with sufficient coverage.
- 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.
Requirements
- BS (or equivalent experience)/MS/PhD with 7+ years of experience in CS/CE/EE/Mathematics.
- Strong analytical skills to solve complex problems.
- Knowledge of formal verification methodologies and techniques.
- Able to implement abstraction techniques for effective verification.
- Hands-on experience with Verilog / System Verilog HDLs, temporal logic assertions, and able to understand complex RTL quickly.
- Excellent command of scripting using TCL, Perl, and Python.
- Preferrably experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal).
- Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.
Qualifications
- Experience with GPU/CPU architectures and designs.
Skills
- Formal verification methodologies and techniques.
- Abstraction techniques for effective verification.
- Verilog / System Verilog HDLs, temporal logic assertions.
- TCL, Perl, and Python scripting.
- Experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal).
Benefits
- Base salary range: $168,000 - $264,500 for Level 4, and $196,000 - $310,500 for Level 5.
- Eligibility for equity and benefits.
Pay
- Base salary determined based on location, experience, and comparable positions.
Schedule
- Full-time position.
Contact
- Applications accepted until July 10, 2026.