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