Senior Formal Verification Engineer, Networking, Google Cloud

Senior Formal Verification Engineer, Networking, Google Cloud

_corporate_fare_ Google _place_ Tel Aviv, Israel; Haifa, Israel

**Mid**

Experience driving progress, solving problems, and mentoring more junior team members; deeper expertise and applied knowledge within relevant area.

_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 in main interconnects, Direct Memory Access (DMA), controllers, and power management.
+ Experience capturing design specification in a temporal assertion language (e.g., SVA or PSL).

**Preferred qualifications:**

+ Master's degree or PhD in Electrical Engineering or Computer Science, or a r...