Constraint Solving Engineer

About The Position
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 of 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:

o Automotive industry, and autonomous vehicles in particular.

o Robotic systems.