The ASIC Formal Verification Engineer at Google Cloud will focus on shaping the future of AI/ML hardware acceleration by verifying complex digital designs, particularly for TPU architecture. This role involves working within a team that develops custom silicon solutions for Google's AI/ML applications. The engineer will contribute to project definition, formal verification, and silicon bringup, ensuring the integrity of digital designs. This position is part of a team dedicated to redefining capabilities in AI and infrastructure at an unparalleled scale.

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