Engineering, Software Engineer, Systems Engineer

Position: Apply now
Location: Hardware

R&D

Senior Formal Verification Engineer

Haifa

Full time

Apply now

Haifa

Full time

Mobileye's EyeQ Platform Group (EPG) is seeking a motivated Formal Verification Engineer to join our team and contribute to development of hardware verification environments. This position offers an opportunity to apply formal methods to verify the correctness of various complex digital systems. This is an exciting opportunity to join a team of talented engineers, working cutting edge technologies in the field of autonomous vehicle.

What will your job look like:

* Be the owner of formal verification environment from first draft to sign-off stage

* Apply formal methods to verify the correctness of various complex digital systems

* Work with HW architects esigners 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 Jasper Gold, Verisium manager, Xcelium, Indago

* Analyze verification results, identify bugs, and collaborate with engineers to resolve design issues

* Develop generic formal blocks unctions of commonly used logic, to be later used off the shelf

All you need is:

* 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 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

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!

Apply now

Save lives

The value of life above all other considerations.

Evolution as revolution

Creating the autonomous future, leap by leap.

Now. Next. Future.

Pioneering the future without losing sight of today and tomorrow.

Care

We enable accessible mobility. We protect the environment.

Geek Proud

Our technology & problem-solving tackles the toughest challenges facing the industry.

Live the Dream.

Stay Humble.

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

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.

Care

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 & problem-solving tackles 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.

Link copied to clipboard