Formal Verification Engineer - New College Grad 2026

NVIDIA

Base: $100,000 - $166,750 (level 1) / $116,000 - $...
Not specified
Formal verification methodologies
Verilog system verilog hdls
Jaspergold vc-formal tools
NVIDIA is seeking a Formal Verification Engineer, ideal for new graduates in 2026, to verify GPU designs using advanced formal verification tools. The candidate will work closely with architects and designers, contributing to the entire project cycle while ensuring design correctness and high-quality results

Job Summary

  • You will verify the design and implementation of NVIDIA's industry-leading GPUs using advanced formal techniques.
  • The role requires developing abstraction models to overcome complexity challenges and obtaining full or bounded proofs.
  • Candidates must possess strong analytical skills and hands-on experience with formal verification tools like JasperGold.

Matching Summary

Match Score: 85

NVIDIA is seeking a Formal Verification Engineer, ideal for new graduates in 2026, to verify GPU designs using advanced formal verification tools. The candidate will work closely with architects and designers, contributing to the entire project cycle while ensuring design correctness and high-quality results.

Salary

Base: $100,000 - $166,750 (Level 1) / $116,000 - $189,750 (Level 2); Bonus/Equity: Eligible for equity; Benefits: Comprehensive benefits package included

Skills & Requirements

Must-have

  • Formal verification methodologies
  • Verilog System Verilog HDLs
  • JasperGold VC-Formal tools
  • TCL Perl Python scripting
  • GPU CPU architecture knowledge

Nice-to-have

  • Strong analytical problem solving
  • Excellent interpersonal collaboration
  • Creative autonomous work style
  • Debugging complex RTL failures
  • Flow and script development

Key Requirements

  • BS/MS/PhD in CS CE EE Mathematics
  • Solid understanding of GPU/CPU architectures
  • Experience with temporal logic assertions

Work Rights

Not specified

Tailored Resume

Cover Letter