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