Senior Formal Verification Engineer

Nvidia

Confirmed live today High trust

Quick summary

Work type
On-site
Location
Santa Clara, CAAustin, TX
Salary
$136,000–$218,500 / yr
Employment
Full-time
Posted
15 days ago
Freshness
Confirmed live today

Market check

Salary context

Competitive pay

How this pay compares to similar roles

Similar $201k
This role $177k
$124k most similar roles pay here $248k

This role pays less than 66% of similar roles. Most pay $177,237–$224,325 — the shaded band above. At the midpoint, this role pays about $177k versus about $201k 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 · Senior Formal Verification Engineer

As a Senior Formal Verification Engineer, you will join the team to verify the build and implementation of leading GPUs. Your daily responsibilities include verifying micro-architecture using formal verification tools, defining verification scopes, ensuring correctness, and developing abstraction models to overcome complexity challenges while acquiring bounded proofs. You will identify key behaviors for testplans, develop environment assumptions, assertions, and cover properties, and debug RTL to identify failure scenarios. The role requires collaborating with architects and designers across the project cycle while contributing to flow and script development. To succeed, you must possess expertise in Verilog and SystemVerilog HDLs, formal verification methodologies, and scripting languages such as TCL, Perl, or Python. You will apply these skills to solve complex problems within GPU and CPU architectures to ensure high-quality results for sophisticated designs.

What you'll do

  • Verify GPU micro-architecture using formal verification tools to ensure design correctness.
  • Define the verification scope and write clear testplans for sophisticated designs.
  • Implement advanced formal techniques including environment assumptions, assertions, and cover properties.
  • Develop abstraction models to overcome complexity challenges and achieve full or bounded proofs.
  • Debug RTL to identify and resolve specific failure scenarios.
  • Contribute to flow and script development using TCL, Perl, or Python to improve team efficiency.
  • Communicate formal verification coverage and results clearly to internal partners and teams.

What we're looking for

  • BS/MS/PhD or equivalent experience in CS, CE, EE, or Mathematics.
  • 5+ years of relevant experience.
  • Understanding of GPU/CPU architectures and engineering work flows.
  • Experience with Verilog and SystemVerilog HDLs to understand sophisticated RTL.
  • Experience with formal tools and knowledge of formal verification methodologies.
  • Ability to implement abstraction techniques for effective verification.
  • Excellent command of scripting using TCL, Perl, and/or Python.
  • Excellent written and verbal communication skills.

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

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

Senior Formal Verification Engineer

Nvidia

CA +4 94 days ago $196,000–$310,500
Formal Verification SystemVerilog Assertions (SVA) ASIC RTL Python Tcl VC Formal FPV Datapath Verification LPU Architecture Scripting Flow Automation
10+ yrs exp Hybrid

Formal Verification Engineer

Nvidia

Santa Clara, CA 2 days ago $100,000–$166,750
Formal Verification SystemVerilog Verilog Python Tcl Perl C/C++ JasperGold VC Formal SystemVerilog Assertions RTL Computer Architecture Digital Design Model Checking Scripting SoC Microarchitecture

Senior Staff Formal Verification Engineer

Qualcomm

San Diego, CA +2 21 days ago $203,700–$305,500
Formal Verification SystemVerilog Assertions RTL GPU Architecture FPV 3D Graphics Hardware DV Methodologies C2RTL SEQ RTL2RTL SEQ DPV Coverage Closure
6+ yrs exp