Senior Formal Verification Engineer

Google's System Infrastructure team is seeking a Senior Formal Verification Engineer to join their mission of building cloud infrastructure for Google services and Google Cloud customers. This role focuses on solving real-world business challenges of performance, cost, and scale through unique hardware, software, and system solutions.

As a Senior Formal Verification Engineer, you'll be responsible for performing formal verification of ASIC design properties, working closely with design and verification engineers to define properties that capture design intent and input stimulus constraints. You'll be part of the Technical Infrastructure team that builds and maintains Google's architecture, including data centers and next-generation platforms.

The position offers the opportunity to work on cutting-edge technology that powers Google's product portfolio, collaborating with a diverse team that pushes boundaries in custom silicon solutions. You'll be instrumental in developing and improving design and verification methodologies, ensuring formal verification closure, and contributing to the innovation behind products used by millions worldwide.

The role requires extensive experience in formal verification, hardware design, and programming, with opportunities to work on complex technical challenges. You'll be part of Google's commitment to building cloud infrastructure that meets the highest standards of performance and reliability, while working in an environment that values diversity, equality, and innovation.

This is an excellent opportunity for someone passionate about hardware verification, cloud infrastructure, and working with cutting-edge technology at one of the world's leading tech companies. The position offers the chance to make a significant impact on Google's hardware infrastructure while working with some of the industry's best engineers.