NVIDIA in Toronto, Canada is seeking a Senior Formal Verification Engineer to verify AI-focused ASIC designs using formal methods across the full project cycle.
You will define verification scope, collaborate with architecture/RTL teams, and lead the development of advanced formal verification environments. The role requires 12+ years in ASIC verification with 8+ years in formal methods, SVA mastery, and robust scripting abilities. Equity and advantages are offered.
J-18808-Ljbffr
📌 Senior Asic Formal Verification Engineer Ai/gpu, Equity Ontario (Canada)
🏢 NVIDIA
📍 Canada