Posted by employer 7 months ago
First seen on Joblaze 1 week ago
Last verified on the company career page 3 days ago
Not disclosed in this posting: compensation, years of experience, work arrangement, visa sponsorship.
Joblaze summary
In this role, the Senior Formal Verification Engineer at Waymo focuses on developing and implementing formal verification methodologies to ensure the reliability of autonomous vehicle software. Key skills include expertise in formal methods, programming languages like C++ or Python, and a strong understanding of software verification tools. This position is ideal for experienced engineers with a background in software development and verification, particularly those who thrive in innovative environments. Waymo's commitment to advancing autonomous technology makes this a pivotal role in a cutting-edge team.
Joblaze insights
- Listed 7 days ago on Joblaze — tracked directly from Waymo's career page.
- Waymo has 349 other open roles including Machine Learning Engineer - Mapping, Research Scientist, Map Scalability, Recruiter.
Quick facts
- What seniority level is this role?
- Waymo targets senior candidates for this position.
- Is this full-time or contract?
- Full-time for this Senior Formal Verification Engineer role at Waymo.