As an ASIC Formal Verification Engineer at Google Cloud, you will play a crucial role in shaping the future of AI/ML hardware acceleration. You will work on cutting-edge TPU technology that powers Google's most demanding applications, contributing to the development of custom silicon solutions. Your expertise in formal verification will be essential in verifying complex digital designs, particularly focusing on TPU architecture and its integration within AI/ML-driven systems. This position offers the opportunity to be part of a team that is redefining capabilities in AI and infrastructure.

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