NVIDIA
Senior Formal Verification Engineer
$136K–$264K
US, CA, Santa Clara +1 · Senior · Full-time · Posted Sep 23, 2026
- Location
- US, CA, Santa Clara
US, TX, Austin - Experience
- 5+ years of experience.
- Education
- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics.
About the job
Verifies GPU microarchitecture and implementation using formal methods, from defining verification scope through delivering and communicating project results.
What you'll do
- Create test plans and implement them with assumptions, assertions, cover properties, and abstraction models.
- Use formal tools to prove design correctness, debug RTL failures, and improve tool performance.
- Develop verification flows and scripts, and communicate verification coverage to partners.
What they ask for
- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics.
- Understanding of GPU/CPU architectures and engineering workflows; experience with Verilog / System Verilog HDLs, formal tools, and formal verification methodologies.
- Ability to implement abstraction techniques and strong analytical skills.
- Excellent scripting command using TCL, Perl, and/or Python; excellent communication and collaboration skills.
Pay
136,000 USD - 218,500 USD base salary (Level 3); 168,000 USD - 264,500 USD base salary (Level 4)
Tools
Verilog, System Verilog, TCL, Perl, Python
AI focus
The role does not involve AI work; NVIDIA states that it uses AI tools in its recruiting processes.
Model-written summary · the original posting is authoritative