Senior Formal Verification Engineer

NVIDIA is seeking a Senior Formal Verification Engineer to join its innovative team, focusing on verifying advanced ASIC designs using formal verification tools. This role is pivotal in ensuring the correctness of AI-related ASICs, collaborating with various teams, and enhancing verification methodologies. NVIDIA values diversity and offers a supportive environment for its employees.

Responsibilities:

• Verify AI-related sophisticated ASIC designs using formal verification methods.
• Collaborate with architecture and RTL teams to specify properties and resolve design issues.
• Leverage formal verification to ensure compliance with specifications and minimize ambiguities.
• Articulate formal verification coverage to partners.
• Develop and implement advanced formal verification environments and methodologies for complex ASIC designs.
• Mentor junior engineers on formal techniques and standard processes.
• Support silicon bring-up and debug using formal methods.

Qualifications:

• BS/MS/PhD or equivalent experience in Computer Science, Computer Engineering, or Electrical Engineering.
• 12+ years in ASIC verification with 8+ years focused on formal verification methods.

Skills:

• Mastery of SystemVerilog Assertions (SVA) and formal property verification.
• Proficient in at least one popular formal verification tool (e.g., JasperGold, VC Formal).
• Good scripting skills for flow automation (TCL, Python).
• Strong written and oral communication skills.
• Keen attention to detail.