Senior Formal Verification Engineer

Waymo

Mountain View, CA, United States
Base: $204,000—$259,000 usd; bonus/equity: discret...
On-site
Formal verification strategy
Formal verification environments
Systemverilog assertions
Waymo is seeking a Senior Formal Verification Engineer to join their Compute Team in Mountain View, CA. The role focuses on developing formal verification strategies and environments to ensure the success of complex silicon designs, requiring significant technical expertise in formal verification methodologies

Job Summary

  • Define and drive formal strategy for first-pass silicon success, owning the formal verification sign-off approach across complex IP and SoC designs.
  • Architect robust and scalable FV environments, developing and deploying reusable formal testbenches, methodology flows, and high-coverage SVA assertion suites.
  • 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.

Matching Summary

Match Score: 85

Waymo is seeking a Senior Formal Verification Engineer to join their Compute Team in Mountain View, CA. The role focuses on developing formal verification strategies and environments to ensure the success of complex silicon designs, requiring significant technical expertise in formal verification methodologies.

Salary

Base: $204,000—$259,000 USD; Bonus/Equity: discretionary annual bonus program, equity incentive plan; Benefits: generous Company benefits program

Skills & Requirements

Must-have

  • Formal verification strategy
  • Formal verification environments
  • SystemVerilog Assertions
  • Advanced formal debug techniques
  • Formal verification sign-off

Nice-to-have

  • Latest formal verification research
  • Formally proving arithmetic units
  • NOCs and networking topologies
  • Cache coherency principles
  • High-performance designs

Key Requirements

  • 5+ years formal verification experience
  • BS/MS/PhD in CS/EE
  • Expert-level formal verification platform proficiency
  • C++ and/or Python proficiency
  • Shipping silicon products experience

Work Rights

Not specified

Tailored Resume

Cover Letter