Experienced Formal Verification Engineer

Haifa, Israel
Full time

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

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!