Senior Formal Verification Engineer

Google's System Infrastructure team is seeking a Senior Formal Verification Engineer to join their mission of building cloud infrastructure for Google services and Google Cloud customers. This role focuses on solving complex business challenges related to performance, cost, and scale through innovative hardware, software, and system solutions.

As a Senior Formal Verification Engineer, you'll be instrumental in performing formal verification of ASIC design properties, working closely with design and verification engineers. You'll be responsible for defining properties that capture design intent of logic blocks and constraints on input stimulus. The role involves collaboration with Google's Technical Infrastructure team, which is crucial in maintaining and developing data centers and next-generation Google platforms.

The position offers the opportunity to work on cutting-edge technology that powers Google's product portfolio, directly impacting millions of users worldwide. You'll be part of a diverse team that pushes boundaries in developing custom silicon solutions for Google's direct-to-consumer products. Your expertise will be vital in shaping the next generation of hardware experiences, focusing on unparalleled performance, efficiency, and integration.

This is an ideal role for someone with strong formal verification experience, particularly in ASIC design, who wants to make a significant impact on Google's infrastructure. The position requires both technical expertise and collaborative skills, as you'll work across teams to improve design and verification methodologies. Join Google's team of engineers' engineers who take pride in innovative problem-solving and maintaining the backbone of Google's technical infrastructure.