Senior Networking Formal Verification Engineer, Google Cloud
Description For Senior Networking Formal Verification Engineer, Google Cloud
Join Google Cloud's ML, Systems, & Cloud AI (MSCA) organization as a Senior Networking Formal Verification Engineer, where you'll be part of a diverse team pushing boundaries in custom silicon solutions. This role combines hardware verification expertise with cloud infrastructure development, focusing on ensuring the reliability and correctness of networking components through formal verification methods.
You'll be working on critical systems that power Google's services (Search, YouTube, etc.) and Google Cloud infrastructure. The position requires deep expertise in formal verification tools and methodologies, with opportunities to work on cutting-edge hardware designs that impact billions of users worldwide.
The ideal candidate will bring strong technical skills in formal verification, hardware design, and programming, along with the ability to architect verification solutions for complex networking systems. You'll be working in either Tel Aviv or Haifa, Israel, contributing to Google's next generation of hardware experiences.
This role offers the opportunity to work with advanced verification tools and methodologies, while being part of Google's broader mission in shaping the future of hyperscale computing. You'll be involved in verifying critical hardware components that support Google's AI infrastructure, including systems that power Google Cloud's Vertex AI platform.
The position combines technical depth in formal verification with the scale and impact of Google's infrastructure, making it an excellent opportunity for those passionate about hardware verification and interested in working on systems that power some of the world's most widely-used services.
Responsibilities For Senior Networking 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
- Resolve difficult to verify properties, and contribute improvements to methodologies to enhance formal verification results
- Architect and implement reusable formal verification components
Requirements For Senior Networking Formal Verification Engineer, Google Cloud
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience
- 8 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., SVA or PSL)
Jobs Related To Google Senior Networking Formal Verification Engineer, Google Cloud
