Formal Verification Engineer - New College Grad 2026

NVIDIA
Austin, Santa Clara
Workplace: OnsiteFull timeUSD 100,000 - 166,750 annuallyFunction: Hardware, Embedded & Systems EngineeringEducation: mastersSkills: ["Communication","Problem-solving","Collaboration"]

Join NVIDIA as a Formal Verification Engineer focused on verifying GPU micro-architectures using formal techniques. You’ll write testplans, develop abstraction models, run advanced verification tools, and collaborate with architects, designers, and distributed teams to deliver high-quality proofs and coverage across the project lifecycle.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
6 months 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: 22 hours agoStatus: Live

Job Summary

Join NVIDIA as a Formal Verification Engineer focused on verifying GPU micro-architectures using formal techniques. You’ll write testplans, develop abstraction models, run advanced verification tools, and collaborate with architects, designers, and distributed teams to deliver high-quality proofs and coverage across the project lifecycle.
Location: Austin, Santa Clara
Workplace: Onsite
Employment Type: Full time
Job Function: Hardware, Embedded & Systems Engineering
Seniority: Entry level

Key Responsibilities

  • •Identify key behaviors for verification to write clear testplans for complex designs.
  • •Execute testplans using the latest formal techniques, including development of environment assumptions, assertions and cover properties.
  • •Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.
  • •Drive tools to realize their best performance.
  • •Debug RTL to identify causes of failure scenarios.

Pay and Benefits

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

Key Requirements

  • •BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics.
  • •Strong understanding of GPU/CPU architectures and designs.
  • •Knowledge of formal verification methodologies and techniques.
  • •Hands-on experience with Verilog / SystemVerilog HDLs and RTL, including temporal logic assertions.
  • •Excellent scripting skills in TCL, Perl, and Python.
Experience:GPUSemiconductorHardwareVerification
Education:Master's
Skills:CommunicationProblem-solvingCollaboration
Tech Stack:VerilogSystemVerilogTCLPerlPythonJasperGoldVC-FormalRTL

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