משרות תוצאות חיפוש מתאימות לבקשתך:

The position
Mobileye’s Automated Driving hardware group in Haifa is looking for a  junior Formal Verification Engineer.
This is an exciting opportunity to join a group of talented engineers, developing silicon for Mobileye autonomous driving platforms.
What will your job look like:

You will learn the foundations of Formal Verification.
You will learn concepts used in the industry and also micro-architecture.
Your job will be to verify unique and complex design blocks, using Formal Verification approach.
Codding is done in system Verilog, and the work is performed with the help of top industry tools.
In your daily work you will work side by side with engineers from different hardware background.
Eventually you can become an expert in Formal verification, one of the most in demand roles in pre-silicon hardware development.
All you need is:

 Graduate from
B.Sc
. in Electrical/ Computer Engineering from a known university
Academic experience of courses in computer structure and VLSI
Interest in Formal Verification and the pre-silicon domain work
Knowledge of  System Verilog – An advantage
Codding in python or other scripting language – An advantage
Knowledge in Industry Standard protocols such as AXI/OCP/APB – An advantage