Senior Edge-AI SoC Formal Verification Engineer, Google Cloud
- linkCopy link
- emailEmail a friend
Minimum qualifications:
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
- 8 years of experience in Formal Verification field, utilizing different Formal Verification techniques.
- Experience in establishing formal verification methodologies, combined with overall project verification process.
- Experience in deploying FPV collaboration with different teams (DV, Design).
- Experience in leading FV project, defining overall FPV strategy and test-plans for multiple blocks, while overseeing quality and execution for different engineers working on the project.
Preferred qualifications:
- Master's degree or PhD in Electrical Engineering or Computer Science.
- Experience with different formal tools, such as Jasper, VC-Formal, Rule-Base.
- Understanding of different formal verification algorithms.
About the job
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.
Responsibilities
- Pioneer and refine formal verification methodologies by systematically embedding AI tools to optimize verification accuracy.
- Plan the formal verification strategy and create the properties and constraints for complex digital design blocks.
- Utilize formal property verification tools combined with formal verification closure techniques to verify properties and apply sign-off to blocks.
- Architect and implement reusable formal verification components.
Information collected and processed as part of your Google Careers profile, and any job applications you choose to submit is subject to Google's Applicant and Candidate Privacy Policy.
Google is proud to be an equal opportunity and affirmative action employer. We are committed to building a workforce that is representative of the users we serve, creating a culture of belonging, and providing an equal employment opportunity regardless of race, creed, color, religion, gender, sexual orientation, gender identity/expression, national origin, disability, age, genetic information, veteran status, marital status, pregnancy or related condition (including breastfeeding), expecting or parents-to-be, criminal histories consistent with legal requirements, or any other basis protected by law. See also Google's EEO Policy, Know your rights: workplace discrimination is illegal, Belonging at Google, and How we hire.
If you have a need that requires accommodation, please let us know by completing our Accommodations for Applicants form.
Google is a global company and, in order to facilitate efficient collaboration and communication globally, English proficiency is a requirement for all roles unless stated otherwise in the job posting.
To all recruitment agencies: Google does not accept agency resumes. Please do not forward resumes to our jobs alias, Google employees, or any other organization location. Google is not responsible for any fees related to unsolicited resumes.
Equity is granted exclusively and discretionarily by Alphabet Inc. on the basis of an agreement concluded between you and Alphabet Inc. Alphabet Inc. is your sole contractual partner with respect to equity grants. GSU grants are not guaranteed, are discretionary, are subject to approval by the Alphabet Inc. board of directors or its delegate, the terms of the relevant Alphabet Inc. stock plan, and your grant agreement. They have no impact on statutory payments. Current or past grants do not confer an acquired right.