The ASIC Formal Verification Engineer at Google Cloud will focus on shaping the future of AI/ML hardware acceleration, specifically through the development of TPU technology. This role involves verifying complex digital designs, particularly in TPU architecture and its integration within AI/ML systems. The engineer will be part of a team that develops custom silicon solutions for data centers, contributing to innovative 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.