Formal Verification Engineer - New College Grad 2026

at Nvidia

📍 Santa Clara, United States

USD 100,000-189,800 per year

JUNIOR

✅ On-site

Tech Stack
Tag name is followed by "@" symbol and proficiency level value. About proficiency levels:

1-2 — basic awareness. Minimal hands-on experience, and a rudimentary understanding of the technology's purpose;

3-6 — daily use. Comfortable and regular usage, capable of handling common tasks and challenges related to the technology;

7-9 — you are an expert, you can teach others, you know all the pitfalls and tricks;

10 — exceptional knowledge, comprehensive understanding, and adeptness in all aspects of the technology, including advanced problem-solving. Think twice before claiming or demanding such level.

AI @ 3 GPU @ 3 Mathematics @ 3 Perl @ 3 Python @ 3

Details

NVIDIA is looking for sharp, curious, and motivated students passionate about formal verification, digital design, and computer architecture. The role involves verifying advanced processor and accelerator designs using mathematical reasoning, assertions, model checking, and formal verification tools. You will work with formal verification engineers, architects, and RTL designers to understand design intent, identify important behaviors, write assertions and assumptions, debug counterexamples, and improve the quality of NVIDIA silicon.

Responsibilities

Learn and apply formal verification techniques to processor and accelerator designs.
Understand design behavior from specifications, RTL, and discussions with design teams.
Write assumptions, assertions, and cover properties to verify important microarchitectural behavior.
Debug formal failures and counterexamples to identify RTL bugs, property issues, or constraint problems.
Use abstraction, modeling, and scripting to improve proof convergence and team productivity.
Communicate verification progress, coverage, risks, and findings clearly.

Requirements

BS, MS, Ph.D., or equivalent experience in Computer Science, Computer Engineering, Electrical Engineering, Mathematics, or a related field.
Strong analytical and collaboration skills for solving complex problems.
Familiarity with Verilog and SystemVerilog.
Programming or scripting experience in Python, Tcl, Perl, C/C++, or similar languages.
Ability to learn quickly, ask good questions, and collaborate effectively.

Preferred Qualifications

Hands-on experience with formal tools such as JasperGold, VC Formal, or similar tools.
Experience writing SystemVerilog Assertions.
Passion for formal verification, digital design, computer architecture, or hardware correctness.
Understanding of CPU, GPU, accelerator, SoC, memory-system, or protocol microarchitecture.
Proven AI applications for engineering enhancement and improvements.

Benefits

Equity and benefits are provided.
NVIDIA is committed to an inclusive work environment and is an equal opportunity employer.

Applications will be accepted at least until July 13, 2026. This posting is for an existing vacancy. NVIDIA uses AI tools in its recruiting processes.