Senior Formal Verification Engineer - LPU

NVIDIA; Oregon (WI); On-site; USD 136,000 - 218,500; Full time

Job summary

NVIDIA is seeking a Senior Formal Verification Engineer in Oregon. You will be responsible for verifying advanced AI-related ASIC builds using sophisticated formal verification methods, collaborating with architecture and RTL teams, and developing environments for complex designs. The role demands 5+ years of ASIC verification experience, proficiency in SystemVerilog Assertions, and strong communication skills. NVIDIA offers a competitive salary ranging from $136,000 to $264,500 depending on experience level, along with equity and benefits.

Qualifications

• 5+ years in ASIC verification with 3+ years focused on formal verification methods.
• Experience with popular formal verification tools in the industry.
• Strong attention to detail and communication skills.

Responsibilities

• Verifying sophisticated ASIC builds using advanced formal verification methods.
• Collaborating with architecture and RTL teams.
• Developing advanced formal verification environments.

Skills

ASIC verification

Formal verification methods

SystemVerilog Assertions (SVA)

Communication skills

AI tools application

Education

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

Tools

JasperGold

VC Formal

Job description

Senior Formal Verification Engineer

At NVIDIA, you will be responsible for verifying AI‑related sophisticated ASIC builds and features using advanced formal verification methods. You will collaborate closely with architecture and RTL teams, articulate formal verification coverage, develop advanced formal verification environments, and support silicon bring‑up using formal methods.

Responsibilities

• Verifying AI‑related sophisticated ASIC builds & features using advanced formal verification methods.
• Collaborating closely with architecture and RTL teams to specify properties, resolve complex issues, and influence micro‑architecture decisions.
• Applying formal verification to rigorously ensure critical build properties align with specifications and minimize ambiguities.
• Articulating formal verification coverage to partners.
• Developing advanced formal verification environments and methodologies for complex ASIC designs, including building automated flows for scalability and efficiency.
• Supporting silicon bring‑up and debug using formal methods where applicable.

Qualifications

• BS/MS/PhD or equivalent experience in CS/CE/EE.
• 5+ years in ASIC verification with 3+ years passionate about formal verification methods.
• Proficiency in SystemVerilog Assertions (SVA) and formal property verification.
• Experience with at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.).
• Excellent skills in applying AI tools in daily engineering work to efficiently solve problems.
• Strong written and oral communication skills.
• Keen attention to detail.

Ways to Stand Out

• Demonstrated success in full‑cycle formal sign‑off for complex builds.
• Expertise in formal applications: FPV apps, datapath verification, etc.
• Deep understanding of GPU or LPU architecture build.

Compensation

Base salary ranges from $136,000 to $218,500 for Level 3 and $168,000 to $264,500 for Level 4. You will also be eligible for equity and benefits.

EEO Statement

NVIDIA is committed to fostering a diverse work environment and is an equal opportunity employer. We do not discriminate on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

Application Deadline

Applications will be accepted until April 26, 2026.