[ engineering ]

Senior Formal Verification Engineer

Waymo
Location
Mountain View, California, Usa
Work mode
Remote
Type
full time
Listed
Apply on Waymo’s siteFind roles like this with the assistant

Applications go directly to Waymo. Ramai takes no fee for placement and no money for ranking.

[ About this role ]

Senior Formal Verification Engineer at Waymo responsible for defining and driving formal strategy for first-pass silicon success. This role involves owning the formal verification sign-off approach for complex IP and SoC designs using advanced formal techniques and architecting scalable FV environments.

Skills and focus areas

  • formal verification
  • silicon
  • ip verification
  • soc verification
  • bounded model checking
  • datapath validation
  • connectivity verification
  • sequential lec
  • formal testbenches
  • assertion suites
  • sv
  • technical leadership

Summary written by Ramai from the original posting. Full details and requirements are on Waymo’s careers page.

[ More at Waymo ]

See all 372 open roles at Waymo →

[ Similar roles at other startups ]

Browse all open engineering roles →

[ Not quite right? ]

Tell the assistant what you’re after — stage, location, stack, visa sponsorship — and it searches every open role for you. A few questions are free, no account needed.

Search with the assistantBrowse similar roles