Description
Google is hiring an ASIC Formal Verification Engineer to develop and verify custom TPU silicon for AI/ML hardware acceleration. The role covers formal verification strategy, property and constraint development, formal verification closure, difficult-property resolution, methodology improvements, and reusable verification components, with responsibilities extending through silicon bringup and data-center accelerator architecture. Candidates need a relevant bachelor's degree or equivalent practical experience, four years of formal and design verification experience, and experience with SystemVerilog or Verilog and formal verification tools.
