Join a forward-thinking team dedicated to creating custom silicon solutions that power Google's consumer products. You will play a crucial role in developing the next generation of hardware experiences, focusing on unparalleled performance, efficiency, and integration. This role is part of the AI and Infrastructure team, which is committed to delivering AI and Infrastructure at an unprecedented scale, efficiency, reliability, and velocity. Our innovations serve Googlers, Google Cloud customers, and billions of users globally, driving groundbreaking advancements in AI models and computing power.

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 validate these properties. Tackle and resolve complex verification challenges, actively contributing to methodology enhancements for improved formal verification outcomes. Design and implement versatile, reusable components for formal verification processes.

A Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related discipline is required, alongside equivalent practical experience. Possess at least 5 years of dedicated experience in the formal verification domain. Proficiency with at least one major formal verification tool such as Jasper, VC Formal, Questa Formal, or 360-DV is essential. Demonstrated experience with scripting languages, particularly Python, is also a prerequisite.