Senior Formal Verification Engineer - LPU

NVIDIA
United States
Workplace: RemoteFull timeUSD 196,000 - 310,500 annuallyFunction: Solutions Engineering & Sales EngineeringExperience: 12+ yearsEducation: mastersSkills: ["Communication","Mentorship","Collaboration","Problem-solving","Attention to detail"]

Lead the formal verification of AI-focused ASIC designs, defining verification scope, building advanced formal environments, and driving full-cycle sign-off. Collaborate with architecture, RTL, and pre-/post-silicon teams, mentor junior engineers, and push scalable automated flows to improve verification efficiency and ensure design correctness.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
5 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: 2 hours agoStatus: Live

Job Summary

Lead the formal verification of AI-focused ASIC designs, defining verification scope, building advanced formal environments, and driving full-cycle sign-off. Collaborate with architecture, RTL, and pre-/post-silicon teams, mentor junior engineers, and push scalable automated flows to improve verification efficiency and ensure design correctness.
Location: United States
Workplace: Remote
Employment Type: Full time
Job Function: Solutions Engineering & Sales Engineering

Key Responsibilities

  • •Verify AI-related sophisticated ASIC designs and features using formal verification methods.
  • •Collaborate with architecture/RTL teams to specify properties and influence micro-architecture decisions.
  • •Leverage formal verification to verify critical design properties and minimize spec ambiguities; ensure specifications are met.
  • •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: USD 196,000 - 310,500 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+ yearsASICHardwareGPUAI
Education:Master's
Skills:CommunicationMentorshipCollaborationProblem-solvingAttention to detail
Languages:English
Tech Stack:SystemVerilogSVAJasperGoldVC FormalPythonTclFormally verificationASICVerilogRTL

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