Junior CPU Formal Verification Engineer, University Graduate, 2025 Start

Join Google's ML, Systems & Cloud AI (MSCA) organization as a Junior CPU Formal Verification Engineer, where you'll be part of a team developing custom silicon solutions that power Google's direct-to-consumer products. This role offers an exciting opportunity for recent graduates to contribute to the hardware infrastructure that supports Google's massive-scale services including Search, YouTube, and Google Cloud.

You'll work on formal verification of complex CPU designs, utilizing your expertise in hardware design verification and formal methods. The position involves working with cutting-edge verification tools and methodologies to ensure the reliability and correctness of Google's custom silicon solutions. You'll be responsible for developing verification strategies, creating and verifying properties, and contributing to the improvement of verification methodologies.

The role is perfect for someone with a strong foundation in computer architecture and formal verification, offering the chance to work on projects that directly impact billions of users worldwide. You'll be joining a team that prioritizes security, efficiency, and reliability while pushing the boundaries of hyperscale computing.

As part of Google's hardware team, you'll have the opportunity to shape the next generation of hardware experiences, working alongside industry experts and contributing to innovations that deliver unparalleled performance and efficiency. The position offers exposure to various aspects of hardware design and verification, from low-level CPU components to system-level integration.

This is an excellent opportunity for graduates interested in hardware verification to start their career at one of the world's leading technology companies, working on projects that combine traditional hardware engineering with cutting-edge AI and cloud technologies.