לוח משרות דרושים בחיפה וסביבתה

We are a multidisciplinary development team working on a cutting-edge autonomous driving project, at the forefront of automotive technology. The team develops complex ECUs that combine multiple SoCs, low-level firmware, hardware, validation, and automation systems, enabling next-generation autonomous capabilities. We work closely with hardware, system, verification, and automation groups to bring up, debug, and validate advanced automotive platforms from early development stages through production. This is a highly technical, hands-on environment focused on solving real system-level challenges.
What will your job look like:
Debug complex HW/FW and system-level issues in an autonomous vehicle platform
Perform deep root-cause analysis across firmware, hardware, and automation systems
Lead firmware bring-up, integration, and debug of ECUs with multiple SoCs
Debug and support automation systems, including lab automation and FW verification environments
Analyze failures originating from automated test systems and distinguish between FW, HW, and test infrastructure issues
Work closely with HW, system, validation, automation, and architecture teams
Support issues from early development stages through production and field failures
Contribute to firmware debug methodologies and verification strategies
Provide technical leadership and mentoring when needed

We are a multidisciplinary development team working on a cutting-edge autonomous driving project, at the forefront of automotive technology. The team develops complex ECUs that combine multiple SoCs, low-level firmware, hardware, validation, and automation systems, enabling next-generation autonomous capabilities.
We work closely with hardware, system, verification, and automation groups to bring up, debug, and validate advanced automotive platforms from early development stages through production. This is a highly technical, hands-on environment focused on solving real system-level challenges.
What will your job look like:
Debug complex HW/FW and system-level issues in an autonomous vehicle platform
Perform deep root-cause analysis across firmware, hardware, and automation systems
Lead firmware bring-up, integration, and debug of ECUs with multiple SoCs
Debug and support automation systems, including lab automation and FW verification environments
Analyze failures originating from automated test systems and distinguish between FW, HW, and test infrastructure issues
Work closely with HW, system, validation, automation, and architecture teams
Support issues from early development stages through production and field failures
Contribute to firmware debug methodologies and verification strategies
Provide technical leadership and mentoring when needed

our 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\designers 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 JasperGold, Verisium manager, Xcelium, Indago
Analyze verification results, identify bugs, and collaborate with engineers to resolve design issues
Develop generic formal blocks\functions of commonly used logic, to be later used off the shelf