Senior Formal Verification Engineer - LPU

NVIDIA
Canada
Workplace: HybridFull time195,000 - 245,000 annuallyFunction: Solutions Engineering & Sales EngineeringExperience: 12+ yearsEducation: mastersSkills: ["Communication","Mentorship","Problem-solving"]

Senior Formal Verification Engineer at NVIDIA responsible for verifying AI-focused ASICs using formal verification tools. You will define verification scope, collaborate with architecture/RTL teams, develop advanced verification environments, and mentor junior engineers while driving scalable, automated flows and high-quality, on-time delivery across the project lifecycle.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
6 months ago

Senior Formal Verification Engineer - LPU

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 22 hours agoStatus: Live

Job Summary

Senior Formal Verification Engineer at NVIDIA responsible for verifying AI-focused ASICs using formal verification tools. You will define verification scope, collaborate with architecture/RTL teams, develop advanced verification environments, and mentor junior engineers while driving scalable, automated flows and high-quality, on-time delivery across the project lifecycle.
Location: Canada
Workplace: Hybrid
Employment Type: Full time
Job Function: Solutions Engineering & Sales Engineering
Seniority: Sr. Manager level

Key Responsibilities

  • •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.
  • •Leverage formal verification to rigorously verify critical design properties and minimize spec ambiguities.
  • •Articulate formal verification coverage to partners and stakeholders.
  • •Develop and implement advanced formal verification environments and automated flows for scalability and efficiency

Pay and Benefits

Salary: 195,000 - 245,000 annually
Equity and Bonus:Equity
Perks:EquityBenefits

Key Requirements

  • •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
  • •Proficient on at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.)
  • •Good scripting skills for flow automation (tcl, python, etc.)
Experience:12+ yearsASICSemiconductorGPUAI
Education:Master's in CS/CE/EE
Skills:CommunicationMentorshipProblem-solving
Tech Stack:SystemVerilogSVATclPythonJasperGoldVC Formal

Company Brief

NVIDIA
Designs and manufactures GPUs, AI accelerators, and system-on-chip products for gaming, data centers, professional visualization, and automotive markets, enabling advanced graphics, AI, and high-performance computing solutions worldwide.
Industry: Electronics Manufacturing
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Santa Clara, United States
Founded: 1993
Glassdoor
Glassdoor: 4.3
WebsiteLinkedInGlassdoor