Junior CPU Formal Verification Engineer

Global technology leader specializing in internet-related services and products.
$NaN
Embedded
Entry-Level Software Engineer
In-Person
5,000+ Employees
AI · Enterprise SaaS

Description For Junior CPU Formal Verification Engineer

Google's ML, Systems & Cloud AI (MSCA) organization is seeking a Junior CPU Formal Verification Engineer to join their diverse team. This role is perfect for recent graduates looking to make an impact in hardware development. You'll be working on custom silicon solutions that power Google's direct-to-consumer products, contributing to innovations that serve millions of users worldwide.

The position involves working with cutting-edge hardware verification technologies, focusing on formal verification of CPU components. You'll be part of the team that designs, implements, and manages the hardware infrastructure for all Google services (Search, YouTube, etc.) and Google Cloud. The role combines technical expertise in formal verification with practical hardware development experience.

As a Junior CPU Formal Verification Engineer, you'll work with state-of-the-art formal verification tools, develop verification strategies, and contribute to methodology improvements. The position offers an opportunity to work on complex technical challenges while ensuring the security, efficiency, and reliability of Google's hardware infrastructure.

The role is based in either Tel Aviv or Haifa, Israel, offering the chance to work with world-class engineers in Google's hardware division. You'll be contributing to projects that shape the future of hyperscale computing and working on technologies that power Google Cloud's Vertex AI, the leading AI platform for bringing Gemini models to enterprise customers.

This is an excellent opportunity for someone starting their career in hardware verification, offering exposure to advanced technologies and the chance to work on projects with global impact. The position combines the excitement of working with cutting-edge technology with the stability and resources of one of the world's leading tech companies.

Last updated a day ago

Responsibilities For Junior CPU Formal Verification Engineer

  • 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

Requirements For Junior CPU Formal Verification Engineer

  • 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)
  • English proficiency is required

Interested in this job?

Jobs Related To Google Junior CPU Formal Verification Engineer

Hardware System Integration Engineer

Hardware System Integration Engineer position at Google, focusing on custom silicon solutions and system integration for consumer products.

Silicon Design Verification Engineer II, Platform and Devices

Silicon Design Verification Engineer II position at Google, focusing on hardware verification for consumer products with competitive compensation and benefits.

ASIC Design Engineer

ASIC Design Engineer role at Google, developing custom silicon solutions for consumer products, focusing on RTL development and hardware innovation.

CPU RTL Design Engineer, University Graduate

Entry-level CPU RTL Design Engineer position at Google, focusing on custom silicon development for consumer products with competitive compensation and benefits.

Software Engineer II, Embedded Systems

Software Engineer II position at Google focusing on embedded systems development for charging solutions and battery management systems.