ASIC Formal Verification Engineer, TPU Compute

Google LLC

  • Sunnyvale, CA
  • 30+ days ago
    Want to know if you’re a fit?
    Upload your resume and let our AI show you.

    Skills

    • ASIC (Application Specific Integrated Circuit)unmatched
    • ASIC Designunmatched
    • ASIC Verificationunmatched
    • Alliance/Partner Managementunmatched
    • Artificial Intelligence (AI)unmatched
    • Cadenceunmatched
    • Cloud Computingunmatched
    • Computer Architectureunmatched
    • Computer Engineeringunmatched
    • Computer Scienceunmatched
    • Consultingunmatched
    • Continuous Integrationunmatched
    • Design Verificationunmatched
    • Documentationunmatched
    • Electrical Engineeringunmatched
    • Engineering Managementunmatched
    • English Languageunmatched
    • Equal Employment Opportunity (EEO)unmatched
    • Field Salesunmatched
    • Financial Servicesunmatched
    • Formal Verificationunmatched
    • Game Softwareunmatched
    • Geneticsunmatched
    • Graphic Designunmatched
    • IP (Internet Protocol)unmatched
    • Independent Software Vendor (ISV)unmatched
    • Industry Standardsunmatched
    • Integrated Circuits (ICs)unmatched
    • Japanese Languageunmatched
    • Logic Designunmatched
    • Metricsunmatched
    • Network Operations Centerunmatched
    • Network Protocolsunmatched
    • Network Topologyunmatched
    • Operations Researchunmatched
    • Project/Program Managementunmatched
    • Public Affairsunmatched
    • Recruiting/Staffing Agencyunmatched
    • Regulatory Requirementsunmatched
    • Reporting Dashboardsunmatched
    • Salesunmatched
    • Sales Managementunmatched
    • Silicon Bringupunmatched
    • Software Engineeringunmatched
    • System-on-a-Chip (SoC)unmatched
    • SystemVerilogunmatched
    • Technical Leadershipunmatched
    • Technical Supportunmatched
    • Testingunmatched
    • Verification Engineeringunmatched
    • Verification Plansunmatched
    • Vietnamese Languageunmatched

    Description

    ASIC Formal Verification Engineer, TPU Compute - 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,435 jobs matched

    • Technical Account Manager, Google Cloud Consulting, Financial Services

    New York, NY, USA

    • Game Designer, Games, Inception, DeepMind

    London, UK

    • Forward Deployed Engineer IV, GenAI, Google Cloud

    San Francisco, CA, USA; Atlanta, GA, USA; +24 more; +23 more

    • Customer Engineer II, Platform, Strategic AI and Independent Software Vendor, Google Cloud

    Cambridge, MA, USA

    • Director, Business Intelligence

    Sunnyvale, CA, USA

    • Mechanical Technician (Servicetechniker/Wartungstechniker) (German)

    Kronstorf, Austria

    • Security Sales Specialist, Google Cloud (English, Japanese)

    Tokyo, Japan

    • Regional Lead, Public Affairs

    Atlanta, GA, USA; Reston, VA, USA; +2 more; +1 more

    • Sales Manager, Mid-Market Sales, Google Customer Solutions (English, Japanese)

    Tokyo, Japan

    • EHS Program Manager

    Paris, France

    • Data and AI Consultant

    Johannesburg, South Africa

    • Staff Data Scientist, Product

    Kirkland, WA, USA; Sunnyvale, CA, USA; +2 more; +1 more

    • Customer Engineering Manager, Practice, Google Cloud

    Bengaluru, Karnataka, India; Mumbai, Maharashtra, India; +2 more; +1 more

    • Field Sales Representative, Google Cloud

    Hong Kong

    • Research Data Scientist, Cloud Product Analytics

    Sunnyvale, CA, USA

    • Software Engineer III, Fuschia Connectivity Drivers

    San Francisco, CA, USA; New York, NY, USA

    • Strategic Partnerships Manager, Apps/Gaming (Vietnamese, English)

    Ho Chi Minh, Vietnam

    • Data Architect, Deutsche Borse Delivery Team, Google Cloud

    Frankfurt am Main, Germany; Munich, Germany; +2 more; +1 more

    • Software Engineering Manager II, Google Cloud

    Bengaluru, Karnataka, India

    • GECX AI Sales Specialist, Google Cloud

    Tokyo, Japan

    Showing 1 to 20 of 3435 rows

    1‑20 of 3435

    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, TPU Compute

    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.

    • 8 years of experience in silicon development or ASIC/SoC design.

    • Experience with SystemVerilog Assertions (SVA) and formal verification methods.

    Preferred qualifications:

    • Master"s degree or PhD in Electrical Engineering, Computer Engineering, or Computer Science with an emphasis on computer architecture.
    • 10 years of experience with industry standard tools, languages, and methodologies relevant to the development of silicon-based ICs and chips.
    • Experience with one or more formal verification platforms (e.g., Cadence Jasper, Synopsys VC Formal, or Siemens Questa Formal).
    • Experience in formal verification applications such as data-path verification, sequential equivalence checking, and connectivity checking.
    • Experience in formally proving correctness of arithmetic units such as floating point adders and multipliers.
    • Experience working with schedulers, NOCs and networking topologies, protocols (AXI/AMBA).

    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"ll contribute formal verification expertise to verify complex 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 force 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.

    The US base salary range for this full-time position is $163,000-$237,000 + bonus + equity + benefits. Our salary ranges are determined by role, level, and location. Within the range, individual pay is determined by work location and additional factors, including job-related skills, experience, and relevant education or training. Your recruiter can share more about the specific salary range for your preferred location during the hiring process.

    Please note that the compensation details listed in US role postings reflect the base salary only, and do not include bonus, equity, or benefits. Learn more about benefits at Google.

    Responsibilities

    • Define and drive the formal verification sign-off approach across complex IP and SoC designs, utilizing advanced formal techniques.
    • Architect, develop, and deploy reusable formal testbenches, methodology flows, and high-coverage SystemVerilog Assertions (SVA) suites across multiple designs and projects.
    • Collaborate with architecture and design teams to translate complex system and IP specifications into comprehensive formal verification test plans.
    • Maintain and enhance continuous integration, regression flows, and dashboarding to provide formal verification status and sign-off metrics.
    • Guide logic designers and verification engineers to effectively incorporate formal methods into their workflows.

    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.

    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

    Numbers & Facts

    LocationSunnyvale, CA

    Similar Jobs