Formal Verification Engineer

NVIDIA
Bengaluru, Gurugram
Workplace: HybridFull timeFunction: QA, Test & Release EngineeringExperience: 2+ yearsSkills: ["Analytical skills","Communication","Collaboration","Problem-solving","Mentoring"]

Build and optimize an end-to-end formal verification flow for CPU/GPU microarchitecture projects. Define verification scope, develop automation scripts, maintain assertion libraries, and create verification environments with assertions and cover properties. Review proofs with design and verification teams, apply formal techniques to prove correctness (or bounded proofs), and debug RTL failure scenarios. Collaborate across architects, designers, and verification teams to ensure design correctness.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
4 days ago

Formal Verification Engineer

✓ Verified Job

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

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

Job Summary

Build and optimize an end-to-end formal verification flow for CPU/GPU microarchitecture projects. Define verification scope, develop automation scripts, maintain assertion libraries, and create verification environments with assertions and cover properties. Review proofs with design and verification teams, apply formal techniques to prove correctness (or bounded proofs), and debug RTL failure scenarios. Collaborate across architects, designers, and verification teams to ensure design correctness.
Location: Bengaluru, Gurugram
Workplace: Hybrid
Employment Type: Full time
Job Function: QA, Test & Release Engineering
Seniority: Mid level

Key Responsibilities

  • •Specify, implement, and maintain an integrated end-to-end formal verification flow for the team.
  • •Develop scripts to automate the verification process.
  • •Review formal setups and proofs with design and verification teams.
  • •Maintain and extend assertion libraries, supporting both simulation and formal verification.
  • •Identify key behaviors, develop verification environments (assumptions, assertions, cover properties), and apply FV techniques to prove correctness and debug RTL failures.

Key Requirements

  • •Bachelors/Masters in Electronics & Communications, Computer Science, or Electrical Engineering.
  • •2+ years of industry experience using formal techniques for verification.
  • •Strong analytical skills to tackle hard problems.
  • •Excellent command of scripting and strong knowledge of CPU architecture and digital logic.
  • •Hands-on experience with HDLs such as Verilog/SystemVerilog, including temporal logic assertions.
Experience:2+ yearsCPUGPUHPCArtificial intelligenceMicroarchitecture
Education:
Skills:Analytical skillsCommunicationCollaborationProblem-solvingMentoring
Tech Stack:VerilogSystemVerilog

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