Senior Edge‑AI SoC Formal Verification Engineer

About the role

Google Cloud is looking for a senior engineer to lead formal verification efforts for edge‑AI System‑on‑Chip (SoC) designs. You will shape verification methodologies, embed AI tools, and ensure high‑quality silicon for Google’s consumer products.

Key responsibilities

• Pioneer and refine formal verification methodologies by embedding AI tools to improve verification accuracy.
• Plan the formal verification strategy and define properties and constraints for complex digital design blocks.
• Utilize formal property verification tools and closure techniques to verify properties and sign‑off blocks.
• Architect and implement reusable formal verification components across projects.

Required profile

• Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
• 8+ years of experience in formal verification, applying various techniques.
• Proven experience establishing formal verification methodologies and managing overall project verification processes.
• Experience collaborating on FPV with DV and design teams.
• Leadership of formal verification projects, defining strategy, test plans, and overseeing execution.
• Master's or PhD in Electrical Engineering or Computer Science (preferred).
• Familiarity with formal tools such as Jasper, VC‑Formal, and Rule‑Base (preferred).
• Understanding of formal verification algorithms (preferred).

Required skills

• Formal verification techniques
• Formal Property Verification (FPV)
• Jasper
• VC‑Formal
• Rule‑Base
• AI tools for verification