Formal Verification Engineer

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
  
  

• 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