Formal Verification Engineer, Google Cloud

Join Google Cloud's innovative team as a Formal Verification Engineer, where you'll be part of the ML, Systems, & Cloud AI (MSCA) organization. This role combines hardware expertise with software verification, focusing on developing custom silicon solutions that power Google's direct-to-consumer products. You'll work on critical infrastructure that supports billions of users across Google services like Search and YouTube, as well as Google Cloud customers.

The position requires deep expertise in formal verification methodologies, working with complex digital design blocks and verification tools. You'll be responsible for creating and implementing verification strategies, developing properties and constraints, and contributing to the improvement of verification methodologies. This role is crucial in ensuring the reliability and efficiency of Google's hardware infrastructure.

The ideal candidate will bring strong technical skills in formal verification, experience with temporal assertion languages, and a background in electrical engineering or computer science. You'll work in a collaborative environment, contributing to the next generation of hardware experiences that deliver unparalleled performance and efficiency.

This is an excellent opportunity for someone passionate about hardware verification who wants to impact products used by millions worldwide. You'll be working at the intersection of hardware and software, helping to shape the future of hyperscale computing while ensuring the security and reliability of Google's infrastructure.

The role offers the chance to work with cutting-edge technology, including Google Cloud's Vertex AI platform, and contribute to the development of systems that power some of the world's most widely-used services. You'll be part of a team that prioritizes security, efficiency, and reliability across all aspects of infrastructure development.