Hybrid Senior Formal Verification Engineer — AI ASICs

NVIDIA Corporation; California; Hybrid; USD 196,000 - 311,000; Full time

Benefits offered by this job

Equity

Benefits package

Job summary

NVIDIA seeks a Senior Formal Verification Engineer to verify AI-focused ASICs using formal methods. You will define scope, ensure correctness, and work with architects, RTL, and pre-/post-silicon teams to deliver rigorous results.

You will lead formal verification environments, mentor junior engineers, and contribute to scalable automated flows. NVIDIA offers equity, benefits, and a hybrid work model in California.

Qualifications

• 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 (JasperGold, VC Formal, etc.)
• Good scripting skills for flow automation (tcl, python, etc.)
• Good written and oral communication skills
• Keen attention to details

Responsibilities

• Verify AI-related sophisticated ASIC designs & features with formal verification methods.
• Partner with architecture/RTL teams to specify properties, resolve design issues, and influence micro-architecture decisions.
• Formal verification execution: leverage formal verification to verify critical properties and minimize spec ambiguities.
• Articulate formal verification coverage to partners.
• Methodology Leadership: develop and implement advanced formal verification environments and automated flows for scalability and efficiency.
• Mentorship: train and coach junior engineers on formal techniques and documentation.
• Support silicon bring-up and debug using formal methods where it applies.

Skills

SVA mastery

Formal verification

Scripting (Python/TCL)

Communication skills

Education

BS/MS/PhD in CS/CE/EE

Tools

JasperGold

VC Formal

Job description

NVIDIA seeks a Senior Formal Verification Engineer to verify AI-focused ASICs using formal methods. You will define scope, ensure correctness, and work with architects, RTL, and pre-/post-silicon teams to deliver rigorous results.

You will lead formal verification environments, mentor junior engineers, and contribute to scalable automated flows. NVIDIA offers equity, benefits, and a hybrid work model in California.