Junior Formal Verification Engineer

About the role

Join Mobileye's Automated Driving Hardware group in Haifa as a Junior Formal Verification Engineer. You will work on next‑generation silicon for autonomous‑driving platforms, applying cutting‑edge verification techniques to ensure hardware correctness.

Key responsibilities

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

Required profile

• B.Sc. in Electrical Engineering from a recognized university.
• Strong background in computer architecture and VLSI.
• Excellent analytical and problem‑solving abilities.
• Effective communication and teamwork skills.
• Self‑driven, hardworking and eager to learn.
• Strong interest in formal verification and pre‑silicon hardware development.

Required skills

• SystemVerilog.
• Academic or project experience in digital design and verification.

What we offer

• Participation in a formal verification training course.
• Opportunity to work on next‑generation silicon for autonomous‑driving platforms.
• Collaboration with a talented team of engineers in a leading automotive technology company.