Informations générales
Intitulé de l'offre : Postdoctorat en Programmation par Contraintes (H/F)
Référence : UPR8001-EMMHEB-004
Nombre de Postes : 1
Lieu de travail : TOULOUSE
Date de publication : lundi 30 juin 2025
Type de contrat : Chercheur en contrat CDD
Durée du contrat : 10 mois
Date d'embauche prévue : 1 octobre 2025
Quotité de travail : Complet
Rémunération : Entre 2991,58 € à 3417,33 € brut mensuel pour une ancienneté inférieure à 2 ans
Niveau d'études souhaité : Doctorat
Expérience souhaitée : Indifférent
Section(s) CN : 06 - Sciences de l'information : fondements de l'informatique, calculs, algorithmes, représentations, exploitations
Missions
Le but de ce contrat postdoctoral est le développement d'algorithmes et de méthodes efficaces de programmation par contraintes et de satisfiabilité modulo théories pour l'ordonnancement. Ce travail est en lien avec l'équipe de développement de OR-Tools (Google) et les approches évaluées dans le cadre de ce postdoctorat pourront être intégrées à cette plateforme.
Activités
- Participation au développement logiciel (Solveur "Tempo")
- Participation à la rédaction d'articles scientifiques
- Participation aux compétitions de solveurs "XCSP3" et "MiniZinc Challenge"
Compétences
- programmation (C++)
- programmation par contraintes (modélisation et implémentation)
- connaissances en ordonnancement et en satisfiabilité (modulo théories)
Contexte de travail
Equipe ROC (Recherche Opérationnelle, Optimisation Combinatoire et Contraintes) du LAAS-CNRS.
Le poste se situe dans un secteur relevant de la protection du potentiel scientifique et technique (PPST), et nécessite donc, conformément à la réglementation, que votre arrivée soit autorisée par l'autorité compétente du MESR.