Silicon Formal Verification Engineer III, Cloud

Overview

Join a pioneering team dedicated to designing custom silicon solutions that power Google's consumer products and help drive innovation worldwide. As part of the AI and Infrastructure team, you'll contribute to advancing AI capabilities, enabling formidable computing performance, and shaping future hardware experiences with efficiency and integration at scale.

Responsibilities

• Develop and plan formal verification strategies for complex digital design blocks, including creating properties and constraints.
• Apply formal property verification tools and closure methodologies to validate design properties effectively.
• Address and resolve challenging verification scenarios and enhance formal verification methodologies.
• Design and implement reusable components for formal verification processes.

Qualifications

Minimum:

• Bachelor's degree in Electrical Engineering, Computer Engineering, Computer Science, or a related discipline, or equivalent experience.
• At least 5 years of hands-on experience in formal verification.
• Proficiency with formal verification tools such as Jasper, VC Formal, Questa Formal, or 360-DV.
• Experience using scripting languages like Python.

Preferred:

• Advanced degree (Master’s or PhD) in Electrical Engineering, Computer Engineering, or Computer Science, focusing on computer architecture.
• Fundamental understanding of formal verification algorithms.

Additional Information

Note that the hiring process generally involves in-person interviews. Google is an equal opportunity employer committed to fostering an inclusive workplace, providing accommodations for applicants with disabilities, and ensuring fair consideration regardless of background or status. Applicants with a criminal history are also considered in accordance with legal guidelines.