Junior CPU Formal Verification Engineer, University Graduate, 2025 Start
Description For 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 combines hardware verification expertise with cutting-edge technology development, focusing on ensuring the reliability and correctness of CPU designs through formal verification methods.
The position offers an opportunity to work on critical hardware infrastructure that supports Google's vast array of services, including Search, YouTube, and Google Cloud. You'll be responsible for planning and implementing verification strategies for complex digital design blocks, utilizing advanced formal verification tools and methodologies.
As a new graduate role starting in 2025, this position is perfect for candidates with a strong foundation in computer engineering and formal verification concepts. You'll work in either Tel Aviv or Haifa, Israel, contributing to Google's hardware innovation while collaborating with world-class engineers.
The role combines theoretical knowledge with practical application, requiring expertise in temporal assertion languages and formal verification tools. You'll be part of the team that ensures the security, efficiency, and reliability of Google's hardware infrastructure, including working on advanced technologies like TPUs for Google Cloud.
This is an excellent opportunity for graduates looking to start their career in hardware verification at one of the world's leading technology companies, with the chance to impact products used by billions of people globally.
Responsibilities For Junior CPU Formal Verification Engineer, University Graduate, 2025 Start
- Plan the formal verification strategy and create the properties and constraints for digital design blocks
- Utilize formal property verification tools combined with formal verification closure techniques to verify properties
- Contribute improvements to methodologies to enhance formal verification results. Resolve difficult to verify properties
- Architect and implement reusable formal verification components
Requirements For Junior CPU Formal Verification Engineer, University Graduate, 2025 Start
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience
- Experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management
- Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL)
Jobs Related To Google Junior CPU Formal Verification Engineer, University Graduate, 2025 Start
