Formal Verification Engineer, Networking, Google Cloud
Job Description
Google Cloud is seeking a Formal Verification Engineer to join their Networking team, focusing on developing and implementing verification strategies for digital design blocks. This role is part of the ML, Systems, & Cloud AI (MSCA) organization, which is responsible for the hardware, software, and infrastructure powering Google's services and Cloud platform.
The position offers an opportunity to work on cutting-edge technology that impacts billions of users worldwide. You'll be involved in verifying critical components of Google's custom silicon solutions, ensuring the reliability and efficiency of their hardware systems. The role combines deep technical expertise in formal verification with practical application in a high-impact environment.
As a Formal Verification Engineer, you'll work with advanced verification tools and methodologies, contributing to the development of reusable verification components and improving existing processes. The position requires strong technical skills in formal verification, digital design, and hardware architecture, along with the ability to work effectively in a collaborative environment.
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 part of a team that pushes boundaries in custom silicon development, directly contributing to the next generation of Google's hardware experiences. This position combines technical depth with the opportunity to impact products used by millions of people globally.
Responsibilities For Formal Verification Engineer, Networking, 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 Formal Verification Engineer, Networking, 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))
