What will you do:

Develop a revolutionary system for qualifying autonomous vehicles, and be involved in changing the world…

• As a member of the Generation-Team, develop breakthrough technologies for challenging constrained test-cases generation, for the Autonomous Vehicles domain.
• Work closely with your team leader and other R&D members to identify, define, and analyze the SW challenges, design and implement SW solutions.
• Work fully hands-on in designing, coding, debugging and testing, using object-oriented and aspect-oriented languages, under Linux.
• Tackle and resolve algorithmic SW problems.
• Contribute substantially in making the development processes within your team more efficient, productive and with higher-quality results.
• Executing end-to-end projects from high level design to coding including the ability to create a work plan and coordinate execution between different stakeholders in the organization.
• Learn new domains, tools, and languages.

Requirements:

• A Senior Software Engineer with over 5 years’ experience in object-oriented software development and programming (OOD-OOP).
• Proficiency in developing large native Linux software using C++.
• B.Sc. in Computer-Science /-Engineering with high scores, or equivalent combination of education and experience.
• Highly skilled in software architecture and algorithm development.
• Self-learner, highly motivated, self-paced.

Advantages:

• M.Sc. or above in Computer-Science.
• Experienced (either at academy or industry) in one or more of the following: CSP/COP/SAT/SMT technologies.
• Previous experience in any of the following fields:

-Automotive industry, and autonomous vehicles in particular.

-Constrained Random Test-Generation.

-Tools for verification of HW/SW/Hybrid systems.

• Language / compiler development.