← All roles

ASIC Formal Verification Engineer, Google Cloud

Google
Apply on company site
Sunnyvale, CA, USA$138k - $197kFull-timePosted 1mo ago

About the role

ASIC Formal Verification Engineer role focused on shaping the future of AI/ML hardware acceleration through formal verification of TPU architecture and its integration within AI/ML-driven systems for data center accelerators.

Responsibilities

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

Qualifications

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

Skills

Required:Formal verificationSystemVerilog/Verilog
Last updated Oct 23, 2026. Interested? Apply on the company site.

About Google

Google Search homepage

llmtext-to-speechvoice-ai-stack
Company profileWebsite

More open roles at Google