As a Senior Formal Verification Engineer at NVIDIA, you will be responsible for verifying advanced ASIC designs using formal verification tools. You will work closely with architects, designers, and verification teams to ensure correctness and improve methodologies. This role requires a deep understanding of formal verification techniques and collaboration across multiple functions. Your contributions will help define the next era of computing through innovative AI-related designs.

• BS/MS/PhD or equivalent experience in Computer Science, Computer Engineering, or Electrical Engineering.
• 12+ years of experience in ASIC verification with at least 8 years focused on formal verification methods.
• Mastery of SystemVerilog Assertions (SVA) and formal property verification.
• Proficiency in at least one popular formal verification tool in the industry, such as JasperGold or VC Formal.
• Good scripting skills for flow automation using languages like Tcl or Python.
• Strong written and oral communication skills.
• Keen attention to detail.

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

• Employees at NVIDIA are often offered comprehensive, day-one benefits—including medical, dental, and vision coverage with HSA support, life and disability insurance, an Employee Assistance Program, and a 401(k) with auto-enrollment. Many roles also have generous time off and holidays, donation matching (up to $10,000), and a wide menu of extras like FSAs, commuter benefits, legal and identity-theft protection, pet insurance, and wellness discounts. Optional programs can include student-loan and home-purchase support, plus family care resources and expert medical services.