Expoint - all jobs in one place

מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר

Limitless High-tech career opportunities - Expoint

Google CPU Formal Verification Engineer Google Cloud 
Israel, Tel Aviv District, Tel Aviv-Yafo 
882555164

25.09.2024
Info Note: By applying to this position you will have an opportunity to share your preferred working location from the following: Tel Aviv, Israel; Haifa, Israel.Note: By applying to this position you will have an opportunity to share your preferred working location from the following:.
Minimum qualifications:
  • Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
  • 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 related field.
  • Experience working with one or more formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, or DV360).