Jobs Courses Resources Companies Placements

Home >

Jobs >

CPU Formal Verification Engineer, Google Cloud

Google

Tel Aviv District, Israel (On-site)

CPU Formal Verification Engineer, Google Cloud

3 Months ago • All levels • Research & Development

Job Summary

Job Description

Google Cloud seeks a CPU Formal Verification Engineer to join their team in Tel Aviv or Haifa, Israel. Responsibilities include planning formal verification strategies, creating properties and constraints for digital design blocks, utilizing formal property verification tools, contributing to methodology improvements, resolving complex verification issues, and architecting reusable formal verification components. The ideal candidate possesses experience in main interconnects, DMA controllers, power management, and temporal assertion languages (SVA or PSL). Experience with formal verification tools like JasperGold, VC Formal, Questa Formal, or DV360 is preferred. The role involves developing custom silicon solutions for Google's direct-to-consumer products, contributing to innovation and shaping the next generation of hardware experiences.

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 verification tools

Good to have:

Master's or PhD in EE/CS
Experience with formal verification tools (JasperGold, VC Formal, Questa Formal, DV360)

1 skill required

1 skill required for this role

Add these skills to join the top 1% applicants for this job

innovation

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.

Behind everything our users see online is the architecture built by the Technical Infrastructure team to keep it running. From developing and maintaining our data centers to building the next generation of Google platforms, we make Google's product portfolio possible. We're proud to be our engineers' engineers and love voiding warranties by taking things apart so we can rebuild them. We keep our networks up and running, ensuring our users have the best and fastest experience possible.

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

Software Engineer - 3D World Generation Pipelines

Zoox

Foster City, California, United States (Hybrid)

• 5 Months ago

Senior Principal Technical Artist

Riot Games

Los Angeles, California, United States (On-Site)

• 5 Months ago

Senior Tools Programmer

Epic Games

Larkspur, California, United States (On-Site)

• 2 Months ago

Technical Animator

GIANTS Software

Brno, South Moravian Region, Czechia (On-Site)

• 5 Months ago

Service Manager

Tesla

Vienna, Vienna, Austria (On-Site)

• 1 Month ago

Software Engineering, Platform Modernization Engineering - L5

Netflix

Los Gatos, California, United States (On-Site)

• 2 Months ago

Applied Researcher, Cryptography Proof Systems

Fabric

London, England, United Kingdom (Remote)

• 5 Months ago

Silicon CAD Front End- Full time

Rivos

Bengaluru, Karnataka, India (On-Site)

• 5 Months ago

Principal Technical Producer - League Studio

Riot Games

Los Angeles, California, United States (On-Site)

• 3 Months ago

Electrical Engineer, Motor Design - Optimus

Tesla

Athens, Greece (On-Site)

• 1 Month ago

Get notifed when new similar jobs are uploaded

Similar Skill Jobs

Account Executive - SLED - NYC

Axinous

New York, New York, United States (Remote)

• 4 Weeks ago

Head of Public Policy, Philippines

ByteDance

Taguig, Metro Manila, Philippines (On-Site)

• 5 Months ago

Snr Partner Business Manager, Regional - Germany

Axinous

Germany (Remote)

• 4 Months ago

Senior Cloud Security Engineer

Interactive Brokers

Greenwich, Connecticut, United States (Hybrid)

• 5 Months ago

Technical Architect - MuleSoft

Salesforce

Tokyo, Japan (Remote)

• 3 Months ago

Gameplay Engineer - VR/Unity 6

Doge Labs, Inc

(Remote)

• 5 Months ago

Senior Business Development Manager/Director

Tencent

Tokyo, Japan (On-Site)

• 6 Months ago

Senior Software Architect, AI and HPC

NVIDIA

Santa Clara, California, United States (Remote)

• 1 Month ago

Open Position: Systems Software/Embedded Systems Engineer

Sony Interactive Entertainment

Tokyo, Japan (On-Site)

• 2 Months ago

Client Project Manager

Scientific Games

Alpharetta, Georgia, United States (Hybrid)

• 1 Month ago

Get notifed when new similar jobs are uploaded

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

Senior Optics Firmware Verification Engineer

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)

• 2 Months ago

Marketing Data Analyst

PLAYSTUDIOS

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)

• 2 Months ago

Unity Animator

Playtika

Israel (On-Site)

• 5 Months ago

Developer Support Engineer

Unity

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)

• 4 Months ago

Senior Game Economist

SuperPlay

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)

• 1 Month ago

Manager, Chip Design Verification

NVIDIA

Tel Aviv-Yafo, Tel Aviv District, Israel (On-Site)

• 1 Month ago

Service Technician

Tesla

Karmiel, North District, Israel (On-Site)

• 1 Month ago

Senior Manager, NPI System Product Engineering

NVIDIA

Yokne'am Illit, North District, Israel (On-Site)

• 2 Months ago

Research Scientist Intern, Generative AI (PhD)

Senior Monetization Manager - Disney

SuperPlay

Tel Aviv District, Israel (On-Site)

• 3 Months ago

Get notifed when new similar jobs are uploaded

Research & Development Jobs

Research Intern - Security Research Group

Microsoft

Redmond, Washington, United States (On-Site)

• 3 Months ago

Bachelor/Master Thesis: Research and Development in Laser Technology

Tesla

Prüm, Rhineland-Palatinate, Germany (On-Site)

• 1 Month ago

Software Engineer - GPU performance

CynLr

Bengaluru, Karnataka, India (On-Site)

• 5 Months ago

Research Scientist Graduate (Foundation Model, Vision and Language) - 2025 Start (PhD)

ByteDance

San Jose, California, United States (On-Site)

• 5 Months ago

Senior Optical MSDV Hardware Engineer

NVIDIA

Santa Clara, California, United States (On-Site)

• 2 Months ago

Staff Software Engineer, Machine Learning

Match Group

Palo Alto, California, United States (Hybrid)

• 5 Months ago

[PUBG IP Franchise] 게임 제작관리 PM (5년 이상)

Krafton

Seoul, South Korea (On-Site)

• 5 Months ago

Research Intern - Cloud Systems Reliability

Microsoft

Redmond, Washington, United States (On-Site)

• 3 Months ago

ASIC Design Engineer

NVIDIA

Bengaluru, Karnataka, India (Hybrid)

• 1 Month ago

Algorithm Engineer Intern (Multimedia Lab - Video Processing and Enhancement)

ByteDance

San Jose, California, United States (On-Site)

• 1 Month ago

Get notifed when new similar jobs are uploaded

About The Company

Google

290 Active Jobs

A problem isn't truly solved until it's solved for all. Googlers build products that help create opportunities for everyone, whether down the street or across the globe. Bring your insight, imagination and a healthy disregard for the impossible. Bring everything that makes you unique. Together, we can build for everyone.

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.

A global community of game builders. Helping people upskill and land jobs in the best gaming studios.

Company

Key Links

hello@outscal.com

Made in INDIA 💛💙

CPU Formal Verification Engineer, Google Cloud

Job Summary

Job Description

1 skill required

1 skill required for this role

Job Details

Minimum qualifications:

Preferred qualifications:

About the job

Responsibilities

Similar Jobs

Software Engineer - 3D World Generation Pipelines

Senior Principal Technical Artist

Senior Tools Programmer

Technical Animator

Service Manager

Software Engineering, Platform Modernization Engineering - L5

Applied Researcher, Cryptography Proof Systems

Silicon CAD Front End- Full time

Principal Technical Producer - League Studio

Electrical Engineer, Motor Design - Optimus

Similar Skill Jobs

Account Executive - SLED - NYC

Head of Public Policy, Philippines

Snr Partner Business Manager, Regional - Germany

Senior Cloud Security Engineer

Technical Architect - MuleSoft

Gameplay Engineer - VR/Unity 6

Senior Business Development Manager/Director

Senior Software Architect, AI and HPC

Open Position: Systems Software/Embedded Systems Engineer

Client Project Manager

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

Senior Optics Firmware Verification Engineer

Marketing Data Analyst

Unity Animator

Developer Support Engineer

Senior Game Economist

Manager, Chip Design Verification

Service Technician

Senior Manager, NPI System Product Engineering

Research Scientist Intern, Generative AI (PhD)

Senior Monetization Manager - Disney

Research & Development Jobs

Research Intern - Security Research Group

Bachelor/Master Thesis: Research and Development in Laser Technology

Software Engineer - GPU performance

Research Scientist Graduate (Foundation Model, Vision and Language) - 2025 Start (PhD)

Senior Optical MSDV Hardware Engineer

Staff Software Engineer, Machine Learning

[PUBG IP Franchise] 게임 제작관리 PM (5년 이상)

Research Intern - Cloud Systems Reliability

ASIC Design Engineer

Algorithm Engineer Intern (Multimedia Lab - Video Processing and Enhancement)

About The Company

Web Solutions Engineer, University Graduate, 2025

Data Center Operations Manager, Server Operations (English, Dutch)

Staff Software Engineer, Site Reliability Engineering, Google Cloud

Early Career Software Engineer, Black Community Inclusion

Account Manager, People with Disabilities (English, Portuguese)

Software Engineer, Black Community Inclusion

Software Engineer III, Site Reliability Engineering, Google Cloud

Software Engineer, People with Disabilities

Early Career Software Engineer, People with Disabilities

Staff Software Engineer, Google Cloud

Level Up Your Career in Game Development!