Senior SoC Formal Verification Engineer

About the role

Google Cloud is building custom silicon for its server fleet in Israel. As a Senior SoC Formal Verification Engineer you will lead the formal verification of complex ASIC blocks, ensuring design intent is captured and verified before silicon tape‑out.

Key responsibilities

• Define and execute formal verification strategies for high‑performance digital blocks.
• Create and maintain temporal assertions using SystemVerilog Assertions (SVA) or Property Specification Language (PSL).
• Apply formal property verification tools to achieve closure and sign‑off on design blocks.
• Collaborate with design and verification engineers to translate architectural intent into verifiable properties.
• Develop reusable formal verification components and embed AI‑driven techniques to improve accuracy.
• Continuously refine methodologies and contribute to best‑practice documentation.

Required profile

• Bachelor’s degree in Electrical Engineering, Computer Science or related field (Master’s/PhD preferred).
• At least 10 years of experience with main interconnects, DMA, controllers, and power‑management designs.
• Proven experience with formal verification tools such as JasperGold, VC Formal, Questa Formal or 360‑DV.
• Hands‑on experience writing assertions in SVA or PSL.
• Understanding of formal verification algorithms and techniques.
• Proficiency in scripting languages, especially Python.

Required skills

• JasperGold
• VC Formal
• Questa Formal
• 360‑DV
• SystemVerilog Assertions (SVA)
• Property Specification Language (PSL)
• Python scripting

What we offer

• Equal‑opportunity workplace
• Affirmative‑action employer committed to diversity and inclusion