Experienced 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 blocksHelp determine the Formal strategy and methodology for the teamExplore new Formal methods and ToolsAll you need is:3+ years of experience in Formal VerificationStrong debug skillsIn-depth knowledge of how Formal worksExperience in System Verilog - AdvantageKnowledge in Industry Standard protocols such as AXI/OCP/APB - Advantage#LI-RemoteMobileye 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!