Formal Verification Engineer

Google System Infrastructure is seeking a Formal Verification Engineer to join their team in Israel, focusing on developing custom chips for servers. This role is crucial in building the best cloud infrastructure for Google services and Google Cloud customers. You'll be responsible for performing formal verification of ASIC designs, working closely with design and verification engineers to define properties that capture design intent.

As a Formal Verification Engineer, you'll be part of a diverse team that pushes boundaries in custom silicon solutions powering Google's direct-to-consumer products. Your work will directly impact products used by millions worldwide, contributing to the next generation of hardware experiences that deliver unparalleled performance, efficiency, and integration.

The role involves planning verification strategies, creating properties and constraints for digital design blocks, and utilizing formal property verification tools. You'll also contribute to improving methodologies to enhance formal verification results and architect reusable verification components. This position requires strong technical expertise in formal verification, hardware design, and programming skills.

Working at Google's Technical Infrastructure team means being at the forefront of maintaining and developing the architecture that keeps Google's vast product portfolio running. The team takes pride in being the engineers' engineers, focusing on building and maintaining data centers and developing next-generation Google platforms.

This is an excellent opportunity for someone with a strong background in electrical engineering or computer science, particularly those with experience in formal verification tools and methodologies. You'll be joining a company known for its innovative approach to technology and commitment to maintaining the highest standards in cloud infrastructure.