ASIC Formal Verification Engineer for TPU AI Hardware

Google

Sunnyvale (CA)

On-site

USD 138,000 - 197,000

Full time

5 days ago
Be an early applicant
Application generator

Get a reply from this employer — a resume and cover letter tailored to exactly what they’re hiring for.

Get past ATS filters

Benefits offered by this job

Equity
Benefits

Job summary

Google is seeking an ASIC Formal Verification Engineer in Sunnyvale to shape AI/ML hardware acceleration. You will verify TPU architecture and its integration into AI/ML systems, contribute to project definitions, verification strategies, and silicon bring-up.

You’ll work with a team enabling data-center accelerators, implement formal verification for complex digital designs, and influence next-gen data-center technology at Google.

Qualifications

  • Bachelor's degree or equivalent practical experience.
  • 4 years of formal and design verification experience.
  • Experience with SystemVerilog or Verilog.
  • Experience with one or more formal verification tools (e.g., Jasper, VC Formal, Questa Formal, 360-DV).

Responsibilities

  • Plan the formal verification strategy for digital design blocks.
  • Create properties and constraints for verification.
  • Verify properties using formal verification tools and methods.
  • Develop reusable formal verification components and improvements to methodologies.
  • Support silicon bring-up and data-center accelerator verification.

Skills

Formal verification experience
SystemVerilog/Verilog
Verification tooling

Education

Bachelor's degree in EE/CE/CS or related, or equivalent
Master's or PhD in EE/CE/CS (preferred)

Tools

Jasper
VC Formal
Questa Formal
360-DV

Job description

Google is seeking an ASIC Formal Verification Engineer in Sunnyvale to shape AI/ML hardware acceleration. You will verify TPU architecture and its integration into AI/ML systems, contribute to project definitions, verification strategies, and silicon bring-up.

You’ll work with a team enabling data-center accelerators, implement formal verification for complex digital designs, and influence next-gen data-center technology at Google.

Get your free, confidential resume review.

or drag and drop your file here.

Similar jobs

Similar jobs worth comparing

TPU ASIC Formal Verification Engineer – AI Hardware
TPU ASIC Formal Verification Engineer – AI Hardware

Google Inc. • Sunnyvale (CA)

On-site
USD 138,000 - 197,000
TPU ASIC Formal Verification Engineer
TPU ASIC Formal Verification Engineer

Google • Sunnyvale (CA)

On-site
USD 163,000 - 237,000
Senior ASIC Verification Engineer for AI/ML Hardware (TPU)
Senior ASIC Verification Engineer for AI/ML Hardware (TPU)

Google • Sunnyvale (CA)

On-site
USD 163,000 - 236,000
Senior ASIC Verification Engineer for AI/ML TPU Hardware
Senior ASIC Verification Engineer for AI/ML TPU Hardware

Socket.dev • Sunnyvale (CA)

On-site
USD 142,000 - 236,000
Senior ASIC Verification Engineer for AI/TPU Acceleration
Senior ASIC Verification Engineer for AI/TPU Acceleration

Google • Sunnyvale (CA)

On-site
USD 163,000 - 236,000
Bonus target
Equity
Benefits
TPU Compute ASIC Verification Engineer (AI Hardware)
TPU Compute ASIC Verification Engineer (AI Hardware)

Google • Sunnyvale (CA)

On-site
USD 138,000 - 197,000
Senior ASIC Verification Engineer - TPU AI Hardware
Senior ASIC Verification Engineer - TPU AI Hardware

Google • Sunnyvale (CA)

On-site
USD 163,000 - 236,000
Equity compensation
Bonus target
ML-TPU ASIC Verification Engineer
ML-TPU ASIC Verification Engineer

Google • Sunnyvale (CA)

On-site
USD 127,000 - 187,000
ASIC Formal Verification Engineer, TPU Compute
ASIC Formal Verification Engineer, TPU Compute

Google • Sunnyvale (CA)

On-site
USD 163,000 - 237,000
DSP/ASIC Verification Engineer—AI Accelerators
DSP/ASIC Verification Engineer—AI Accelerators

Google • Sunnyvale (CA)

On-site
USD 163,000 - 236,000
Equity
Benefits