Junior CPU Formal Verification Engineer

1 Month ago • All levels • Research & Development

Job Summary

Job Description

This Junior CPU Formal Verification Engineer role at Google involves planning formal verification strategies, creating properties and constraints for digital design blocks, and utilizing formal property verification tools. Responsibilities include verifying properties, improving methodologies, resolving complex verification issues, and architecting reusable components. The position contributes to developing custom silicon solutions for Google's direct-to-consumer products, impacting the performance and efficiency of hardware used in products loved by millions worldwide. The role requires expertise in main interconnects, DMA controllers, power management, and temporal assertion languages (SVA or PSL).
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)
  • Formal verification tool experience (preferred)
  • Plan verification strategy, create properties
  • Utilize formal verification tools
  • Improve methodologies, resolve complex issues
  • Architect reusable components
Good to have:
  • Master's or 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

CrowdStricke - Platform Professional Services Consultant

CrowdStricke

(Remote)
2 Weeks ago
Ion - Product Designer - Graduate Development Program

Ion

Pisa, Tuscany, Italy (Hybrid)
2 Months ago
Tencent - Tencent Cloud - Associate Account Representative (Sales Trainee Program)

Tencent

Bangkok, Bangkok, Thailand (On-Site)
3 Months ago
bounteous - Senior Product Owner - BOT

bounteous

India (Remote)
7 Months ago
quience - Customer Service Training Specialist

quience

United States (Remote)
1 Month ago
Tesla - Constructor

Tesla

Rhineland-Palatinate, Germany (On-Site)
3 Months ago
NVIDIA - Senior Chip Design Engineer

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (Hybrid)
2 Months ago
rivos - SOC Design Verification - Full-time

rivos

Bengaluru, Karnataka, India (Hybrid)
7 Months ago
Google - Software Engineer III, Education and Activation, Core

Google

Mexico City, Mexico City, Mexico (On-Site)
1 Month ago
NVIDIA - Senior Emulation Power Engineer

NVIDIA

Canada (On-Site)
3 Months ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Journee - Lead Engineer, Cloud Infrastructure

Journee

(Remote)
2 Months ago
Universal Music - Coordinator, NA Royalty

Universal Music

Franklin, Tennessee, United States (On-Site)
2 Months ago
Version1 - Service Desk L2 Analyst

Version1

Bengaluru, Karnataka, India (Hybrid)
1 Month ago
Scopely - Head of Workplace & Facilities, EMEA

Scopely

Spain (On-Site)
7 Months ago
bytedance - Senior Optical System Engineer

bytedance

San Jose, California, United States (On-Site)
2 Months ago
Evolution  - Game Presenter - Afternoon Shift

Evolution

Yerevan, Yerevan, Armenia (On-Site)
10 Months ago
hogarth - Graphic Production Artist

hogarth

Sunnyvale, California, United States (Hybrid)
1 Week ago
NVIDIA - Senior Silicon Security Architect

NVIDIA

United Kingdom (Remote)
1 Month ago
Interactive Brokers - Information Security Controls Manager

Interactive Brokers

Greenwich, Connecticut, United States (Hybrid)
2 Weeks ago
Riot Games - Esports Production Manager, Regional Content Services

Riot Games

Mexico City, Mexico City, Mexico (On-Site)
7 Months ago

Get notifed when new similar jobs are uploaded

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

Playtika - Finance system specialist

Playtika

Israel (On-Site)
5 Months ago
Play Perfect - Lead Monetization Manager

Play Perfect

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
2 Weeks ago
NVIDIA - Senior GTM Program Manager

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)
1 Month ago
SciPlay - Senior User Acquisition Manager

SciPlay

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

Google

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Month ago
SciPlay - Unity Developer

SciPlay

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Month ago
Motorola solutions - Principal Android Architect

Motorola solutions

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Week ago
Unity - Senior Product Data Manager (Maternity Cover)

Unity

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
1 Month ago
NVIDIA - Physical Design Full Chip STA Engineer

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)
3 Months ago
CyberArk - Principal Product Manager

CyberArk

Israel (Hybrid)
4 Weeks ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

NVIDIA - Senior Signal and Power Integrity Engineer - Hardware

NVIDIA

Canada (On-Site)
1 Month ago
bytedance - Site Reliability Engineer, ML System - Foundation Model

bytedance

Seattle, Washington, United States (On-Site)
2 Months ago
NVIDIA - Senior VLSI CAD Engineer

NVIDIA

Santa Clara, California, United States (On-Site)
1 Month ago
Tencent - Software Engineering Associate 104534

Tencent

Singapore (On-Site)
5 Months ago
NVIDIA - DFX Software Engineer (RDSS Intern)

NVIDIA

Taipei City, Taiwan (On-Site)
4 Months ago
NVIDIA - GPU Verification Architect

NVIDIA

Canada (On-Site)
3 Months ago
W Beyond   - Embedded C

W Beyond

Bengaluru, Karnataka, India (On-Site)
8 Months ago
Riot Games - Senior Software Engineer (Mobile C++) - Teamfight Tactics

Riot Games

Los Angeles, California, United States (On-Site)
3 Months ago
Hawk Eye Innovations - Computer Vision Engineer - Level 2

Hawk Eye Innovations

Budapest, Hungary (Hybrid)
2 Months ago
Google - Software Engineering Manager, People with Disabilities

Google

Belo Horizonte, State Of Minas Gerais, Brazil (On-Site)
6 Months ago

Get notifed when new similar jobs are uploaded

About The Company

London, England, United Kingdom (On-Site)

Bengaluru, Karnataka, India (On-Site)

Mountain View, California, United States (On-Site)

Bengaluru, Karnataka, India (On-Site)

Taipei City, Taiwan (On-Site)

Zürich, Zurich, Switzerland (On-Site)

Kirkland, Washington, United States (On-Site)

New Taipei, New Taipei City, Taiwan (On-Site)

Seattle, Washington, United States (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