Senior Formal Verification Architect

Waymo; Mountain View (CA); Hybrid; USD 204,000 - 259,000; Full time

Benefits offered by this job

Discretionary annual bonus program

Equity incentive plan

Generous Company benefits program

Job summary

A leading autonomous driving technology company in Mountain View is seeking a formal verification engineer to define strategies and lead technical initiatives for improving silicon products. The ideal candidate will have over 5 years of relevant experience, a strong background in C++ or Python, and expertise with major formal verification platforms. This hybrid role offers a competitive salary and participation in a bonus program, equity plan, and comprehensive benefits.

Qualifications

• 5+ years of hands-on formal verification experience on shipping silicon products.
• Expert-level proficiency with at least one major commercial formal verification platform.
• Ability to model complex designs in SystemVerilog and advanced SystemVerilog Assertions.

Responsibilities

• Define and drive formal strategy for first-pass silicon success.
• Architect robust and scalable FV environments.
• Serve as the team's formal Subject Matter Expert.

Skills

Formal verification experience

Proficiency in C++ and/or Python

Complex design modeling in SystemVerilog

Excellent communication skills

Education

BS/MS/PhD in CS/EE or related field

Tools

Cadence JasperGold

Synopsys VC Formal

Mentor Questa Formal

Job description

A leading autonomous driving technology company in Mountain View is seeking a formal verification engineer to define strategies and lead technical initiatives for improving silicon products. The ideal candidate will have over 5 years of relevant experience, a strong background in C++ or Python, and expertise with major formal verification platforms. This hybrid role offers a competitive salary and participation in a bonus program, equity plan, and comprehensive benefits.