CPU Formal Verification Engineer, Google Cloud
This job is no longer accepting applications
See open jobs at Google.See open jobs similar to "CPU Formal Verification Engineer, Google Cloud" Out for Undergrad.Haifa, Israel · Tel Aviv-Yafo, Israel
Posted on Thursday, February 8, 2024
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.
Minimum qualifications:
- 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).
This job is no longer accepting applications
See open jobs at Google.See open jobs similar to "CPU Formal Verification Engineer, Google Cloud" Out for Undergrad.