Join a pioneering team developing cutting-edge custom silicon solutions that will define the future of Google's direct-to-consumer products. You will be instrumental in shaping hardware experiences for millions, focusing on unparalleled performance, efficiency, and seamless integration. The AI and Infrastructure team is at the forefront of innovation, delivering AI and infrastructure at an unprecedented scale, efficiency, and reliability to empower Google customers, including Googlers, Google Cloud users, and billions worldwide.

Our team drives Google's most significant innovations, from advanced AI models and global computing power to the foundational platforms enabling developers. We are shaping world-leading hyperscale computing across software and hardware, with key contributions to TPUs, Vertex AI for Google Cloud, Google Global Networking, Data Center operations, and systems research.

Develop and execute comprehensive formal verification strategies, creating essential properties and constraints for intricate digital design blocks. Employ advanced formal property verification tools and closure techniques to rigorously test properties.

Address challenging verification issues and contribute to improving methodologies for enhanced formal verification outcomes. Architect and implement robust, reusable components for formal verification processes.

Collaborate with cross-functional teams to ensure the highest quality of silicon designs through meticulous verification.

A Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a closely related field is required, or equivalent practical experience will be considered.

Demonstrate at least 5 years of hands-on experience in formal verification, including proficiency with tools such as Jasper, VC Formal, Questa Formal, or 360-DV.

Proficiency in scripting languages, particularly Python, is essential. Familiarity with formal verification algorithms and computer architecture principles is preferred.