Senior AI/ASIC Formal Verification Engineer (Equity)

NVIDIA Gruppe; California (MO); On-site; USD 196,000 - 310,500; Full time

Benefits offered by this job

Comprehensive benefits package

Equity options

Job summary

NVIDIA Gruppe in California is seeking a Senior Formal Verification Engineer to verify ASICs using advanced formal verification tools. You'll collaborate with architecture and RTL teams, ensuring the correctness of design properties while mentoring junior engineers.

The ideal candidate has over 12 years in ASIC verification, specializing in formal methods. This position offers a competitive salary range of $196,000 - $310,500, equity, and a comprehensive benefits package.

NVIDIA values diversity and is an equal opportunity employer.

Qualifications

• 12+ years in ASIC verification with 8+ years focused on formal verification methods.
• Good attention to details.
• Experience with full-cycle formal sign-off for complex designs.

Responsibilities

• Verify AI-related sophisticated ASIC designs & features with formal verification methods.
• Partner with architecture/RTL teams to specify properties and resolve design issues.
• Develop and implement advanced formal verification environments.

Skills

Formal property verification

SystemVerilog Assertions (SVA)

Flow automation scripting (TCL, Python)

Communication skills

Education

BS/MS/PhD or equivalent experience in CS/CE/EE

Tools

JasperGold

VC Formal

Job description

NVIDIA Gruppe in California is seeking a Senior Formal Verification Engineer to verify ASICs using advanced formal verification tools. You'll collaborate with architecture and RTL teams, ensuring the correctness of design properties while mentoring junior engineers.

The ideal candidate has over 12 years in ASIC verification, specializing in formal methods. This position offers a competitive salary range of $196,000 - $310,500, equity, and a comprehensive benefits package.

NVIDIA values diversity and is an equal opportunity employer.