Senior Formal Verification Engineer

NVIDIA

Multiple Locations
Base: 136,000 usd - 218,500 usd for level 3; 168,0...
Formal verification tools experience
Verilog / system verilog hdl expertise
Scripting with tcl, perl, or python
As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs

Job Summary

  • As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs.
  • You will efficiently complete the formal verification effort for the entire project cycle, delivering high-quality results on schedule, and clearly conveying those results to the team.
  • Widely considered to be one of the technology world’s most desirable employers, NVIDIA offers highly competitive salaries and a comprehensive benefits package.

Matching Summary

As a Formal Verification Engineer at NVIDIA, you will verify the build and implementation of the industry's leading GPUs.

Salary

Base: 136,000 USD - 218,500 USD for Level 3; 168,000 USD - 264,500 USD for Level 4; Bonus/Equity: Eligible; Benefits: Comprehensive benefits package

Skills & Requirements

Must-have

  • Formal verification tools experience
  • Verilog / System Verilog HDL expertise
  • Scripting with TCL, Perl, or Python
  • Understanding of GPU/CPU architectures
  • Debugging RTL failure scenarios
  • Development of environment assumptions and assertions

Nice-to-have

  • Collaboration in distributed teams
  • Strong analytical problem-solving skills
  • Flow and script development for efficiency
  • Excellent written and verbal communication

Key Requirements

  • BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics
  • 5+ years of relevant experience
  • Knowledge of formal verification methodologies
  • Ability to implement abstraction techniques
  • Not specified

Work Rights

Not specified

Tailored Resume

Cover Letter