Senior Formal Verification Engineer - LPU

About NVIDIA

NVIDIA has been a leading innovator in computer graphics, gaming, and accelerated computing for over 25 years. The company is now pioneering the future of AI, with GPUs serving as the intelligence behind computers, robotics, and autonomous vehicles capable of understanding their environment. Joining NVIDIA means being part of a diverse and encouraging workplace where employees are motivated to excel and leave a lasting impact on the world.

Job Overview

As a Senior Formal Verification Engineer, you will be responsible for verifying advanced ASIC designs related to AI using formal verification techniques. This role involves defining verification scopes, ensuring design correctness, and working closely with architects, RTL designers, and verification teams through all stages of project cycles. You will apply sophisticated formal methods to obtain rigorous proofs and help enhance verification methodologies and processes.

Key Responsibilities

• Lead formal verification efforts for complex AI-focused ASIC projects to validate design correctness through formal methods.
• Collaborate cross-functionally with architecture and RTL teams to specify verification properties, troubleshoot deep design issues, and influence microarchitecture choices.
• Execute formal verification rigorously to confirm compliance with specifications and reduce ambiguities.
• Clearly communicate formal verification coverage and results to stakeholders.
• Drive the development and deployment of advanced formal verification environments, tools, and automated flows to enhance scalability and efficiency.
• Mentor and train junior team members on formal verification methodologies and documentation standards.
• Support silicon bring-up and debug activities using formal verification techniques when applicable.

Qualifications

• Bachelor’s, Master’s, or PhD degree in Computer Science, Computer Engineering, Electrical Engineering, or equivalent experience.
• Over 12 years of ASIC verification experience, including more than 8 years specializing in formal verification methods.
• Expertise in SystemVerilog Assertions (SVA) and formal property verification.
• Experience using at least one major formal verification tool (e.g., JasperGold, VC Formal).
• Proficiency in scripting languages such as Tcl and Python for automation of verification flows.
• Excellent written and verbal communication skills.
• Strong attention to detail and analytical thinking.

Differentiating Skills

• Proven track record of completing full-cycle formal sign-off for large, complex ASIC designs.
• Advanced knowledge of formal verification applications including FPV, sequential equivalence checking, and datapath verification.
• In-depth understanding of GPU or LPU architecture and design.

Compensation and Benefits

NVIDIA is recognized as one of the top employers in technology, offering competitive salaries and comprehensive benefits. The base salary for this Toronto-based position ranges between 195000 CAD and 245000 CAD, subject to location, experience, and market benchmarks. Equity and additional benefits are also provided.

Additional Information

The application deadline for this vacancy is July 10, 2026. This posting is for an existing opening. The company employs AI driven recruitment tools.