Senior Formal Verification Engineer

Nvidia

Confirmed live today Trusted
Hybrid

Quick summary

Work type
Hybrid
Location
CATXORWAFL
Salary
$196,000–$310,500 / yr
Employment
Full-time
Posted
113 days ago
Freshness
Confirmed live today

Market check

Salary context

Above market

How this pay compares to similar roles

Similar $197k
This role $253k
$131k $330k
below market most similar roles pay here above market

This role pays more than 89% of similar roles. Most pay $177,250–$217,600 — the blue band above. At the midpoint, this role pays about $253k versus about $197k 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 1623 open roles on FindRole.

Listed pay typically runs $184,000–$287,500 across 1110 roles with salary data.

Most-posted roles

View all roles at Nvidia

At a glance

TL;DR · Senior Formal Verification Engineer

As a Senior Formal Verification Engineer - LPU, you will join the team to verify sophisticated AI-related ASIC designs and features. You will define verification scopes, ensure correctness, and employ advanced formal techniques to acquire bounded proofs throughout the entire project cycle. Your daily responsibilities include partnering with architecture and RTL teams to specify properties, resolving deep design issues, and developing automated formal verification environments and methodologies. You will use SystemVerilog Assertions, formal property verification, and industry tools like JasperGold or VC Formal, while utilizing Tcl and Python for flow automation. The role focuses on solving complex hardware problems by providing formal sign-off for GPU or LPU architectures, performing sequential equivalence checks, and supporting silicon bring-up and debug through rigorous formal methods.

What you'll do

  • Verify AI-related ASIC designs and features using formal verification methods.
  • Define verification scope and ensure design correctness against specifications.
  • Partner with architecture and RTL teams to specify properties and resolve deep design issues.
  • Develop and implement advanced formal verification environments and automated flows for scalability.
  • Articulate formal verification coverage and results clearly to cross-functional partners.
  • Train and coach junior engineers on formal techniques and standard processes.
  • Support silicon bring-up and debug using formal methods where applicable.

What we're looking for

  • BS/MS/PhD or equivalent experience in CS/CE/EE.
  • 12+ years in ASIC verification.
  • 8+ years focused on formal verification methods.
  • Mastery of SystemVerilog Assertions (SVA) and formal property verification.
  • Proficiency in at least one popular formal verification tool such as JasperGold or VC Formal.
  • Good scripting skills for flow automation using Tcl or Python.
  • Good written and oral communication skills with keen attention to detail.
  • Shown success in full-cycle formal sign-off for complex designs (preferred).

More like this

Similar roles

Senior Formal Verification Engineer

Nvidia

CA +5 113 days ago $136,000–$218,500
Formal Verification SystemVerilog Assertions (SVA) ASIC Verification JasperGold VC Formal RTL LPU Architecture Datapath Verification Silicon Bring-up Debug AI Tools
5+ yrs exp Hybrid

Senior Formal Verification Engineer

Nvidia

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

Senior Formal Verification Engineer

Nvidia

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

Senior ASIC Design Verification Engineer

Nvidia

Santa Clara, CA +5 35 days ago $168,000–$264,500
SystemVerilog UVM ASIC Verification Python C/C++ Perl VCS Verdi DFT UPF Machine Learning SoC Functional Coverage Assertion-based Verification GDS
8+ yrs exp Hybrid

Senior Staff Formal Verification Engineer

Qualcomm

San Diego, CA +2 40 days ago $203,700–$305,500
Formal Verification SystemVerilog Assertions RTL GPU Architecture Formal Property Verification (FPV) 3D Graphics Hardware DPV C2RTL SEQ RTL2RTL SEQ Coverage Closure Abstraction Techniques
6+ yrs exp

Lead Formal Verification Engineer

Amd

Austin, TX +2 18 days ago $200,000–$300,000
Formal Verification SystemVerilog Assertions (SVA) JasperGold VC Formal Murphi Computer Architecture GPU CPU Equivalence Checking Property Development Theorem Provers Digital Design Automation Security Verification