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 performing formal verification of ASIC designs, working with cutting-edge hardware and software solutions to address real-world challenges of performance, cost, and scale.

As a Senior Formal Verification Engineer, you'll be part of the Technical Infrastructure team that powers Google's extensive product portfolio. You'll collaborate with design and verification engineers to define properties capturing design intent of logic blocks and input stimulus constraints. Your work will directly impact the development of custom silicon solutions that drive Google's direct-to-consumer products.

The position requires deep expertise in formal verification methodologies, ASIC design, and hardware verification tools. You'll be responsible for planning verification strategies, implementing reusable components, and improving existing methodologies. This role offers the opportunity to work with advanced technology while contributing to products used by millions globally.

The ideal candidate will bring strong technical skills in formal verification, experience with tools like JasperGold or VC Formal, and the ability to collaborate effectively with cross-functional teams. You'll be joining a diverse team that pushes boundaries and innovates in hardware development, making this an excellent opportunity for those passionate about hardware verification and cloud infrastructure.