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.All you need is: Graduate from B.Sc. in Electrical/ Computer Engineering from a known universityAcademic experience of courses in computer structure and VLSIInterest in Formal Verification and the pre-silicon domain workKnowledge of System Verilog - An advantageCodding in python or other scripting language – An advantageKnowledge in Industry Standard protocols such as AXI/OCP/APB - An advantage