Senior Formal Verification Engineer

NVIDIA

Base: 136,000 usd - 218,500 usd (level 3); 168,000...
Formal verification tools
Formal verification methodologies
Verilog / system verilog hdls
NVIDIA is defining the next era of computing by tapping into the unlimited potential of AI, with GPUs acting as the brains of computers, robots, and self-driving cars

Job Summary

  • NVIDIA is defining the next era of computing by tapping into the unlimited potential of AI, with GPUs acting as the brains of computers, robots, and self-driving cars.
  • As a Formal Verification Engineer, you will verify the build and implementation of industry-leading GPUs using sophisticated formal techniques.
  • NVIDIA offers highly competitive salaries, a comprehensive benefits package, and eligibility for equity, with base salary ranges provided for Level 3 and Level 4.

Matching Summary

NVIDIA is defining the next era of computing by tapping into the unlimited potential of AI, with GPUs acting as the brains of computers, robots, and self-driving cars.

Salary

Base: 136,000 USD - 218,500 USD (Level 3); 168,000 USD - 264,500 USD (Level 4); Equity and benefits eligible

Skills & Requirements

Must-have

  • Formal verification tools
  • Formal verification methodologies
  • Verilog / System Verilog HDLs
  • RTL debugging
  • TCL, Perl, and/or Python scripting

Nice-to-have

  • GPU/CPU architectures understanding
  • Collaborate in distributed team
  • Develop abstraction models
  • Drive formal tool performance

Key Requirements

  • 5+ years of experience
  • BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics
  • Experience with formal tools
  • Able to implement abstraction techniques
  • Strong analytical skills
  • Excellent command of scripting
  • Excellent written and verbal communication

Work Rights

Not specified

Tailored Resume

Cover Letter