
Senior Formal Verification Engineer - LPU
NVIDIA is hiring a Senior Formal Verification Engineer (Canada, remote) to define and execute formal verification for AI-related ASIC designs, develop methodologies and automated flows, and collaborate with architects, designers, and verification teams. Requirements include BS/MS/PhD or equivalent in CS/CE/EE, 12+ years in ASIC verification (8+ years in formal), mastery of SVA, experience with industry formal tools (e.g., JasperGold, VC Formal), and scripting skills (tcl, python). Base salary range stated as CAD 195,000–245,000.





