Senior AI ASIC Formal Verification Engineer (Equity)

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

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.