ASIC Formal Verification Engineer, Google Cloud

Google LLC

  • Sunnyvale, CA
  • 2 days ago

    Highlights

    From software to hardware our teams are shaping the future of world-leading hyperscale computing, with key teams working on the development of our TPUs, Vertex AI for Google Cloud, Google Global Networking, Data Center operations, systems research, and much more. We"re the driving team behind Google"s groundbreaking innovations, empowering the development of our cutting-edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable developers to build the future.

    Numbers & Facts

    LocationSunnyvale, CA

    Description

    ASIC Formal Verification Engineer, Google Cloud - Google Careers

    Careers

    Careers

    Skip navigation links

    homehome

    Home

    Home

    work_outlinework_outline

    Jobs

    Jobs

    noogler_hatnoogler_hat

    Students

    Students

    googlegoogle

    How we work

    How we work

    handymanhandyman

    How we hire

    How we hire

    person_outlineperson_outline

    Your career

    Your career

    help_outline

    Help link

    feedback

    Send feedback

    more_vert

    • Help
    • Send Feedback

    Sign in

    Careers

    Careers

    homeHome

    work_outlineJobs

    expand_more

    noogler_hatStudents

    expand_more

    googleHow we work

    expand_more

    handymanHow we hire

    expand_more

    person_outlineYour career

    expand_more

    job details

    arrow_back

    Back to jobs search

    Jobs search results

    3,469 jobs matched

    • Account Strategist, Mid-Market Sales, Google Customer Solutions (Urdu, English)

    Singapore

    • Engagement Manager, gTech Ads (English, Urdu)

    Singapore

    • Data Center Operations Technician

    Fort Wayne, IN, USA

    • Staff Software Developer, Embedded Systems/Firmware

    Waterloo, ON, Canada

    • Product Manager, AI Platform Operations and Tooling

    Hyderabad, Telangana, India; Bengaluru, Karnataka, India

    • Senior Software Engineer, Site Reliability Engineering, Vertex AI 3P SRE

    Warsaw, Poland

    • Regulatory and Litigation Counsel, APAC Defense

    Seoul, South Korea

    • Principal Engineer, AI and Business Intelligence, Looker

    Kirkland, WA, USA

    • Supplier Quality Engineer, Memory

    Taipei, Taiwan

    • Corporate Development Associate

    Mountain View, CA, USA; San Francisco, CA, USA

    • Forward Deployed Engineer IV, GenAI, Google Cloud

    Austin, TX, USA; Chicago, IL, USA; +24 more; +23 more

    • ASIC Design Verification Engineer, Digital Signal Processing

    Sunnyvale, CA, USA

    • Senior Product Engineer, Machine Learning Accelerators

    Sunnyvale, CA, USA

    • Facilities Technician Developmental Program (Fixed-Term Contract) (English)

    Midlothian, TX, USA

    • Manufacturing Structural Test Development Engineer

    Sunnyvale, CA, USA

    • Account Manager, Travel

    Chicago, IL, USA

    • Software Engineering Manager II, Engineering Productivity, Google Cloud Platforms

    Seattle, WA, USA

    • Senior UX Engineer, Chrome AI Innovation, Disco

    Seattle, WA, USA; Mountain View, CA, USA

    • Senior Applied AI/ML Engineer

    Bengaluru, Karnataka, India

    • DV360 Product Specialist, Product and Client Solutions

    São Paulo, State of São Paulo, Brazil

    Showing 1 to 20 of 3469 rows

    1‑20 of 3469

    navigate_next

    Follow Life at Google on

    *

    More about us

    About usopen_in_newContact usopen_in_newPressopen_in_new

    Related Information

    Investor relationsopen_in_newBlogopen_in_new

    Equal Opportunity

    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.

    More about us

    expand_more

    Related information

    expand_more

    Equal opportunity

    expand_more

    Privacyopen_in_newApplicant & Candidate Privacyopen_in_newTermsopen_in_newManage cookies

    helpHelpopen_in_new

    arrow_back

    Back to jobs search

    ASIC Formal Verification Engineer, Google Cloud

    share

    • linkCopy link
    • emailEmail a friend

    corporate_fareGoogleplaceSunnyvale, CA, USA

    bar_chartMid

    Mid

    Experience driving progress, solving problems, and mentoring more junior team members; deeper expertise and applied knowledge within relevant area.

    Apply

    share

    • linkCopy link
    • emailEmail a friend

    Minimum qualifications:

    • Bachelor"s degree in Electrical Engineering, Computer Engineering, Computer Science, or a related field, or equivalent practical experience.
    • 4 years of experience with formal and design verification.
    • Experience with SystemVerilog or Verilog.
    • Experience working with one or more formal verification tools (e.g., Jasper, VC Formal, Questa Formal, 360-DV).

    Preferred qualifications:

    • Master"s degree or PhD in Electrical Engineering, Computer Engineering or Computer Science.
    • 6 years of experience with industry standard tools, languages and methodologies relevant to the development of silicon-based Integrated Circuits (ICs) and chips.
    • Experience with scripting languages.
    • Excellent communication and collaboration skills.

    About the job

    In this role, you'll work to shape the future of AI/ML hardware acceleration. You will have an opportunity to drive cutting-edge TPU (Tensor Processing Unit) technology that powers Google"s most demanding AI/ML applications. You'll be part of a team that pushes boundaries, developing custom silicon solutions that power the future of Google"s TPU. You"ll contribute to the innovation behind products loved by millions worldwide, and leverage your design and verification expertise to verify complex digital designs, with a specific focus on TPU architecture and its integration within AI/ML-driven systems.

    As an ASIC Formal Verification Engineer, you will contribute formal verification expertise to verify the digital designs, with a specific focus on TPU architecture and its integration within AI/ML- driven systems. You will be part of a team developing ASICs used to accelerate computation in data centers. You will have responsibilities in areas such as project definition, formal verification, and silicon bringup. You will participate in the architecture, documentation, and verification of the next generation of data center accelerators.

    The AI and Infrastructure team is redefining what's possible. We empower Google customers with breakthrough capabilities and insights by delivering AI and Infrastructure at unparalleled scale, efficiency, reliability and velocity. Our customers include Googlers, Google Cloud customers, and billions of Google users worldwide.

    We"re the driving team behind Google"s groundbreaking innovations, empowering the development of our cutting-edge AI models, delivering unparalleled computing power to global services, and providing the essential platforms that enable developers to build the future. From software to hardware our teams are shaping the future of world-leading hyperscale computing, with key teams working on the development of our TPUs, Vertex AI for Google Cloud, Google Global Networking, Data Center operations, systems research, and much more.

    Individual pay is determined by factors including job-related skills, experience, and relevant education or training.

    US: $138000 - $197000 (USD) + 15% bonus target + equity + benefits

    Learn more about benefits at Google.

    Responsibilities

    • Plan the formal verification strategy, create the properties and constraints for the digital design blocks.
    • Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
    • Resolve difficult to verify properties.
    • Contribute improvements to methodologies to enhance formal verification results.
    • 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.

    Follow Life at Google on

    *

    More about us

    About usopen_in_newContact usopen_in_newPressopen_in_new

    Related Information

    Investor relationsopen_in_newBlogopen_in_new

    Equal Opportunity

    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.

    More about us

    expand_more

    Related information

    expand_more

    Equal opportunity

    expand_more

    Privacyopen_in_newApplicant & Candidate Privacyopen_in_newTermsopen_in_newManage cookies

    helpHelpopen_in_new

    Follow Life at Google on

    *

    More about us

    About usopen_in_newContact usopen_in_newPressopen_in_new

    Related Information

    Investor relationsopen_in_newBlogopen_in_new

    Equal Opportunity

    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.

    More about us

    expand_more

    Related information

    expand_more

    Equal opportunity

    expand_more

    Privacyopen_in_newApplicant & Candidate Privacyopen_in_newTermsopen_in_newManage cookies

    helpHelpopen_in_new

    Google apps

    Main menu

    Similar Jobs

    See more jobs