Formal Verification Engineer

NVIDIA
Gurugram, Bengaluru
Workplace: HybridFull timeFunction: Hardware, Embedded & Systems EngineeringExperience: 2+ yearsEducation: mastersSkills: ["Analytical skills","Problem-solving","Communication","Collaboration"]

Work on NVIDIA’s Hardware Engineering team to prove correctness of design blocks, IPs, and SoC components using formal verification methods. Build and execute test plans with formal verification techniques, and experiment with formal tools and flows to improve performance and quality. Collaborate across design and verification teams in a globally distributed environment to meet verification goals.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
2 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: 5 hours agoStatus: Live
Reposted: similar role first listed 2 months ago

Job Summary

Work on NVIDIA’s Hardware Engineering team to prove correctness of design blocks, IPs, and SoC components using formal verification methods. Build and execute test plans with formal verification techniques, and experiment with formal tools and flows to improve performance and quality. Collaborate across design and verification teams in a globally distributed environment to meet verification goals.
Location: Gurugram, Bengaluru
Workplace: Hybrid
Employment Type: Full time
Job Function: Hardware, Embedded & Systems Engineering
Seniority: Mid level

Key Responsibilities

  • •Prove correctness of design blocks, IPs, and SoC components using Formal Verification methods.
  • •Prepare test plans and implement them using formal verification techniques.
  • •Experiment with formal tools and flows to drive performance and quality of results.
  • •Collaborate with design and verification teams to meet verification goals.

Key Requirements

  • •B.Tech./M.Tech. in Electrical Engineering, Computer Science, or a related field with 2+ years of relevant experience.
  • •Strong analytical skills to tackle complex problems.
  • •Strong coding skills in industry-standard scripting/programming languages such as C, Python, Perl, or Tcl.
  • •Ability to communicate effectively and collaborate in a globally distributed team.
Experience:2+ years
Education:Master's in Electrical Engineering, Computer Science
Skills:Analytical skillsProblem-solvingCommunicationCollaboration
Tech Stack:Formal VerificationSoCCPythonPerlTclScriptingProgramming

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