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.
- Participation in the Formal Verification course.
- Knowledge of SystemVerilog.
- Academic or project experience in digital design and verification.
Advantages:
Skills Required
- 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 a formal verification course
- Knowledge of SystemVerilog
- Academic or project experience in digital design and verification
What We Do
Mobileye is leading the mobility revolution with its autonomous-driving and driver-assistance technologies, harnessing world-renowned expertise in computer vision, machine learning, mapping, and data analysis. Founded in 1999, Mobileye has pioneered such groundbreaking technologies as REM™ crowdsourced mapping, True Redundancy™ sensing, and the RSS™ safety model. These technologies are driving the ADAS and AV fields towards the future of mobility – enabling self-driving vehicles and mobility solutions, powering industry-leading advanced driver-assistance systems and delivering valuable intelligence to optimize mobility infrastructure. Mobileye technology is used in over 170 million vehicles worldwide. In 2022, Mobileye became an independent company while still being majority-owned by Intel. Mobileye’s headquarters and R&D center are based in Jerusalem, with additional offices across Israel and around the world.
Why Work With Us
Our technology enables self-driving vehicles and mobility solutions, powers industry-leading advanced driver assistance systems, and delivers valuable intelligence to optimize mobility infrastructure.
Gallery
