Senior Formal Verification Engineer

NVIDIA
Santa Clara
Workplace: OnsiteFull timeUSD 136,000 - 264,500Function: Solutions Engineering & Sales EngineeringExperience: 5+ yearsEducation: bachelorsSkills: ["Communication","Teamwork","Problem-solving"]

Join NVIDIA as a Formal Verification Engineer to verify the micro-architecture of leading GPUs using formal verification tools. Collaborate with architects, designers, and pre- & post-silicon verification teams to define verification scope, develop testplans, create abstraction models, and deliver high-quality proofs and coverage across the full project lifecycle.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
3 months ago

Senior Formal Verification Engineer

✓ Verified Job

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

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

Job Summary

Join NVIDIA as a Formal Verification Engineer to verify the micro-architecture of leading GPUs using formal verification tools. Collaborate with architects, designers, and pre- & post-silicon verification teams to define verification scope, develop testplans, create abstraction models, and deliver high-quality proofs and coverage across the full project lifecycle.
Location: Santa Clara
Workplace: Onsite
Employment Type: Full time
Job Function: Solutions Engineering & Sales Engineering

Key Responsibilities

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

Pay and Benefits

Salary: USD 136,000 - 264,500

Key Requirements

  • •BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 5+ years of experience.
  • •Experience with Verilog / SystemVerilog HDLs and able to understand sophisticated RTL quickly.
  • •Experience with formal tools and knowledge of formal verification methodologies.
  • •Able to implement abstraction techniques for effective verification.
  • •Excellent written and verbal communication; able to collaborate effectively in a distributed team.
Experience:5+ years
Education:Bachelor's
Skills:CommunicationTeamworkProblem-solving
Languages:English
Tech Stack:VerilogSystemVerilogRTLTCLPerlPython

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