Formal Verification Engineer

Google is establishing a team in Israel to develop custom chips for servers as part of their System Infrastructure mission. As a Formal Verification Engineer, you'll be crucial in ensuring the quality and reliability of ASIC designs for Google's cloud infrastructure. You'll work on performing formal verification of design properties, collaborating with design and verification engineers to define meaningful properties that capture design intent. The role involves working with cutting-edge hardware technology that powers Google's services and cloud platform.

The position offers an opportunity to be part of Google's Technical Infrastructure team, which is responsible for building and maintaining the architecture behind all of Google's user-facing services. You'll be contributing to the development of custom silicon solutions that power Google's direct-to-consumer products, working on innovations that impact millions of users worldwide.

This role requires a strong background in electrical engineering or computer science, with specific expertise in formal verification methodologies and tools. You'll be working with state-of-the-art verification tools and contributing to improving verification methodologies. The position offers the chance to work on complex technical challenges while being part of a diverse team that pushes boundaries in hardware development.

As part of Google's System Infrastructure team, you'll be directly involved in solving world-class business challenges related to performance, cost, and scale. The role provides an excellent opportunity for professional growth in a cutting-edge field, working with some of the most advanced hardware and verification technologies in the industry.