Formal Verification Engineer

Nvidia

Confirmed live today High trust

Quick summary

Work type
On-site
Location
Santa Clara, CA
Salary
$100,000–$166,750 / yr
Employment
Full-time
Posted
2 days ago
Freshness
Confirmed live today

Market check

Salary context

Below market

How this pay compares to similar roles

Similar $187k
This role $133k
$85k most similar roles pay here $240k

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

About Nvidia

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

View all roles at Nvidia

At a glance

TL;DR · Formal Verification Engineer

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.

What you'll do

  • Apply formal verification techniques to verify advanced processor and accelerator designs.
  • Interpret design behavior from specifications, RTL code, and technical discussions with design teams.
  • Write assumptions, assertions, and cover properties to verify microarchitectural behaviors.
  • Debug formal failures and counterexamples to identify RTL bugs or constraint problems.
  • Use abstraction, modeling, and scripting to improve proof convergence and team productivity.
  • Communicate verification progress, coverage metrics, risks, and findings clearly to stakeholders.

What we're looking for

  • BS/MS/Ph.D. or equivalent experience in CS, CE, EE, or Mathematics.
  • Strong analytical and collaboration skills to solve complex problems.
  • Familiarity with Verilog and SystemVerilog.
  • Programming or scripting experience in Python, Tcl, Perl, C/C++, or similar.
  • Ability to learn quickly and collaborate effectively.
  • Hands-on experience with formal tools such as JasperGold, VC Formal, or similar (preferred).
  • Experience writing SystemVerilog Assertions (preferred).
  • Understanding of CPU, GPU, accelerator, SoC, memory-system, or protocol microarchitecture (preferred).

More like this

Similar roles

Senior Formal Verification Engineer

Nvidia

Santa Clara, CA 106 days ago
Formal Verification System Verilog Verilog RTL Python TCL Perl CPU Architecture Assertion Scripting Post-silicon Verification
5+ yrs exp

Senior Formal Verification Engineer

Nvidia

Santa Clara, CA +1 15 days ago $136,000–$218,500
Formal Verification System Verilog Verilog RTL TCL Python Perl CPU Architecture Assertion Scripting Post-silicon Verification
5+ yrs exp

GPU Verification Engineer

Nvidia

Westford, MA 72 days ago $100,000–$166,750
ASIC Verification C++ Python Perl VCS Emulation FPGA Computer Architecture Memory Models Post-silicon Verification Debug Tools

ASIC Verification Engineer

Nvidia

Austin, TX +1 121 days ago $100,000–$166,750
SystemVerilog UVM VCS RISCV C GDB Assertion-based Verification Functional Coverage Random Stimulus Firmware ASIC Verification High Speed IO micro-architecture Object Oriented Programming

ASIC Verification Engineer

Nvidia

Santa Clara, CA 93 days ago $100,000–$166,750
System Verilog Verilog C++ Python Perl VCS Verdi Debussy GDB Emulation Prototyping RTL VLSI Digital Design Computer Architecture PCIe Memory Protocols

ASIC Verification Engineer

Nvidia

Austin, TX +1 10 days ago $100,000–$166,750
SystemVerilog UVM VCS GDB C RISCV Assertion-based Verification Functional Coverage Random Stimulus Firmware ASIC Verification Debug Tools Memory Subsystem High Speed IO Protocols micro-architecture