Senior Formal Verification Engineer
Nvidia
Quick summary
Market check
How this pay compares to similar roles
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
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
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.
Skills
What you'll do
What we're looking for
More like this
Nvidia
Nvidia
Nvidia
Nvidia
Nvidia
Qualcomm