Formal Verification Manager

Haifa, Israel
Hardware
Full time

The position

At Mobileye, we foster a hybrid-friendly environment, combining work from office and home.

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:

  • Leading a team of engineers
  • 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:

  • 5+ 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!