# Senior Formal Verification Engineer at Waymo > United States · Senior · Software engineering · open. Source: https://alderhq.app/jobs/greenhouse%3Awaymo%3A7593534 (read 2026-11-06). ## Facts (observed) - Company: [Waymo](https://alderhq.app/companies/waymo) - Location text: Mountain View, CA, USA; Mountain View (US-MTV-EMF690) - Where it can be done from (inferred): United States (evidence: "Location: Mountain View, CA, USA; Mountain View (US-MTV-EMF690)") - Posted: 2026-02-09 (269 days ago) - First seen by alder: 2026-11-02 · last verified: 2026-11-04 - Reposted: 0 times · edited: 0 times - Apply on the employer's site: https://careers.withwaymo.com/jobs?gh_jid=7593534 - Skills listed (inferred): Python, C++ ## Pay and sponsorship - Posted pay: $204k–$259k per year (from the listing's pay field) - Market band for similar posted roles (SF Bay Area, n 984): p25 $180k, median $205k, p75 $228k - H-1B filings at this company for similar roles, FY26: 190, median offered wage $205k ([US DOL OFLC LCA disclosure data](https://www.dol.gov/agencies/eta/foreign-labor/performance)) - Licensed UK sponsor: registered as "Waymo UK Ltd" (checked 2026-11-03, [register](https://www.gov.uk/government/publications/register-of-licensed-sponsors-workers)) ## Description (the employer's text) Waymo is an autonomous driving technology company with the mission to be the world's most trusted driver. Since its start as the Google Self-Driving Car Project in 2009, Waymo has focused on building the Waymo Driver—The World's Most Experienced Driver™—to improve access to mobility while saving thousands of lives now lost to traffic crashes. The Waymo Driver powers Waymo’s fully autonomous ride-hail service and can also be applied to a range of vehicle platforms and product use cases. The Waymo Driver has provided over ten million rider-only trips, enabled by its experience autonomously driving over 100 million miles on public roads and tens of billions in simulation across 15+ U.S. states. Waymo's Compute Team is tasked with a critical and exciting mission: We deliver the compute platform responsible for running the fully autonomous vehicle’s software stack. To achieve our mission, we architect and create high-performance custom silicon; we develop system-level compute architectures that push the boundaries of performance, power, and latency; and we collaborate closely with many other teammates to ensure we design and optimize hardware and software for maximum performance. We are a multidisciplinary team seeking curious and talented teammates to work on one of the world’s highest performance automotive compute platforms. This role follows a hybrid work schedule and you will report to a Silicon Engineering Lead. ### You will - 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 ### You have - 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 ### We prefer - Informed of latest developments in formal verification research and industry practice, identify opportunities for Waymo's silicon development process - Experience in formally proving correctness of arithmetic units such as floating point adders and multipliers - Knowledge/experience working with NOCs and networking topologies, protocols (Eg. AXI/AMBA) - Understand basic principles of cache coherency --- Data: alder (https://alderhq.app). Cite https://alderhq.app/jobs/greenhouse%3Awaymo%3A7593534 and the date you read it. Observed facts come from the employer's own listing; location reach, level, family and skills are inferences.