Formal Verification Engineer

Haifa, Israel

Hardware

Full time

Apply Now

The position

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:

3+ years of experience in Formal Verification
Strong debug skills
In-depth knowledge of how Formal works
Experience in System Verilog - Advantage
Knowledge in Industry Standard protocols such as AXI/OCP/APB - Advantage

#LI-Remote

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!