Junior Formal Verification Engineer

Haifa, Israel /
R&D – Hardware /
Full time
Mobileye's Automated Driving group in Haifa is looking for an experienced Formal Verification Engineer.
This is an exciting opportunity to join a team of highly talented engineers, working on one of the most cutting edge technologies - Autonomous Vehicle (AV)!

What will your job look like:

    • You will verify unique and complex design blocks
    • Help determine the Formal strategy and methodology for the team
    • Explore new Formal methods and Tools

All you need is:

    • Graduate from BSc in Electrical/ Computer Engineering
    • Interest in Formal Verification
    • Knowledge of how Formal works - An advantage
    • Strong debug skills - An advantage
    • Knowledge in System Verilog - An advantage
    • Knowledge in Industry Standard protocols such as AXI/OCP/APB - An advantage

Mobileye changes the way we drive, from preventing accidents to semi and fully autonomous vehicles. If you are an excellent, bright, hands-on person with a passion to make a difference come to lead the revolution!