Senior Formal Verification Engineer

Job Summary

The Waymo Compute Team is seeking a Formal Verification Engineer to lead the formal verification strategy for our cutting-edge silicon designs. This role involves defining and driving formal verification approaches, developing robust and scalable formal verification environments, and collaborating with various teams to ensure the highest performance and reliability of our systems.

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
• 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
• Provide technical leadership & mentorship, serving as the team's formal Subject Matter Expert
• Collaborate with Architecture and Design teams to translate complex system and IP specifications into comprehensive formal verification test plans
• Drive FV Infrastructure & Reporting, maintaining and enhancing continuous integration, regression flows, and dashboarding
• Apply advanced formal debug techniques to tackle and efficiently decompose the most challenging verification problems

Requirements

• BS/MS/PhD in CS/EE or related field, combined with 5+ years of hands-on formal verification experience on shipping silicon products
• 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
• 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
• Informed of latest developments in formal verification research and industry practice, identifying 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)
• Basic understanding of cache coherency

Qualifications

• Deep expertise in SystemVerilog and advanced SystemVerilog Assertions
• Proven track record in advanced formal verification techniques
• Strong analytical and problem-solving skills
• Ability to work independently and as part of a team

Skills

• Advanced formal verification techniques
• SystemVerilog and advanced SystemVerilog Assertions
• Debugging and testing methodologies
• Collaboration and communication skills

Benefits

Waymo offers a competitive salary range, discretionary annual bonus program, equity incentive plan, and a comprehensive benefits package, including health insurance, retirement savings plans, and paid time off.