Senior Formal Verification Engineer
Nvidia
Quick summary
Market check
How this pay compares to similar roles
This role pays less than 90% of similar roles. Most pay $155,809–$217,600 — the shaded band above. At the midpoint, this role pays about $133k versus about $187k for comparable roles.
Based on 240 similar postings.
Employer
Nvidia is a leading designer of graphics processing units (GPUs) and system-on-chip units, powering gaming, professional visualization, data centers, and artificial intelligence workloads. Industry: Semiconductors & AI Computing
Nvidia currently has 1404 open roles on FindRole.
Listed pay typically runs $184,000–$287,500 across 1052 roles with salary data.
Most-posted roles
At a glance
Formal Verification Engineer - New College Grad 2026 will join a team focused on verifying advanced processor and accelerator designs using mathematical reasoning, assertions, model checking, and formal verification tools. The role involves interpreting design behavior from specifications and RTL to write assumptions, assertions, and cover properties while debugging counterexamples to identify bugs or constraint problems. Candidates will use abstraction, modeling, and scripting to improve proof convergence and team productivity. Required skills include a background in CS, CE, EE, or Mathematics, along with familiarity with Verilog and SystemVerilog. Proficiency in Python, Tcl, Perl, or C/C++ is required for scripting tasks. The work centers on ensuring hardware correctness within the domain of computer architecture, specifically involving CPU, GPU, accelerator, SoC, memory-system, or protocol microarchitecture to ensure high-quality silicon.
Skills
What you'll do
What we're looking for
More like this
Nvidia
Nvidia
Nvidia
Nvidia
Nvidia
Nvidia