Senior Formal Verification Engineer

Nvidia

Confirmed live yesterday Trusted
Hybrid

Quick summary

Work type
Hybrid
Location
Canada
Salary
$196,000–$310,500 / yr
Posted
67 days ago
Freshness
Confirmed live yesterday

Market check

Salary context

Above market

How this pay compares to similar roles

Similar $198k
This role $253k
$133k most similar roles pay here $330k

This role pays more than 92% of similar roles. Most pay $175,000–$222,000 — the shaded band above. At the midpoint, this role pays about $253k versus about $198k 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 896 open roles on FindRole.

Listed pay typically runs $184,000–$287,500 across 876 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 ASIC designs and features using formal verification methods. You will define verification scopes, ensure correctness, and employ advanced techniques to acquire bounded proofs while collaborating with architects, designers, and pre- and post-silicon teams. Your daily work involves specifying properties, resolving design issues, influencing micro-architecture decisions, and developing automated flows for scalability. You will also mentor junior engineers and support silicon bring-up. The role requires mastery of SystemVerilog Assertions and formal property verification, proficiency in tools like JasperGold or VC Formal, and scripting skills in Tcl or Python. This position focuses on the technical challenge of verifying complex ASIC designs and ensuring compliance with specifications for AI-related hardware components within a high-performance computing environment.

What you'll do

  • Verify complex AI-related ASIC designs and features using formal verification methods.
  • Define verification scopes and ensure design correctness against technical 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.
  • Communicate 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 activities using formal methods where applicable.

What we're looking for

  • BS/MS/PhD or equivalent experience in CS, CE, or EE.
  • 12+ years of experience in ASIC verification.
  • 8+ years of experience focused on formal verification methods.
  • Mastery of SystemVerilog Assertions (SVA) and formal property verification.
  • Proficiency in at least one industry-standard formal verification tool such as JasperGold or VC Formal.
  • Good scripting skills for flow automation using languages like Tcl or Python.
  • Strong written and oral communication skills with keen attention to detail.

More like this

Similar roles

Senior Formal Verification Engineer

Nvidia

67 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 Verification Engineer

Nvidia

Santa Clara, CA 9 days ago $168,000$264,500
UVM SystemVerilog Verilog Python C++ HLS VCS Verdi GDB DisplayPort HDMI MIPI DSI Assertion-based Verification Functional Coverage Constrained-random Version Control
10+ yrs exp Hybrid

Senior Verification Engineer, SoC

Nvidia

Santa Clara, CA +3 11 days ago $136,000$218,500
ASIC Verification UVM System Verilog C++ Object-Oriented Programming SoC Architecture CPU Verification RTL FPGA Emulation
5+ yrs exp Hybrid

Senior ASIC Verification Engineer

Nvidia

Austin, TX +1 2 days ago $136,000$218,500
SystemVerilog UVM VCS GDB RISCV C Assertion-based Verification Functional Coverage Random Stimulus Firmware ASIC Verification Memory Subsystem High Speed IO Object Oriented Programming
5+ yrs exp Hybrid

Senior ASIC Verification Engineer

Nvidia

Austin, TX 9 days ago $136,000$218,500
System Verilog UVM RTL Verilog Python VCS Verdi Computer Architecture Functional Coverage Scripting ASIC Verification Simulation Tools
3+ yrs exp

Senior Staff Formal Verification Engineer

Qualcomm

San Diego, CA +2 73 days ago $195,200$325,000
Formal Verification SystemVerilog Assertions RTL GPU Architecture FPV 3D Graphics Hardware DV Methodologies C2RTL SEQ RTL2RTL SEQ DPV Coverage Closure
6+ yrs exp