ASIC Formal Verification Engineer, Google Cloud
Location
Sunnyvale, CA
Job Type
Full-time
Category
other-general
Posted
June 03, 2026
ASIC Formal Verification Engineer, Google Cloud
_corporate_fare_ Google _place_ Sunnyvale, CA, USA
**Mid**
Experience driving progress, solving problems, and mentoring more junior team members; deeper expertise and applied knowledge within relevant area.
**Minimum 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).
**Preferred qualifications:**
+ Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science.
+ 6 years of experience with industry standard tools, languages and methodologies relevant to the development of silicon-based Integrated Circuits (ICs) and...
_corporate_fare_ Google _place_ Sunnyvale, CA, USA
**Mid**
Experience driving progress, solving problems, and mentoring more junior team members; deeper expertise and applied knowledge within relevant area.
**Minimum 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).
**Preferred qualifications:**
+ Master's degree or PhD in Electrical Engineering, Computer Engineering or Computer Science.
+ 6 years of experience with industry standard tools, languages and methodologies relevant to the development of silicon-based Integrated Circuits (ICs) and...