Google Cloud is seeking a Senior Networking Formal Verification Engineer to join their Technical Infrastructure team. This role is crucial in developing and maintaining the architecture that powers Google's extensive product portfolio. As part of the team that builds custom silicon solutions, you'll be responsible for ensuring the reliability and performance of networking components through formal verification methods.
The position requires deep expertise in formal verification, working with complex interconnects, DMA, controllers, and power management systems. You'll be instrumental in planning verification strategies, creating properties and constraints for digital design blocks, and utilizing advanced verification tools to ensure product quality.
This is an opportunity to work with cutting-edge technology at one of the world's leading tech companies. You'll be part of a diverse team that pushes boundaries and develops solutions that power Google's direct-to-consumer products. Your work will directly impact millions of users worldwide by ensuring the reliability and efficiency of Google's networking infrastructure.
The role offers the chance to work in either Tel Aviv or Haifa, Israel, contributing to Google's global technical infrastructure. You'll be working with state-of-the-art formal verification tools and methodologies, while also having the opportunity to improve and develop new verification approaches.
The ideal candidate will combine strong technical skills in formal verification with a collaborative mindset, as you'll be working with various teams to ensure the highest standards of hardware verification. This role presents an excellent opportunity for someone passionate about hardware verification to make a significant impact on Google's infrastructure.