ASIC Formal Verification Engineer, Google Cloud

Google•Sunnyvale, CA

2d•$138,000 - $197,000

About The Position

As an ASIC Formal Verification Engineer on Google Cloud’s AI and Infrastructure team, you will help develop custom silicon and next-generation Tensor Processing Units (TPUs) that accelerate computation in data centers and support demanding AI/ML applications. You will apply formal verification expertise to complex digital designs, with a focus on TPU architecture and integration into AI/ML-driven systems. The role includes work in project definition, formal verification, and silicon bringup, as well as participation in the architecture, documentation, and verification of next-generation data center accelerators.

Requirements

Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.
4 years of experience with formal and design verification.
Experience with SystemVerilog or Verilog.
Experience working with one or more formal verification tools, such as Jasper, VC Formal, Questa Formal, or 360-DV.

Nice To Haves

Master's degree or PhD in Electrical Engineering, Computer Engineering, or Computer Science.
6 years of experience with industry-standard tools, languages, and methodologies relevant to developing silicon-based integrated circuits and chips.
Experience with scripting languages.
Excellent communication and collaboration skills.

Responsibilities

Plan formal verification strategy and create properties and constraints for digital design blocks.
Use formal property verification tools and formal verification closure techniques to verify properties.
Resolve difficult-to-verify properties.
Contribute methodology improvements to enhance formal verification results.
Architect and implement reusable formal verification components.
Participate in project definition, formal verification, silicon bringup, and the architecture, documentation, and verification of next-generation data center accelerators.