Junior CPU Formal Verification Engineer, Google Cloud

Who you are

You hold a Bachelor's degree in Electrical Engineering, Computer Science, or a related field, and have at least 1 year of experience capturing design specifications in a temporal assertion language such as SVA or PSL. Your background includes working on main interconnects, Direct Memory Access (DMA), controllers, and power management, which has equipped you with a solid understanding of hardware design principles. You are familiar with formal verification tools like JasperGold, VC Formal, Questa Formal, or 360-DV, and have experience with scripting languages, particularly Python. Your knowledge extends to CPU implementation, assembly language, or compute SOCs, and you possess a good understanding of formal verification algorithms. You are eager to be part of a team that pushes boundaries and develops custom silicon solutions that power the future of Google's products.

What you'll do

In this role, you will perform formal verification of design properties for complex ASIC designs, collaborating closely with design and verification engineers to define meaningful properties that ensure the integrity of hardware solutions. You will utilize formal property verification tools combined with formal verification closure techniques to verify properties and resolve any difficulties encountered during the verification process. Your contributions will help enhance methodologies to improve formal verification results, and you will architect and implement reusable formal verification components that can be leveraged across various projects. You will be part of a dynamic team that focuses on developing custom chips for servers, addressing the rapidly evolving needs of Google Cloud customers. Your work will directly impact the performance, efficiency, and integration of hardware solutions that serve millions of users worldwide.

What we offer

At Google, you will be part of a culture that values innovation and collaboration. You will have the opportunity to work on cutting-edge technology that shapes the future of cloud services. We encourage you to apply even if your experience doesn't match every requirement, as we believe diverse teams build better products. You will receive competitive compensation and benefits, along with opportunities for professional growth and development within the company. Join us in our mission to build a cloud infrastructure that meets the demands of performance, cost, and scale, utilizing unique hardware, software, and system solutions.