Senior Formal Verification Engineer

Job Description

NVIDIA is seeking a Formal Verification Engineer to work on verifying the design and implementation of CPUs and High Performance Computing Solutions.

Requirements

• BS/MS/PhD in CS/CE/EE/Mathematics
• 7+ years of experience
• Strong understanding of GPU/CPU architectures and designs
• Knowledge of formal verification methodologies and techniques
• Hands-on experience with Verilog/System Verilog HDLs
• Proficiency in scripting using TCL, Perl, and Python
• Experience with Formal Verification Tools (e.g., Jasper Gold, VC Formal)
• Excellent analytical and problem-solving skills
• Ability to collaborate effectively in a distributed team

Responsibilities

• Identify key behaviors for verification and develop clear testplans
• Implement testplans using formal techniques
• Develop abstraction models to handle complexity challenges
• Drive tools for optimal performance
• Debug RTL to identify failure scenarios
• Contribute to flow and script development for team efficiency
• Articulate formal verification coverage to partners

Benefits

• 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.