Location
Haifa, Israel, Israel
Posted
July 22, 2026
Job Description
Formal Verification Engineer, Google Cloud
_corporate_fare_ Google _place_ Tel Aviv, Israel; Haifa, Israel
**Advanced**
Experience owning outcomes and decision making, solving ambiguous problems and influencing stakeholders; deep expertise in domain.
_info_outline_
XNote: By applying to this position you will have an opportunity to share your preferred working location from the following: **Tel Aviv, Israel; Haifa, Israel** .
**Minimum qualifications:**
+ Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
+ 8 years of experience working on main interconnects, Direct Memory Access (DMA), controllers, and power management.
+ Experience capturing design specification in a temporal assertion language such as SystemVerilog Assertions (SVA) or Property Specification Language (PSL).
**Preferred qualifications:**
+ Master's degree or PhD in Electrical Engineeri...
_corporate_fare_ Google _place_ Tel Aviv, Israel; Haifa, Israel
**Advanced**
Experience owning outcomes and decision making, solving ambiguous problems and influencing stakeholders; deep expertise in domain.
_info_outline_
XNote: By applying to this position you will have an opportunity to share your preferred working location from the following: **Tel Aviv, Israel; Haifa, Israel** .
**Minimum qualifications:**
+ Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
+ 8 years of experience working on main interconnects, Direct Memory Access (DMA), controllers, and power management.
+ Experience capturing design specification in a temporal assertion language such as SystemVerilog Assertions (SVA) or Property Specification Language (PSL).
**Preferred qualifications:**
+ Master's degree or PhD in Electrical Engineeri...