Senior Formal Verification Engineer, Google Cloud

Google Cloud is seeking a Senior Formal Verification Engineer to join their ML, Systems, and Cloud AI (MSCA) organization. This role is crucial in ensuring the reliability and correctness of Google's custom silicon solutions that power their direct-to-consumer products and cloud services.

The position requires deep expertise in formal verification methodologies and tools, working with complex digital design blocks including interconnects, DMA controllers, and power management systems. You'll be responsible for developing and implementing verification strategies that ensure the quality and reliability of Google's hardware infrastructure.

The MSCA organization is at the forefront of Google's hardware and software infrastructure, supporting all Google services (Search, YouTube, etc.) and Google Cloud. The team's work has global impact, from developing TPUs to running global networks, with a strong focus on security, efficiency, and reliability.

As a Senior Formal Verification Engineer, you'll work with cutting-edge technology and contribute to the innovation behind products used by billions of people worldwide. The role offers the opportunity to shape the next generation of hardware experiences, focusing on unparalleled performance, efficiency, and integration.

The ideal candidate should have strong technical skills in formal verification tools (such as JasperGold, VC Formal, Questa Formal, or 360-DV), experience with scripting languages like Python, and a deep understanding of formal verification algorithms. A background in electrical engineering or computer science is required, with advanced degrees being preferred.

This position offers the opportunity to work at one of the world's leading technology companies, contributing to critical infrastructure that powers Google's services and cloud platform. The role combines technical depth with practical impact, making it ideal for someone passionate about hardware verification and formal methods.