Senior Formal Verification Engineer - LPU

About the role

NVIDIA is seeking a Senior Formal Verification Engineer to join our team. This position involves verifying AI-related sophisticated ASIC designs and features using formal verification methods. The role requires collaboration with architecture/RTL teams, executing formal verification, articulating coverage, developing methodologies, and mentoring junior engineers.

Responsibilities

• Verify AI-related sophisticated ASIC designs & features with formal verification methods.
• Multi-functional Collaboration: Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions.
• Leverage and unleash the power of formal verification to rigorously verify critical design properties and ensure compliance with specifications, as well as minimize spec ambiguities.
• Articulate formal verification coverage to partners.
• Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency.
• Mentorship: Train and coach junior engineers on formal techniques and standard processes; Help on methodology/FAQ documentation.
• Support silicon bring-up and debug using formal methods where it applies.

Requirements

• BS/MS/PhD or equivalent experience in CS/CE/EE.
• 12+ years in ASIC verification with 8+ years focused on formal verification methods.
• Mastery of SystemVerilog Assertions (SVA) and formal property verification.
• Proficient on at least one popular formal verification tool in the industry (JapserGold, VC Formal, etc.).
• Good scripting skills for flow automation (tcl, python, etc.).
• Good written and oral communication skills.
• Keen attention to details.

Qualifications

• Shown success in full-cycle formal sign-off for complex designs.
• Expertise in formal apps: FPV apps, sequential equivalence checks, datapath verification, etc.
• Deep understanding of GPU or LPU architecture/design.

Benefits

As an NVIDIA employee, you will be eligible for competitive salaries, equity, and a comprehensive benefits package. Visit www.nvidiabenefits.com to learn more about the benefits offered.

Pay

Base salary range: $196,000 - $310,500 USD.

Schedule

Not specified.

Skills

• SystemVerilog Assertions (SVA)
• Popular formal verification tools (JapserGold, VC Formal, etc.)
• Scripting skills (tcl, python, etc.)
• Formal verification methodologies
• GPU or LPU architecture/design knowledge

Benefits

Visit www.nvidiabenefits.com to learn more about the benefits offered.

Application Instructions

Applications for this job will be accepted at least until July 10, 2026.