Join a pioneering team focused on custom silicon solutions that will power Google's consumer products. You'll be instrumental in developing innovative hardware that reaches millions globally, shaping next-generation user experiences through superior performance, efficiency, and integration.

The AI and Infrastructure team is at the forefront of innovation, enabling Google customers with advanced AI and Infrastructure capabilities at an unmatched scale. Our solutions drive breakthrough performance and reliability across Google's services, empowering both internal teams and external developers.

We are the engine behind Google's technological advancements, fueling AI model development, providing immense computing power for global services, and creating essential platforms for future development. Our diverse teams work across software and hardware, including TPUs, Vertex AI for Google Cloud, Google Global Networking, and Data Center operations, collectively defining the future of hyperscale computing.

Develop and execute the formal verification strategy, crafting precise properties and constraints for sophisticated digital design blocks.

Employ formal property verification tools and advanced closure techniques to validate properties, addressing complex verification challenges.

Contribute to the enhancement of formal verification methodologies and architect reusable verification components to improve overall efficiency and effectiveness.

Requires a Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related discipline, or equivalent practical experience.

Possess at least 5 years of dedicated experience in formal verification.

Demonstrated experience with one or more leading formal verification tools such as Jasper, VC Formal, Questa Formal, or 360-DV.

Proficiency in scripting languages, with a strong emphasis on Python.