Senior Formal Verification Engineer

NVIDIA

Us, CA, United States
Base: 168,000 usd - 264,500 usd for level 4; 196,0...
Formal verification methodologies
Verilog / system verilog hdls
Temporal logic assertions
You will play a key role in ensuring the functional correctness and completeness of next generation chip designs

Job Summary

  • You will play a key role in ensuring the functional correctness and completeness of next generation chip designs.
  • You will collaborate with architects, designers, and verification teams to develop and implement formal verification methodologies.
  • NVIDIA is widely considered one of the technology world’s most desirable employers with talented and resourceful people.

Matching Summary

You will play a key role in ensuring the functional correctness and completeness of next generation chip designs.

Salary

Base: 168,000 USD - 264,500 USD for Level 4; 196,000 USD - 310,500 USD for Level 5; Bonus/Equity: Eligible; Benefits: Eligible

Skills & Requirements

Must-have

  • Formal verification methodologies
  • Verilog / System Verilog HDLs
  • Temporal logic assertions
  • Scripting with TCL, Perl, Python
  • Debug RTL failure scenarios
  • Develop abstraction models

Nice-to-have

  • Experience with Jasper Gold and VC Formal
  • Collaborate with distributed teams
  • Strong analytical problem solving
  • Effective communication skills

Key Requirements

  • BS/MS/PhD in CS/CE/EE/Mathematics
  • 7+ years of relevant experience
  • Solid understanding of GPU/CPU architectures
  • Knowledge of formal verification techniques
  • Ability to implement abstraction techniques

Work Rights

Not specified

Tailored Resume

Cover Letter