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!