Formal Verification Engineer – New Grad 2026

NVIDIA Corporation; Santa Clara (CA); On-site; USD 100,000 - 166,750; Full time

Benefits offered by this job

Equity

Employee benefits

Job summary

NVIDIA Corporation in Santa Clara, CA is seeking a Formal Verification Engineer for new college graduates (2026). You will verify processor and accelerator designs using formal methods, write assertions, and debug counterexamples, collaborating with RTL designers and engineers.

Applicants should have a strong CS/CE/EE/Math foundation, knowledge of Verilog/SystemVerilog, and scripting skills (Python, Tcl, Perl, C/C++). Experience with JasperGold or VC Formal is a plus.

Qualifications

• BS/MS/PhD in CS/CE/EE/Mathematics or equivalent experience.
• Strong analytical and collaboration skills to solve complex problems.
• Willingness to learn quickly and collaborate effectively.

Responsibilities

• Learn and apply formal verification techniques to real processor and accelerator designs.
• Understand design behavior from specifications, RTL, and cross‑functional discussions.
• Write assumptions, assertions, and cover properties to verify microarchitectural behavior.
• Debug formal failures and counterexamples to identify RTL bugs or constraints.
• Use abstraction and scripting to improve proof convergence and productivity.
• Communicate verification progress, risks, and findings clearly.

Skills

Problem solving

Analytical skills

Collaboration

Learn quickly

Education

BS/MS/PhD in CS/CE/EE/Mathematics

Tools

Verilog

SystemVerilog

Python

Tcl

Perl

C/C++

JasperGold

VC Formal

SystemVerilog Assertions

Job description

NVIDIA Corporation in Santa Clara, CA is seeking a Formal Verification Engineer for new college graduates (2026). You will verify processor and accelerator designs using formal methods, write assertions, and debug counterexamples, collaborating with RTL designers and engineers.

Applicants should have a strong CS/CE/EE/Math foundation, knowledge of Verilog/SystemVerilog, and scripting skills (Python, Tcl, Perl, C/C++). Experience with JasperGold or VC Formal is a plus.