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.
En cliquant sur "JE DÉPOSE MON CV", vous acceptez nos CGU et déclarez avoir pris connaissance de la politique de protection des données du site jobijoba.com.