Formal Verification Engineer - New College Grad 2026

Santa Clara, CA

Full-time

Onsite

$100K/yr - $167K/yr

New Grad, Entry Level

NVIDIA is widely considered to be one of the technology world’s most desirable employers. As a Formal Verification Engineer, you will work in the formal verification team for the industry's leading chips, focusing on the verification of RTL units for next generation chip designs.

Apply Now

Responsibilities

Developing comprehensive FV testplan documents
Identifying key behaviors for verification of DUT and creating a verification plan
Developing verification environments including environment assumptions, assertions, and cover properties in context of the verification plan
Applying various FV techniques to proof correctness of digital designs
Debugging RTL to identify failure scenarios
Developing scripts to automate the verification process
Review formal setups and proofs with design and verification teams

Qualification

Required

BS or MS in CS/CE/EE/Mathematics or equivalent experience
Strong analytical skills to solve difficult problems
Knowledge/Experience in formal verification techniques
Strong knowledge of architectures of CPU/GPU designs and digital logic
Understanding of abstraction techniques for effective verification
Hands-on experience with HDLs such as Verilog / SystemVerilog
Ability to understand RTL quickly
Excellent communication skills with ability to work with team members and collaborate effectively