jobs

Senior Edge-AI SoC Formal Verification Engineer, Google Cloud

Be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise wil

Company

Google

Location

Tel Aviv, Israel; Haifa, Israel

Status

Open

Posted

2026-09-16T23:38:51+00:00

Google Cloud is hiring a senior engineer in Tel Aviv or Haifa to lead formal verification for custom silicon. The work covers formal verification strategy for complex digital blocks: writing properties and constraints, driving formal property verification to closure and sign-off, building reusable verification components, and embedding AI tools into verification methods. The posting requires a bachelor's in electrical engineering or computer science or equivalent experience, plus eight years in formal verification, methodology-building, collaboration with design and DV teams, and leading FV projects across multiple blocks.