Junior Formal Verification Engineer

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.
  
  

• 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.
  
  

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