Formal Verification Engineer • Senior

Who you are

You have a strong background in formal verification methodologies and a passion for ensuring the reliability of complex silicon designs. With experience in defining verification strategies, you understand the intricacies of IP and SoC designs and how to achieve first-pass success. You thrive in a multidisciplinary team environment, collaborating closely with hardware and software engineers to optimize performance and power efficiency. Your curiosity drives you to explore innovative solutions in the rapidly evolving field of autonomous driving technology.

What you'll do

In this role, you will define and drive the formal verification strategy for Waymo's cutting-edge silicon designs. You will own the formal verification sign-off approach, ensuring that complex IP and SoC designs meet the highest standards of quality and reliability. Collaborating with cross-functional teams, you will work on architecting and creating high-performance custom silicon that powers the Waymo Driver. Your contributions will directly impact the performance and safety of autonomous vehicles, making a significant difference in the mission to improve mobility and save lives.

What we offer

Waymo provides a competitive salary range of $204,000—$259,000 USD, along with eligibility for an annual bonus program and equity incentive plan. You will be part of a dynamic team that is at the forefront of autonomous driving technology, working in a hybrid environment that fosters collaboration and innovation. We encourage you to apply even if your experience doesn't match every requirement, as we value diverse perspectives and backgrounds in our team.