Senior Formal Verification Engineer

Nvidia

Confirmed live yesterday Low trust

Hybrid

Quick summary

Work type: Hybrid
Location: —
Salary: $136,000–$218,500 / yr
Posted: 67 days ago
Freshness: Confirmed live yesterday

Market check

Salary context

Competitive pay

How this pay compares to similar roles

Similar $198k

This role $177k

$125k most similar roles pay here $241k

This role pays less than 61% of similar roles. Most pay $175,000–$222,000 — the shaded band above. At the midpoint, this role pays about $177k 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

Role Posting Log in to save

As a Senior Formal Verification Engineer - LPU, you will join the team to verify sophisticated ASIC builds and features using advanced formal verification methods. Your daily responsibilities include collaborating with architecture and RTL teams to specify properties, resolve complex building issues, and influence micro-architecture decisions. You will work to ensure critical build properties align with specifications while developing automated flows for scalability and efficiency in complex designs. The role involves supporting silicon bring-up and debug using formal methods. To succeed, you must possess expertise in SystemVerilog Assertions (SVA), formal property verification, and industry tools like JasperGold or VC Formal. You will apply these skills to the specific domain of GPU or LPU architecture builds. Additionally, you will utilize AI tools to solve engineering problems while ensuring rigorous coverage for complex ASIC designs.

Skills

Formal Verification SystemVerilog Assertions (SVA) ASIC Verification JasperGold VC Formal RTL FPV Datapath Verification LPU Architecture AI Tools Silicon Bring-up Debug

What you'll do

Verify sophisticated AI-related ASIC builds and features using advanced formal verification methods.
Collaborate with architecture and RTL teams to specify properties and resolve complex building issues.
Influence micro-architecture decisions based on formal verification results.
Ensure critical build properties align with specifications while minimizing ambiguities through rigorous formal verification.
Communicate formal verification coverage metrics and status clearly to internal partners.
Develop advanced formal verification environments and automated flows for scalable ASIC design verification.
Support silicon bring-up and debug processes using formal methods where applicable.

What we're looking for

BS/MS/PhD degree in Computer Science, Computer Engineering, or Electrical Engineering (or equivalent experience).
5+ years of experience in ASIC verification.
3+ years of experience specifically focused on formal verification methods.
Proficiency in SystemVerilog Assertions (SVA) and formal property verification.
Experience with industry-standard formal verification tools such as JasperGold or VC Formal.
Ability to apply AI tools in daily engineering work to solve problems efficiently.
Strong written and oral communication skills with keen attention to detail.

Save