The ASIC Formal Verification Engineer at Google Cloud will focus on verifying digital designs, particularly in the area of TPU architecture and its integration within AI/ML systems. This role involves working on cutting-edge TPU technology that powers Google's AI/ML applications. The engineer will be part of a team dedicated to developing custom silicon solutions and will contribute to the innovation behind products used by millions. Responsibilities include project definition, formal verification, and silicon bringup.

• 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.

• Plan the formal verification strategy and create properties and constraints for the digital design blocks.
• Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
• Resolve difficult to verify properties.
• Contribute improvements to methodologies to enhance formal verification results.
• Architect and implement reusable formal verification components.

• Employees at Google are often offered benefits like comprehensive health insurance, 401(k) matching, and flexible work arrangements, among other benefits.