Waymo
Senior Formal Verification Engineer
$204K–$259K
Mountain View, CA, USA +1 · Senior · Full-time · Posted Feb 9, 2026
- Location
- Mountain View, CA, USA
Mountain View, California, United States - Experience
- 5+ years of hands-on formal verification experience on shipping silicon products.
- Education
- BS/MS/PhD in CS/EE or related field.
About the job
Leads formal verification strategy and sign-off for complex silicon IP and SoC designs, building reusable verification infrastructure and guiding teams to find and resolve difficult design bugs.
What you'll do
- Define formal verification strategy and sign-off; develop reusable testbenches, methodology flows, and SVA assertion suites.
- Translate system and IP specifications into verification plans, and maintain CI, regression, and reporting infrastructure.
- Lead formal verification practices across teams and use advanced techniques to debug and decompose complex verification problems.
What they ask for
- BS/MS/PhD in CS/EE or a related field.
- 5+ years of hands-on formal verification experience on shipping silicon products.
- Expert proficiency with at least one major commercial formal verification platform.
- Proficiency in C++ and/or Python; ability to model designs in SystemVerilog and write advanced SystemVerilog Assertions.
Nice to have
- Experience formally proving arithmetic units; knowledge or experience with NOCs, networking protocols, or cache coherency.
- Experience with high-performance designs and awareness of formal verification research and industry practice.
Pay
$204,000 — $259,000 USD (base salary)
Tools
Cadence JasperGold, Synopsys VC Formal, Mentor Questa Formal, C++, Python, SystemVerilog, SystemVerilog Assertions, AXI/AMBA
Model-written summary · the original posting is authoritative