NVIDIA
Formal Verification Engineer - New College Grad 2026
$100K–$190K
US, CA, Santa Clara · Full-time · Posted Oct 6, 2026
- Education
- BS/MS/Ph.D. or equivalent experience in CS/CE/EE/Mathematics
About the job
Help verify processor and accelerator hardware designs using formal methods, assertions, model checking, and verification tools.
What you'll do
- Write assumptions, assertions, and cover properties to check microarchitectural behavior.
- Debug formal failures and counterexamples to identify design bugs, property issues, or constraint problems.
- Use abstraction, modeling, and scripting to support proof convergence and communicate verification progress, coverage, risks, and findings.
What they ask for
- BS/MS/Ph.D. or equivalent experience in CS/CE/EE/Mathematics
- Strong analytical and collaboration skills.
- Familiarity with Verilog, SystemVerilog.
- Programming or scripting experience in Python, Tcl, Perl, C/C++, or similar.
Nice to have
- Hands-on experience with formal tools such as JasperGold, VC Formal, or similar.
- Experience writing SystemVerilog Assertions.
Pay
100,000 USD - 166,750 USD (base salary, Level 1); 116,000 USD - 189,750 USD (base salary, Level 2)
Tools
Verilog, SystemVerilog, Python, Tcl, Perl, C/C++, JasperGold, VC Formal
AI focus
The job description lists proven AI applications for engineering enhancement and improvements as a way to stand out. NVIDIA also states that it uses AI tools in its recruiting processes.
Model-written summary · the original posting is authoritative