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 strong scripting abilities. Equity and perks are offered.
#J-18808-Ljbffr