← All roles

Senior Formal Verification Engineer

NVIDIA· Engineer, Verification
Apply on company site
Hybrid (US-CA Remote), Hybrid (US-TX Remote), Hybrid (US-WA Remote), Hybrid (US-OR Remote), Hybrid (US-FL Remote)$196k - $310.5kFull-timePosted 7mo ago

About the role

Senior formal verification engineer responsible for verifying ASICs using formal verification methods, developing advanced verification environments, partnering with architecture/RTL teams, mentoring junior engineers, and supporting silicon bring-up.

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 ensure specifications compliance; 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 and coach junior engineers on formal techniques and standard processes; contribute to methodology/FAQ documentation.
  • Support silicon bring-up and debug using formal methods where applicable.

Qualifications

  • 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 (e.g., JasperGold, VC Formal, etc.).
  • Good scripting skills for flow automation (Tcl, Python, etc.).
  • Good written and oral communication skills.
  • Keen attention to details.

Skills

Required:SystemVerilog Assertions (SVA)Formal verification toolsScripting for flowsCommunication

Benefits

  • Equity
  • Benefits (see company benefits page)
  • Competitive salary and comprehensive benefits package
Last updated Jul 10, 2026. Interested? Apply on the company site.

About NVIDIA

World Leader in AI Computing

NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.

AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
Company profileWebsite

More open roles at NVIDIA