Senior AI ASIC Formal Verification Engineer (Equity)

NVIDIA; Oregon (WI); Sur place; USD 136 000 - 218 500; Plein temps

Résumé du poste

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.

Responsabilités

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

Connaissances

ASIC verification

Formal verification methods

SystemVerilog Assertions (SVA)

Communication skills

AI tools application

Formation

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

Outils

JasperGold

VC Formal

Description du poste

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.