jobs

Senior Formal Verification Engineer

Waymo is an autonomous driving technology company with the mission to be the world's most trusted driver. Since its start as the Google Self-Driving Car Project in 2009, Waymo has focused on building the Waymo Driver—The World's Most Experi

Company

Waymo

Location

Mountain View, CA, USA

Status

Open

Posted

2026-02-09T16:41:38+00:00

Waymo's Compute Team is hiring a senior formal verification engineer for its autonomous driving silicon. The role owns formal sign-off across complex IP and SoC designs, builds reusable formal testbenches and SVA assertion suites, plans verification strategy with architecture and design teams, and mentors designers and engineers as the team's formal methods expert. It asks for a BS/MS/PhD, 5+ years of formal verification on shipping silicon, expert use of JasperGold, VC Formal or Questa Formal, and C++ or Python; floating-point proving and AXI/AMBA are preferred.