In-office locations: Austin, TX, USA; Mountain View, CA, USA.
Remote location(s): New York, USA.
In this role, you will build and lead a team that performs formal verification of design properties of a CPU. You must partner with design and verification engineers to define meaningful properties that capture the design intent of a logic block and constraints on its input stimulus. You will also help define and improve design/verification methodologies that allow you to achieve formal verification closure. You will mentor and work with multiple unit teams across the project and ensure that the various verification teams adopt formal methods when appropriate.
This position requires access to equipment, technical data and technology that is highly controlled under the Export Administration Regulations (EAR). Such access is restricted to U.S. persons or those otherwise authorized by the U.S. government.
Google’s mission is to organize the world’s information and make it universally accessible and useful. Our team combines the best of Google AI, Software, and Hardware to create radically helpful experiences. We research, design, and develop new technologies and hardware to make computing faster, seamless, and more powerful. We aim to make people’s lives better through technology.
Google is proud to be an equal opportunity workplace and is an affirmative action employer. We are committed to equal employment opportunity regardless of race, color, ancestry, religion, sex, national origin, sexual orientation, age, citizenship, marital status, disability, gender identity or Veteran status. We also consider qualified applicants regardless of criminal histories, consistent with legal requirements. See also Google’s EEO Policy and EEO is the Law. If you have a disability or special need that requires accommodation, please let us know by completing our Accommodations for Applicants form.