02 Sep
|
NVIDIA
|
Toronto
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 benefits are offered.
📌 Senior ASIC Formal Verification Engineer - AI/GPU, Equity (Toronto)
🏢 NVIDIA
📍 Toronto