About the Position

Stay safe from recruitment fraud! The only way to apply for a position at Mobileye is via our jobs page. Mobileye will never ask an applicant to send any money or purchase any equipment. Not sure? Contact us at: [email protected]

Mobileye is a global leader in Physical AI, developing computer vision, software, and hardware to power autonomous driving solutions and humanoid robots. Our mission is to bring autonomy into the real world by building intelligent technologies that are designed to expand accessibility and enhance everyday life, from advanced driver assistance systems (ADAS) and autonomous driving to robotics and humanoids.

Built on decades of automotive innovation and industrial-scale AI expertise, Mobileye technologies power more than 230 million vehicles worldwide. With teams around the world, we continue to innovate at the forefront of autonomous systems, advancing the next generation of Physical AI for the real world.

The Mobileye Automated Driving Hardware group in Haifa is looking for an Experienced Formal Verification Engineer to join a team of talented engineers developing next-generation silicon for autonomous driving platforms. This is a unique opportunity to enter one of the most challenging and rewarding disciplines in hardware development.

Responsibilities

Be the owner of the formal verification environment from the first draft to the sign-off stage.
Apply formal methods to verify the correctness of various complex digital systems.
Work with HW architects and designers to define assumptions, rules, and cover properties.
Help define the formal verification methodology and environment to be applied by the team.
Explore new formal methods and tools.
Work with tools like Cadence JasperGold, Verisium Manager, Xcelium, Indago.
Analyze verification results, identify bugs, and collaborate with engineers to resolve design issues.
Develop generic formal blocks and functions of commonly used logic, to be later used off the shelf.

Requirements

BSc in electrical engineering, computer engineering, or computer science.
Passion for the field of Formal Verification.
5+ years of experience in Formal Verification.
Experience coding in System-Verilog hardware description language.
Experience with scripting languages (e.g., Python, Tcl).
Strong analytical and problem-solving skills.
Ability to work independently and in a team-oriented environment.

We Offer

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 lead the revolution!

About the Company

Mobileye is coding a new reality. We are also understated, and work as a team. Our technology and problem-solving tackle the toughest challenges facing the industry. Outside the bounding box, solutions often seem unlikely or impossible. Until they aren’t. Never too small, each person’s individual contribution can make an outsized impact.

Save lives. The value of life above all other considerations.

Evolution as revolution. Creating the autonomous future, leap by leap.

We enable accessible mobility. We protect the environment.

Now. Next. Future.

Pioneering the future without losing sight of today and tomorrow.

Live the Dream. Stay Humble.

We are coding a new reality. We are also understated, and work as a team.

Geek Proud. Our technology and problem-solving tackle the toughest challenges facing the industry.

Outside the Bounding Box. Solutions often seem unlikely or impossible. Until they aren’t.

Never Too Small. Each person’s individual contribution can make an outsized impact.