Formal Verification Engineer - New College Grad 2026

Topjobstoday

Base: 100,000 usd - 166,750 usd for level 1; bonus...
Not specified
Experience with verilog / system verilog hdls
Knowledge of formal verification methodologies
Strong analytical skills for complex problem solving
NVIDIA is seeking a Formal Verification Engineer who will be responsible for verifying the design and implementation of GPUs using formal verification techniques. The ideal candidate will have a strong background in computer science, computer engineering, or electrical engineering, with hands-on experience in formal verification methodologies and tools

Job Summary

  • As a Formal Verification Engineer at NVIDIA, you will verify the design and implementation of the industry's leading GPUs.
  • You will efficiently execute the formal verification effort for the entire project cycle, delivering high-quality results on schedule.
  • NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer.

Matching Summary

Match Score: 85

NVIDIA is seeking a Formal Verification Engineer who will be responsible for verifying the design and implementation of GPUs using formal verification techniques. The ideal candidate will have a strong background in computer science, computer engineering, or electrical engineering, with hands-on experience in formal verification methodologies and tools.

Salary

Base: 100,000 USD - 166,750 USD for Level 1; Bonus/Equity: Not specified; Benefits: Not specified

Skills & Requirements

Must-have

  • Experience with Verilog / System Verilog HDLs
  • Knowledge of formal verification methodologies
  • Strong analytical skills for complex problem solving

Nice-to-have

  • Excellent command of scripting using TCL, Perl, and Python
  • Ability to collaborate with distributed teams
  • Creative and autonomous mindset

Key Requirements

  • BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics
  • Solid understanding of GPU/CPU architectures and designs
  • Hands-on experience with temporal logic assertions

Work Rights

Not specified

Tailored Resume

Cover Letter