CPU Formal Verification Engineer

Join Google's Technical Infrastructure team as a CPU Formal Verification Engineer, where you'll be part of a diverse team developing custom silicon solutions that power Google's direct-to-consumer products. This role combines hardware expertise with verification engineering, focusing on ensuring the reliability and correctness of CPU designs through formal verification methods.

As a CPU Formal Verification Engineer, you'll work with cutting-edge technology and tools to verify complex hardware designs. You'll be responsible for planning verification strategies, creating properties and constraints for digital design blocks, and utilizing advanced formal verification tools. Your work will directly impact the architecture that keeps Google's vast infrastructure running smoothly.

The position offers the opportunity to work with state-of-the-art formal verification tools and methodologies, contributing to the development of Google's next generation of hardware experiences. You'll be part of the team that's proud to be "engineers' engineers," working on systems that deliver unparalleled performance, efficiency, and integration.

The role requires a strong background in electrical engineering or computer science, with specific expertise in formal verification techniques and tools. You'll need experience with temporal assertion languages and familiarity with various formal verification tools. The ideal candidate will have experience working with main interconnects, DMA, controllers, and power management.

Working at Google, you'll be part of a company that values diversity, equality, and inclusion, with a strong commitment to building a representative workforce. You'll have the chance to contribute to products used by millions worldwide while working in an environment that supports professional growth and innovation.