Junior Formal Verification

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.
  
  

• 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