SoC Formal Verification Engineer, Google Cloud
Job Description
Join Google's ML, Systems, & Cloud AI (MSCA) organization as a SoC 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 focuses on ensuring the reliability and correctness of hardware designs through formal verification methods.
The position requires expertise in hardware verification, particularly working with main interconnects, DMA, controllers, and power management. You'll be using formal verification tools and temporal assertion languages to verify complex hardware designs, while also contributing to improving verification methodologies.
As part of Google's hardware team, you'll work on projects that impact billions of users worldwide through Google's services and Cloud platform. The role combines technical depth in hardware verification with the opportunity to shape the future of hyperscale computing.
The ideal candidate should have a strong background in electrical engineering or computer science, with experience in formal verification tools and methods. You'll be working in either Tel Aviv or Haifa, Israel, contributing to Google's mission of developing secure, efficient, and reliable hardware infrastructure.
This is an excellent opportunity for someone passionate about hardware verification who wants to work on cutting-edge technology at scale, with access to Google's vast resources and the chance to impact products used by millions of people globally.
Responsibilities For SoC Formal Verification Engineer, Google Cloud
- 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
- Architect and implement reusable formal verification components
Requirements For SoC Formal Verification Engineer, Google Cloud
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience
- 4 years of experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management
- Experience capturing design specification in a temporal assertion language (e.g., System Verilog Assertions (SVA) or Property Specification Language (PSL))
