APPLYDJINN
Vacancy catalog
OLD

Long-running vacancy

This listing is older than 30 days but its source has not removed it. Verify availability on the original company page before applying.

Mobileye
Open role>1 month

Junior Formal Verification Engineer

MobileyeHaifa, Israel
Work model
Office
Experience
0-2 years
Employment
Full Time
Compensation
Not disclosed
Technology signal
1 tag

Technology context

1

Parsed from the vacancy text; ordered by relevance to this role.

SystemVerilog

Full listing

Role description

The Mobileye Automated Driving Hardware group in Haifa is looking for a Junior 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. Formal Verification combines deep understanding of computer architecture, digital design, and advanced verification methodologies to prove hardware correctness and uncover bugs that traditional testing may never find.

What will your job look like

  • Learn and apply state-of-the-art Formal Verification methodologies.
  • Verify complex hardware units and system architectures.
  • Work closely with design, architecture, and verification experts.
  • Develop verification solutions using SystemVerilog and industry-leading tools.

All you need is

  • B.Sc. in Electrical Engineering from a leading university.
  • Strong background in computer architecture and VLSI.
  • Excellent analytical and problem-solving skills.
  • Strong communication and collaboration abilities.
  • Self-driven, hardworking, and eager to learn.
  • Strong interest in Formal Verification and pre-silicon hardware development.

Advantages

  • Participation in the Formal Verification course .
  • Knowledge of SystemVerilog .
  • Academic or project experience in digital design and verification .