Formal Verification Engineer

NVIDIA is hiring a Formal Verification Engineer in Gurugram, India. Level rates it ; you can apply on NVIDIA.

Level's read on this job

On Level's scale, this role is Little AI ●○○○: aI is not part of the work.
Some of the work can be done remotely, according to the posting.
The posting mentions C, Python and Perl among its tools and skills.
Level classes it as a mid-level role.
NVIDIA has 2,700+ other open roles on Level.

AI in this role

Prove the correctness of hardware design blocks and SoC components using formal verification methods and scripting tools.

CPythonPerlTcl

formal-verificationhardware-engineeringdigital-logic

NVIDIA has continuously reinvented itself. Our invention of the GPU sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. Today, research in artificial intelligence is booming worldwide, which calls for highly scalable and massively parallel computation horsepower that NVIDIA GPUs excel.

NVIDIA is a “learning machine” that constantly evolves by adapting to new opportunities that are hard to solve, that only we can address, and that matter to the world. This is our life’s work , to amplify human creativity and intelligence. As an NVIDIAN, you’ll be immersed in a diverse, supportive environment where everyone is inspired to do their best work. Come join our diverse team and see how you can make a lasting impact on the world!

We need passionate, hard-working, and creative people to help us take on some of these once-in-a-lifetime opportunities. This position offers the opportunity to have real impact in a progressive, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. We have crafted a team of outstanding people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing. NVIDIA is seeking Formal Verification Engineers for our Hardware Engineering team.

What you’ll be doing:

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

What we need to see:

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

#LI-Hybrid

How we rate this

Formal Verification Engineer at NVIDIA rates 10 out of 100 for how much of the daily work is AI. That makes it Little AI (AI Level 1 of 4). The level is about AI in the job, not seniority.

Classification

Little AI. AI is not part of the work.

●●●● Builds AI80 to 100
●●●○ Works on AI60 to 79
●●○○ Uses AI40 to 59
●○○○ Little AI0 to 39

Levels come from how often the tools, models and workflows of the role are named in the posting itself. Read the description and count the AI tools, models and workflows it names.

Key facts

Formal Verification Engineer is an open job at NVIDIA.
Level rates this role AI Level 1 of 4: Little AI.
The role is based in India, Gurugram and is marked remote.
The job was posted on September 9, 2026.
Seniority: mid.
Applications are handled by NVIDIA. Apply on NVIDIA

Prepare for this job

Built from this posting and from similar jobs on Level.

Skills and AI tools this role asks for

Formal VerificationHardware EngineeringDigital LogicCPythonPerlTcl

Questions you could be asked

Tell me about a project where formal verification was part of your work. What did you do?
Tell me about a project where hardware engineering was part of your work. What did you do?
Tell me about a project where digital logic was part of your work. What did you do?
What's a project where you used C hands-on?
Walk me through how you've used Python in your day-to-day work.

Adapt your resume

List these exact terms on your resume: Formal Verification, Hardware Engineering, Digital Logic, C, and Python. An applicant tracking system matches the wording, not the idea.
Attach one line of real, concrete experience to at least one of them. A tool named with nothing behind it rarely survives a human read.

Get your CV reviewed before you apply

Send your CV and the role you want next. Your review arrives by email within 3 days.

Get a free CV review Check your resume with the ATS resume checker