NVIDIA is seeking a Senior Formal Verification Engineer to join their team, focusing on verifying AI-related ASIC builds and features using advanced formal verification methods. The role emphasizes collaboration with architecture and RTL teams to influence micro-architecture decisions and ensure critical build properties align with specifications. This position offers the opportunity to work with world-class talent in a diverse and supportive environment. Candidates will play a significant role in pushing the boundaries of AI and computing.

• BS/MS/PhD or equivalent experience in Computer Science, Computer Engineering, or Electrical Engineering.
• 5+ years of experience in ASIC verification with at least 3 years focused on formal verification methods.
• Proficiency in SystemVerilog Assertions and formal property verification.
• Experience with at least one popular formal verification tool in the industry.
• Excellent skills in applying AI tools in engineering work.
• Strong written and oral communication skills.
• Keen attention to detail.

• Verify AI-related sophisticated ASIC builds and features using advanced formal verification methods.
• Collaborate closely with architecture and RTL teams to specify properties and resolve complex issues.
• Apply formal verification to ensure critical build properties align with specifications.
• Articulate formal verification coverage to partners.
• Develop advanced formal verification environments and methodologies for complex ASIC designs.
• 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.