← All roles

Senior Edge-AI SoC Formal Verification Engineer

Google
Apply on company site
RemotePosted 3d ago

About the role

Be part of a team that pushes boundaries, developing custom silicon solutions that power Google's direct-to-consumer products. Contribute to the innovation behind products loved by millions worldwide, shaping the next generation of hardware experiences with high performance and efficiency.

Responsibilities

  • Pioneer and refine formal verification methodologies by systematically embedding AI tools to optimize verification accuracy.
  • Plan the formal verification strategy and create the properties and constraints for complex digital design blocks.
  • Utilize formal property verification tools combined with formal verification closure techniques to verify properties and apply sign-off to blocks.
  • Architect and implement reusable formal verification components.

Qualifications

  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
  • 8 years of experience in Formal Verification field, utilizing different Formal Verification techniques.
  • Experience in establishing formal verification methodologies, combined with overall project verification process.
  • Experience in deploying FPV collaboration with different teams (DV, Design).
  • Experience in leading FV projects, defining overall FPV strategy and test-plans for multiple blocks, while overseeing quality and execution for different engineers working on the project.

Skills

Required:Formal verificationFPV methodologyCollaboration with DV/Design teamsSign-off for blocks
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