NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It's a unique legacy of innovation that's fueled by great technology—and amazing people! An era in which our GPU acts as the brains of computers, robots, and self-driving cars that can understand the world.

Doing what's never been done before takes vision, innovation, and the world's best talent. As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs developed at the forefront using formal verification tools. You will employ sophisticated formal techniques to acquire sufficiently bounded proofs while working with architects, designers, and pre- & post-silicon verification teams to accomplish your tasks, as well as improve formal verification methodologies and flows.

You will efficiently complete the formal verification effort for the entire project cycle,



delivering high-quality results on schedule, and clearly conveying those results to the team. Verify AI-related sophisticated ASIC designs & features with formal verification methods. Train and coach junior engineers on formal techniques and standard processes; Help on methodology/FAQ documentation.

BS/MS/PhD or equivalent experience in CS/CE/EE. ~Valuable scripting skills for flow automation(tcl, python, etc.) ~ Widely considered to be one of the technology world's most desirable employers, NVIDIA offers highly competitive salaries and a comprehensive benefits package. The base salary range is 195,000 CAD - 245,000 CAD. You will also be eligible for equity and benefits.

📌 Senior Formal Verification Engineer - LPU (Toronto)
🏢 NVIDIA
📍 Toronto