מציאת משרת הייטק בחברות הטובות ביותר מעולם לא הייתה קלה יותר
Google CPU Formal Verification Engineer Google Cloud Israel, Tel Aviv District, Tel Aviv-Yafo 495122892
04.04.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:.
- Bachelor's degree in Electrical Engineering, Computer Science, or equivalent practical experience.
- Experience working on main interconnects, 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.
- Knowledge of and experience working with one or more formal verification tools (e.g., JasperGold, VC Formal, Questa Formal, or 360-DV).
- Understanding of formal verification algorithms.
- Familiarity with CPU implementation, assembly language, or compute SOCs.
- Proficiency with scripting languages (e.g. Python).
משרות נוספות שיכולות לעניין אותך
