Waymo · 1 day ago
Senior Formal Verification Engineer
Mountain View, CA
Full-time
Hybrid
Senior Level
$204K/yr - $259K/yr
5+ years expWaymo is an autonomous driving technology company with the mission to be the world's most trusted driver. The Senior Formal Verification Engineer will define and drive the formal strategy for silicon success, architect robust FV environments, and provide technical leadership and mentorship to the team.
Artificial Intelligence (AI)AutomotiveAutonomous VehiclesSensorTransportation
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
Qualification
Required
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
Preferred
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
Experience with high-performance designs
Benefits
Waymo employees are also eligible to participate in Waymo’s discretionary annual bonus program
Equity incentive plan
Generous Company benefits program, subject to eligibility requirements.
Company
Waymo
Waymo is a mobility technology company that improves transportation by developing self-driving solutions for travelers and daily commuters. It is a sub-organization of Alphabet.
1001-5000 employees
H1B Sponsorship
Waymo has a track record of offering H1B sponsorships. Please note that this does not
guarantee sponsorship for this specific role. Below presents additional info for your
reference. (Data Powered by US Department of Labor)
Distribution of Different Job Fields Receiving Sponsorship
Represents job field similar to this job
Trends of Total Sponsorships
2025 (231)
2024 (175)
2023 (268)
2022 (306)
2021 (298)
2020 (317)
Funding
Current Stage
Late StageTotal Funding
$27.1BKey Investors
Alphabet,Dragoneer Investment Group,DST Global,Sequoia CapitalAlphabetFidelity,Perry Creek Capital,T. Rowe Price
2026-02-02Series D· $16B
2024-07-23Series C· $5.6B
2021-06-16Series B· $2.5B
Leadership Team
Tekedra Mawakana
Co-Chief Executive Officer
Annabel Chang
Director of U.S. State and Local Public Policy and Political Campaigns
Recent News
2026-02-08
2026-02-08
Company data provided by crunchbase