CPU Formal Verification Engineer

Google is seeking a CPU Formal Verification Engineer to join their Technical Infrastructure team. This role is crucial in developing custom silicon solutions that power Google's direct-to-consumer products. As part of this position, you'll work on the architecture that supports all of Google's online services, from developing and maintaining data centers to building next-generation Google platforms.

The role involves working with main interconnects, DMA, controllers, and power management systems, requiring expertise in formal verification methodologies and tools. You'll be responsible for planning verification strategies, creating properties and constraints for digital design blocks, and utilizing advanced verification tools to ensure product quality.

This is an excellent opportunity for someone with a strong background in Electrical Engineering or Computer Science who wants to impact products used by millions worldwide. You'll be part of a diverse team that pushes boundaries and innovates in hardware experiences, focusing on unparalleled performance, efficiency, and integration.

The position offers the chance to work with cutting-edge technology and contribute to Google's technical infrastructure, ensuring users have the best and fastest experience possible. You'll be working alongside engineers who take pride in their work and aren't afraid to dive deep into complex technical challenges.

The role requires a combination of technical expertise in formal verification and practical experience with various verification tools. You'll be expected to not only execute verification strategies but also contribute to improving methodologies and developing reusable verification components. This position is perfect for someone who wants to be at the forefront of hardware verification in one of the world's leading technology companies.