Constraint Solving Engineer

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 solving technologies for challenging constrained test-cases generation, for the Autonomous Vehicles domain.
• Work fully hands-on in coding, debugging, testing and simulations, using object-oriented and aspect-oriented languages, under Linux.
• Take part in development of a new high-level open-source language, its compiler, interpreter and unique sub-systems.
• Take significant role in defining the R&D directions of the Generation Team.
• Tackle and resolve algorithmic SW problems.
• Support other team-members, and junior engineers - in particular.
• 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).
• Experienced (either at academy or industry) in one or more of the following: CSP/COP/SAT/SMT Solving, Constrained Random Test-Generation.
• BSc/BA in Computer-Science /Software-Engineering with high scores, or equivalent combination of education and experience.
• Proficiency in developing large native Linux software using C/C++
• Highly skilled in software architecture and algorithm development.
• Self-learner, highly motivated, self-paced.

Advantages:

• M.Sc. or above in Computer-Science.
• Previous experience with advanced HW/SW Verification systems
• Previous experience in any of the following fields:

-Automotive industry, and autonomous vehicles in particular.

-Robotic systems.