Ingénieur·e de recherche et développement en programmation par contraintes

À propos du poste

Au sein du département Automatique, Productique et Informatique d'IMT Atlantique, vous rejoindrez l'équipe TASC (Théorie, Algorithmes et Systèmes en Contraintes) pour contribuer au développement du solveur choco-solver.

Missions principales

• Adapter l’algorithme bimodal aux contraintes GlobalCardinality, StableKeysort et Circuit en Java.
• Étudier et prototyper l’intégration de l’approche bimodale dans le moteur de propagation du solveur.
• Évaluer l’impact des explications paresseuses sur les contraintes Sum et AllDifferent.
• Rédiger et soumettre des articles scientifiques en anglais dans des conférences ou revues internationales.

Profil recherché

• Doctorat en informatique spécialisé en programmation par contraintes (ou thèse en cours).
• Solide maîtrise des algorithmes de filtrage de contraintes globales et de l’algorithmique des graphes.
• Expérience avérée en développement Java et connaissance approfondie de choco-solver.

Compétences requises

• Programmation par contraintes et filtres de cohérence d’arc généralisée.
• Algorithmique des graphes (parcours en profondeur, composantes fortement connexes, couplages, flots).
• Java avancé, Git/GitHub, tests unitaires et intégration continue.
• Conduite d’évaluations expérimentales rigoureuses et rédaction d’articles scientifiques en anglais.