Formal Verification Engineer

NVIDIA is hiring a Formal Verification Engineer in Shanghai, China. 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.
The posting mentions Jasper, Jasper Gold and Vc Formal among its tools and skills.
Level classes it as a senior role.
NVIDIA has 2,700+ other open roles on Level.

AI in this role

Verify complex GPU clocking RTL designs using advanced formal verification techniques and tools.

JasperJasper GoldVc FormalTclPerlPython

formal-verificationasicrtl-designhardware-verification

The NVIDIA GPU clocks group is looking for excellent Senior Formal Verification engineers to join the team. The Team is responsible for crafting all aspects of GPU clocking. The team collaborates with the frontend design team to understand the clocking requirements for the chip. We also understand the physical restrictions being placed on the clocks by the backend teams. The GPU clocks group architects, designs and validates the clocks RTL. The complexity of clocks RTL has increased many folds to support our features that power our product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence.

What you’ll be doing:

Understand key design behaviors from formal verification view to write clear test plans, and implement them using the latest formal techniques, including the development of environment assumptions, assertions and cover properties.
Develop abstraction models to overcome complexity challenges and obtain full proofs, or bounded proofs with sufficient coverage.
Debug RTL to identify causes of failure scenarios and finish coverage sign-off.
Drive tools to realize their best performance.
Contribute to flow and script development to improve team efficiency.
Work with architects, designers and others to guarantee good deliverable quality.

What we need to see:

BS / MS in CS/CE/EE/Mathematics and related with 3+ years of ASIC verification experience.
Knowledge of formal verification methodologies and techniques, preferable experience with Formal Verification Tools (e.g. Jasper Gold, VC Formal ).
Able to implement abstraction techniques for effective verification.
Excellent command of scripting using TCL, Perl, and Python.
Familiar with verification methodology, tools and flow in Unit/Sub-system/SOC level.
Excellent interpersonal skills, able to effectively collaborate and work with members of a distributed team.

Ways to stand out from the crowd:

Excellent analytical and problem-solving skills, quick understanding to complex design or experience in different verification methodologies is plus.
Strong prior knowledge/experience in different protocols/data transmission verification is plus.
Fluent English (both written and spoken) and excellent communication skills.
Good teamwork spirit, easy to cooperate with team members.

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 China, Shanghai.
The job was posted on August 27, 2026.
Seniority: senior.
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 VerificationAsicRtl DesignHardware VerificationJasperJasper GoldVc FormalTcl

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 asic was part of your work. What did you do?
Tell me about a project where rtl design was part of your work. What did you do?
Tell me about a project where hardware verification was part of your work. What did you do?
Walk me through how you've used Jasper in your day-to-day work.

Adapt your resume

List these exact terms on your resume: Formal Verification, Asic, Rtl Design, Hardware Verification, and Jasper. 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