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 real-world business challenges related to performance, cost, and scale through unique hardware, software, and system solutions.

As a Senior Formal Verification Engineer, you'll be part of a diverse team that pushes boundaries in developing custom silicon solutions powering Google's direct-to-consumer products. Your primary responsibility will be performing formal verification of design properties for ASIC designs, working closely with design and verification engineers to define properties that capture design intent and input stimulus constraints.

The position requires extensive experience in formal verification, including working with main interconnects, DMA, controllers, and power management. You'll contribute to improving design and verification methodologies, helping achieve formal verification closure, and implementing reusable verification components.

The Technical Infrastructure team at Google is proud to be the backbone of Google's product portfolio, developing and maintaining data centers and building next-generation platforms. The team ensures networks run optimally, providing users with the best and fastest experience possible.

This role offers the opportunity to work with cutting-edge technology, collaborate with talented engineers, and directly impact the performance and reliability of Google's infrastructure. The position requires strong technical skills, problem-solving abilities, and the capability to work effectively in a team environment.