← All roles

Formal Verification Engineer

NVIDIA· Engineer, Verification
Apply on company site
Gurugram, India, Bengaluru, IndiaFull-timePosted 1mo ago

About the role

NVIDIA is seeking Formal Verification Engineers for its Hardware Engineering team to prove correctness of design blocks, IPs and SoC components using Formal Verification, prepare and implement testplans, experiment with Formal tools, and collaborate with design and verification teams.

Responsibilities

  • Prove correctness of design blocks, IPs and SoC components using Formal Verification methods
  • Prepare testplans and implement them using Formal verification techniques
  • Experiment with Formal tools and flows to drive performance and quality of results
  • Collaborate with other members of the design and verification teams to successfully meet verification goals

Qualifications

  • B.Tech. / M.Tech. in Electrical Engineering, Computer Science or related fields with 2+ years of relevant experience
  • Strong analytical skills to tackle complex problems
  • Strong coding skills in industry-standard scripting or programming languages such as C, Python, Perl or Tcl
  • Ability to communicate effectively and collaborate in a globally distributed team

Skills

Required:Formal VerificationTest planningFormal toolsCollaboration
Last updated Sep 11, 2026. Interested? Apply on the company site.

About NVIDIA

World Leader in AI Computing

NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.

AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
Company profileWebsite

More open roles at NVIDIA