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 combines hardware verification expertise with cutting-edge technology development, focusing on ensuring the reliability and correctness of complex system-on-chip designs.
You'll work on critical components including main interconnects, DMA controllers, and power management systems, using formal verification methodologies to ensure design integrity. The position requires expertise in temporal assertion languages and formal verification tools, contributing to Google's hardware infrastructure that supports services used by billions worldwide.
The role offers the opportunity to shape the future of hyperscale computing, working with advanced technologies including TPUs and contributing to Google Cloud's Vertex AI platform. You'll be responsible for developing verification strategies, implementing reusable verification components, and improving methodologies that enhance formal verification results.
This position is ideal for someone with a strong background in hardware verification who wants to impact the development of next-generation hardware experiences, delivering unparalleled performance, efficiency, and integration. You'll be working in either Tel Aviv or Haifa, Israel, contributing to Google's global impact in software and hardware development.
The role combines technical depth with strategic thinking, requiring both hands-on verification work and the ability to architect verification solutions that scale across multiple projects. You'll be part of a team that prioritizes security, efficiency, and reliability while pushing the boundaries of what's possible in hardware verification.
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))
Related Jobs
