Senior Formal Verification Engineer

As a Senior Formal Verification Engineer at NVIDIA, you will verify ASICs using formal verification tools. You will define the verification scope, ensure correctness, employ sophisticated formal techniques, collaborate with architects, designers, and verification teams, improve formal verification methodologies, and complete the formal verification effort for the entire project cycle.

What you will be doing:

• Verify AI-related sophisticated ASIC designs & features with formal verification methods.
• Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions.
• Employ formal verification to rigorously verify critical design properties, ensure compliance with specifications, and minimize spec ambiguities.
• Articulate formal verification coverage to partners.
• Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency.
• Mentor junior engineers on formal techniques and standard processes; help on methodology/FAQ documentation.
• Support silicon bring‑up and debug using formal methods where applicable.

What we need to see:

• BS/MS/PhD or equivalent experience in CS/CE/EE.
• 12+ years in ASIC verification with 8+ years focused on formal verification methods.
• Mastery of SystemVerilog Assertions (SVA) and formal property verification.
• Proficiency in at least one popular formal verification tool (e.g., JasperGold, VC Formal).
• Good scripting skills for flow automation (tcl, python, etc.).
• Strong written and oral communication skills.
• Attention to detail.

Ways to stand out from the crowd:

• Shown success in full‑cycle formal sign‑off for complex designs.
• Expertise in formal applications: FPV apps, sequential equivalence checks, data‑path verification, etc.
• Deep understanding of GPU or LPU architecture/design.

Widely considered to be one of the technology world’s most desirable employers, NVIDIA offers highly competitive salaries and a comprehensive benefits package.

Base salary range: 195,000 CAD – 245,000 CAD. You will also be eligible for equity and benefits.

Applications will be accepted at least until February 14, 2026.