Senior SoC Formal Verification Engineer, Google Cloud
Google· Google Cloud
RemoteFull-timePosted 3w ago
About the role
Be part of a team that develops custom silicon solutions powering Google's direct-to-consumer products. Performs formal verification of design properties for complex ASIC designs and helps define verification methodologies.
Responsibilities
- Plan the formal verification strategy and create the properties and constraints for complex digital design blocks.
Qualifications
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
- 10 years of experience working on main interconnects, DMA, controllers, and power management.
- Experience with formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, 360-DV).
- Experience capturing design specifications in SystemVerilog Assertions (SVA) or Property Specification Language (PSL).
- Experience collaborating with design and verification engineers to define properties and constraints.
Skills
Required:Formal verificationSystemVerilog Assertions (SVA)Property Specification Language (PSL)
Nice to have:Scripting (e.g., Python)
Last updated Oct 23, 2026. Interested? Apply on the company site.
More open roles at Google
- Staff Network Security Engineer, Google Enterprise Network3d agoHybrid (Austin, TX; Sunnyvale, CA)
- Group Product Manager, Google Lens AI Shopping3d agoMountain View, CA, USA · Product Management
- UX Program Manager3d agoHybrid (New York, NY; San Bruno, CA) · UX Programs & Operations
- Senior Staff Software Engineer, Android Automotive OS3d agoHybrid (Kraków, Poland; Munich, Germany)
- 3d ago