Junior CPU Formal Verification Engineer

Google's ML, Systems & Cloud AI (MSCA) organization is seeking a Junior CPU Formal Verification Engineer to join their diverse team. This role is perfect for recent graduates looking to make an impact in hardware development. You'll be working on custom silicon solutions that power Google's direct-to-consumer products, contributing to innovations that serve millions of users worldwide.

The position involves working with cutting-edge hardware verification technologies, focusing on formal verification of CPU components. You'll be part of the team that designs, implements, and manages the hardware infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. The role combines technical expertise in formal verification with practical hardware development experience.

As a Junior CPU Formal Verification Engineer, you'll work with state-of-the-art formal verification tools, develop verification strategies, and contribute to methodology improvements. The position offers an opportunity to work on complex technical challenges while ensuring the security, efficiency, and reliability of Google's hardware infrastructure.

The role is based in either Tel Aviv or Haifa, Israel, offering the chance to work with world-class engineers in Google's hardware division. You'll be contributing to projects that shape the future of hyperscale computing and working on technologies that power Google Cloud's Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

This is an excellent opportunity for someone starting their career in hardware verification, offering exposure to advanced technologies and the chance to work on projects with global impact. The position combines the excitement of working with cutting-edge technology with the stability and resources of one of the world's leading tech companies.