Junior CPU Formal Verification Engineer

2 Months ago • 1-2 Years • Research Development

Job Summary

Job Description

This Junior CPU Formal Verification Engineer role at Google involves contributing to the development of custom silicon solutions for Google's direct-to-consumer products. Responsibilities include planning formal verification strategies, creating properties and constraints for digital design blocks, utilizing formal verification tools, improving methodologies, resolving complex verification properties, and architecting reusable components. The ideal candidate will have experience with main interconnects, DMA, controllers, power management, and temporal assertion languages (SVA or PSL). The position is part of a team innovating hardware experiences, focusing on performance, efficiency, and integration.
Must have:
  • Bachelor's degree in EE/CS or equivalent
  • Experience with main interconnects, DMA, controllers, power management
  • Experience with temporal assertion languages (SVA/PSL)
  • Plan formal verification strategy
  • Utilize formal property verification tools
Good to have:
  • Master's/PhD in EE/CS
  • Experience with formal verification tools (JasperGold, VC Formal, Questa Formal, or DV360)

Job Details


Minimum qualifications:

  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
  • Experience working in main interconnects, Direct Memory Access (DMA), controllers, and power management.
  • Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL).

Preferred qualifications:

  • Master's degree or PhD in Electrical Engineering or Computer Science, or a related field.
  • Experience working with one or more formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, or DV360).

About the job

Be part of a diverse team that pushes boundaries, developing custom silicon solutions that power the future of Google's direct-to-consumer products. You'll contribute to the innovation behind products loved by millions worldwide. Your expertise will shape the next generation of hardware experiences, delivering unparalleled performance, efficiency, and integration.

The ML, Systems & Cloud AI (MSCA) organization at Google designs, implements, and manages the hardware, software, machine learning, and systems infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. Our end users are Googlers, Cloud customers and the billions of people who use Google services around the world.

We prioritize security, efficiency, and reliability across everything we do - from developing our latest TPUs to running a global network, while driving towards shaping the future of hyperscale computing. Our global impact spans software and hardware, including Google Cloud’s Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

Responsibilities

  • Plan the formal verification strategy and create the properties and constraints for digital design blocks.
  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties.
  • Contribute improvements to methodologies to enhance formal verification results. Resolve difficult to verify properties.
  • Architect and implement reusable formal verification components.

Similar Jobs

Tempo games - Sr. 2D Artist

Tempo games

United States (Remote)
7 Months ago
Thales - Discipline Manager (Functional Engineering Manager)

Thales

Singapore (On-Site)
1 Month ago
bytedance - Senior Software Development Engineer - Cloud Native Databases

bytedance

San Jose, California, United States (On-Site)
6 Months ago
hogarth - Image Content (Geo Alt) Producer

hogarth

Sunnyvale, California, United States (Hybrid)
1 Month ago
Trend Micro - Public Sector Account Manager

Trend Micro

United Kingdom (On-Site)
1 Month ago
Tesla - Process Engineer Commissioning/Optimization

Tesla

Prüm, Rhineland-Palatinate, Germany (On-Site)
4 Months ago
Google - Senior Platform System Architect, Silicon

Google

New Taipei, New Taipei City, Taiwan (On-Site)
2 Months ago
Google - Software Engineer, PhD, Early Career, Campus, Embedded Systems and Firmware, 2025 start

Google

Atlanta, Georgia, United States (On-Site)
8 Months ago
NVIDIA - Senior Firmware PHY Verification Engineer

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
5 Months ago
Google - CPU Design Verification Engineer

Google

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
2 Months ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Blink Health - IT Support Technician

Blink Health

New York, United States (On-Site)
1 Month ago
GoTo - Senior Full-Stack Engineer

GoTo

Budapest, Hungary (Remote)
1 Month ago
Poppulo - Principal DevOps Engineer

Poppulo

Bengaluru, Karnataka, India (Hybrid)
2 Months ago
Trek - Manufacturing Manager

Trek

Waterloo, Wisconsin, United States (On-Site)
4 Months ago
Amanotes - Senior Level Designer (New Games - Hybrid Casual Games)

Amanotes

Ho Chi Minh City, Ho Chi Minh City, Vietnam (On-Site)
3 Months ago
London stock Exchange - Technical Business Analyst

London stock Exchange

St. Louis, Missouri, United States (On-Site)
1 Month ago
Hyperhug - Lead Game Designer

Hyperhug

(Remote)
3 Months ago
Tencent - 3D Artist

Tencent

Osaka, Osaka, Japan (On-Site)
5 Months ago
Evolution  - Customer Service - Japanese Speaking Game Presenter (No experience required)

Evolution

Burnaby, British Columbia, Canada (On-Site)
9 Months ago

Get notifed when new similar jobs are uploaded

Jobs in Tel Aviv-Yafo, Tel Aviv District, Israel

Varonis Internal - Commission Administrator-Student Position

Varonis Internal

Herzliya, Tel Aviv District, Israel (Hybrid)
1 Month ago
Varonis Internal - Engineering Group Leader - DAM

Varonis Internal

Herzliya, Tel Aviv District, Israel (Hybrid)
1 Month ago
Vimeo - Software Engineer, AI

Vimeo

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
2 Months ago
fairmatic - Senior Full Stack Engineer

fairmatic

Tel Aviv-Yafo, Tel Aviv District, Israel (Hybrid)
8 Months ago
Scopely - Manager - Live Ops Stumble Guys!

Scopely

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
2 Months ago
Crowd Strick - Sr. Software Engineer - Cloud/Python

Crowd Strick

Tel Aviv-Yafo, Tel Aviv District, Israel (Hybrid)
1 Month ago
Playtika - Talent Acquisition Specialist

Playtika

Israel (On-Site)
7 Months ago
Workato - Senior Technical Consultant

Workato

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Month ago
Tesla - Mobile Service Technician

Tesla

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
4 Months ago
Unity - Senior Data Product Manager

Unity

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
2 Months ago

Get notifed when new similar jobs are uploaded

Research Development Jobs

rivos - Senior Memory Design Engineer

rivos

Portland, Oregon, United States (Hybrid)
8 Months ago
NVIDIA - Signal and Power Integrity Engineer (RDSS Intern)

NVIDIA

Taipei City, Taiwan (On-Site)
5 Months ago
Tesla - Duales Studium Automation Engineering (B.Eng.)

Tesla

Brandenburg, Germany (On-Site)
4 Months ago
Riot Games - Staff Software Engineer, Unreal Tools - MMO

Riot Games

Dublin, County Dublin, Ireland (On-Site)
7 Months ago
Assystems - Site Mechanical Engineer

Assystems

Bagalkote, Karnataka, India (On-Site)
8 Months ago
Google - Software Engineer, Site Reliability Engineering, Campus

Google

Sydney, New South Wales, Australia (On-Site)
2 Months ago
Cadence - Principal Cloud Engineer

Cadence

Noida, Uttar Pradesh, India (On-Site)
9 Months ago
Google - Software Engineer, PhD, Early Career, Campus, Embedded Systems and Firmware, 2025 start

Google

Mountain View, California, United States (On-Site)
8 Months ago
Google - Hardware Reliability Engineer

Google

Taipei City, Taiwan (On-Site)
2 Months ago
Google - Technical Lead, Firmware, Pixel Systems Power

Google

Hsinchu County, Taiwan (On-Site)
2 Months ago

Get notifed when new similar jobs are uploaded

About The Company

Atlanta, Georgia, United States (On-Site)

London, England, United Kingdom (On-Site)

Taipei City, Taiwan (On-Site)

Kirkland, Washington, United States (On-Site)

Sunnyvale, California, United States (On-Site)

Sunnyvale, California, United States (On-Site)

Sunnyvale, California, United States (On-Site)

Kraków, Lesser Poland Voivodeship, Poland (On-Site)

View All Jobs

Get notified when new jobs are added by Google

Level Up Your Career in Game Development!

Transform Your Passion into Profession with Our Comprehensive Courses for Aspiring Game Developers.

Job Common Plug