Formal Verification Engineer - New College Grad 2026

NVIDIA
Santa Clara
Workplace: OnsiteFull timeUSD 100,000 - 189,750 annuallyFunction: Hardware, Embedded & Systems EngineeringEducation: bachelorsSkills: ["Analytical skills","Collaboration","Problem-solving","Communication","Learning agility"]

Help verify advanced processor and accelerator designs using formal verification methods such as assertions, model checking, and mathematical reasoning. Collaborate with formal verification engineers, architects, and RTL designers to understand intent, identify important behaviors, write assumptions and cover properties, and debug counterexamples. Improve proof convergence and productivity with abstraction, modeling, and scripting while communicating progress, coverage, risks, and findings to the team.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
1 month ago

Formal Verification Engineer - New College Grad 2026

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 7 hours agoStatus: Live
Reposted: similar role first listed 7 months ago

Job Summary

Help verify advanced processor and accelerator designs using formal verification methods such as assertions, model checking, and mathematical reasoning. Collaborate with formal verification engineers, architects, and RTL designers to understand intent, identify important behaviors, write assumptions and cover properties, and debug counterexamples. Improve proof convergence and productivity with abstraction, modeling, and scripting while communicating progress, coverage, risks, and findings to the team.
Location: Santa Clara
Workplace: Onsite
Employment Type: Full time
Job Function: Hardware, Embedded & Systems Engineering
Seniority: Graduate level

Key Responsibilities

  • •Learn and apply formal verification techniques to real processor and accelerator designs.
  • •Understand design behavior from specifications, RTL, and discussions with design teams.
  • •Write assumptions, assertions, and cover properties for microarchitectural behavior verification.
  • •Debug formal failures and counterexamples to identify RTL bugs, property issues, or constraint problems.
  • •Use abstraction, modeling, and scripting to improve proof convergence and team productivity.

Pay and Benefits

Salary: USD 100,000 - 189,750 annually
Equity and Bonus:Equity

Key Requirements

  • •BS/MS/Ph.D. (or equivalent) in CS/CE/EE/Mathematics.
  • •Strong analytical and collaboration skills for solving complex problems.
  • •Familiarity with Verilog and SystemVerilog.
  • •Programming or scripting experience with Python, Tcl, Perl, C/C++, or similar.
  • •Ability to learn quickly, ask good questions, and collaborate effectively.
Experience:Formal verificationDigital designComputer architectureHardware verification
Education:Bachelor's in CS/CE/EE/Mathematics
Skills:Analytical skillsCollaborationProblem-solvingCommunicationLearning agility
Tech Stack:VerilogSystemVerilogPythonTclPerlC/C++JasperGoldVC Formal

Company Brief

NVIDIA
Designs and manufactures GPUs, AI accelerators, and system-on-chip products for gaming, data centers, professional visualization, and automotive markets, enabling advanced graphics, AI, and high-performance computing solutions worldwide.
Industry: Electronics Manufacturing
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Santa Clara, United States
Founded: 1993
Glassdoor
Glassdoor: 4.3
WebsiteLinkedInGlassdoor