Senior Formal Verification Engineer, Google Cloud
Job Description
Google Cloud is seeking a Senior Formal Verification Engineer to join their ML, Systems, & Cloud AI (MSCA) organization. This role is crucial in developing custom silicon solutions that power Google's direct-to-consumer products. The position involves working with cutting-edge hardware and software infrastructure that supports all Google services and Cloud operations.
The ideal candidate will be responsible for planning and implementing formal verification strategies for digital design blocks, utilizing advanced verification tools, and developing reusable verification components. This role requires deep expertise in formal verification methodologies and tools like JasperGold, VC Formal, or Questa Formal.
The position offers the opportunity to work on technology that impacts billions of users worldwide, focusing on security, efficiency, and reliability in hyperscale computing. You'll be part of a team that drives innovation in TPU development and global network operations, while contributing to Google Cloud's Vertex AI platform.
This is an excellent opportunity for someone with strong formal verification experience who wants to work on challenging technical problems at scale. The role combines hardware expertise with software development, requiring both theoretical knowledge and practical implementation skills. You'll be working in either Tel Aviv or Haifa, Israel, contributing to Google's next generation of hardware experiences.
Responsibilities For Senior 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 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)
Related Jobs
