Drive innovation at NVIDIA as a Senior ASIC Verification Engineer, focusing on cutting-edge AI designs using formal verification. Collaborate closely to ensure accuracy and enhance verification methodologies. In this senior role, you will verify sophisticated ASIC designs for AI applications at NVIDIA, a leader in accelerated computing. The position demands expertise in formal verification methods and collaboration with various teams, including architecture and RTL. You'll be responsible for defining verification scopes, implementing advanced methodologies, and mentoring junior engineers, all while delivering high-quality results within deadlines.

Key Responsibilities
• Verify AI-related ASIC designs utilizing formal verification methods
• Collaborate with architecture and RTL teams on design specifications




• Execute formal verification to ensure adherence to specifications
• Articulate verification coverage to relevant partners
• Mentor junior engineers in formal techniques and methodologies

Requirements:
• BS/MS/PhD in CS/CE/EE or equivalent experience
• 12+ years in ASIC verification, 8+ focused on formal methods
• Mastery of SystemVerilog Assertions (SVA)
• Proficiency in formal verification tools such as JasperGold
• Robust scripting skills in TCL or Python Make a lasting impact with your formal verification expertise in AI at NVIDIA.

📌 Senior ASIC Verification Engineer at NVIDIA (Montreal)
🏢 NVIDIA
📍 Montreal