← All roles

Formal Verification Engineer - New College Grad 2026

NVIDIA· Engineer, Verification
Apply on company site
Santa Clara, CA$100k - $166.8kentry-levelPosted 3mo ago

About the role

NVIDIA seeks new graduates to join the formal verification team, applying mathematical reasoning and formal methods to verify processor and accelerator designs. Collaborate with engineers to write assertions, debug failures, and improve silicon quality using formal tools and scripting.

Responsibilities

  • Learn and apply formal verification techniques to real 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.
  • Clearly communicate verification progress, coverage, risks, and findings.

Qualifications

  • BS/MS/Ph.D. or equivalent experience in CS/CE/EE/Mathematics
  • Strong analytical and collaboration skills to solve complex problems.
  • Familiarity with Verilog, SystemVerilog.
  • Programming or scripting experience in Python, Tcl, Perl, C/C++, or similar.
  • Ability to learn quickly, ask good questions, and collaborate effectively.

Skills

Required:Formal verification techniquesAssertions and assumptions writingDebugging formal failuresModeling and scriptingCollaboration and communicationProgramming languages (Python, Tcl, Perl, C/C++)

Benefits

  • equity
  • benefits (see NVIDIA benefits link)
Last updated Oct 9, 2026. Interested? Apply on the company site.

About NVIDIA

World Leader in AI Computing

NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.

AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
Company profileWebsite

More open roles at NVIDIA