← All roles

Senior Formal Verification Engineer

Waymo· Hardware Engineering
Apply on company site
Mountain View, California$204k - $259kFull-timePosted 6mo ago

About the role

Senior Formal Verification Engineer role within Waymo's Compute Team, focusing on formal verification strategy, environments, and sign-off for first-pass silicon across IP and SoC designs for high-performance autonomous vehicle compute platforms.

Responsibilities

  • Define and drive formal strategy for first-pass silicon success. Own the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques (e.g., Bounded Model Checking, Datapath Validation, Connectivity, Sequential LEC, etc.)
  • Architect robust and scalable FV environments. Develop and deploy reusable formal testbenches, methodology flows, and high-coverage SVA assertion suites for systemic deployment across multiple design blocks and projects
  • Technical leadership & mentorship. Serve as the team's formal Subject Matter Expert, training and guiding logic designers and verification engineers to effectively incorporate formal methods into their workflows
  • Strategic planning and test plan execution. Collaborate with Architecture and Design teams to translate complex system and IP specifications into comprehensive formal verification test plans
  • Drive FV Infrastructure & Reporting. Maintain and enhance continuous integration, regression flows, and dashboarding to provide clear, actionable formal verification status and sign-off metrics to leadership
  • Advanced bug-hunting and debugging. Apply state-of-the-art formal techniques (e.g., assume-guarantee, abstractions, reductions) to tackle and efficiently decompose the most challenging, intractable verification problems

Qualifications

  • BS/MS/PhD in CS/EE or related field, combined with 5+ years of hands-on formal verification experience on shipping silicon products
  • Deep, expert-level proficiency with at least one major commercial formal verification platform (e.g., Cadence JasperGold, Synopsys VC Formal, Mentor Questa Formal)
  • High level language proficiency in C++ and/or Python
  • Ability to model complex designs in SystemVerilog and advanced SystemVerilog Assertions, including writing complex cut-points and environment models for effective formal proof convergence
  • Proven track record in applying advanced formal debug techniques for problem decomposition (e.g., clock domain crossings, abstractions, assume-guarantee reasoning)
  • Excellent verbal and written communication skills with the ability to influence cross-functional teams (Design, Architecture, Software) and drive technical alignment

Skills

Required:Formal verification strategyFV environment developmentLeadership & mentorshipSystemVerilog & SVADebug techniques

Benefits

  • Salary Range: $204,000—$259,000 USD per year
  • Discretionary annual bonus program
  • Equity incentive plan
  • Generous Company benefits program (health, wellness, retirement, etc.)
  • Flexible and hybrid work model
  • Paid time off, bereavement, sick, and parental leave
  • Education reimbursement and personal/professional development opportunities
  • Access to Google offices, cafes, wellness centers, and other perquisites
Last updated Oct 22, 2026. Interested? Apply on the company site.
Waymo logo

About Waymo

The World’s Most Experienced Driver

Waymo—formerly the Google self-driving car project—makes it safe and easy for people & things to get around with autonomous vehicles.

Autonomous DrivingAutonomous VehiclesMobilityRide-Hailliquid-ai-recruiting-target
Company profileWebsite

More open roles at Waymo