Postdoctorat en Programmation par Contraintes (H/F)

Job title:

Postdoctorat en Programmation par Contraintes (H/F)

Company:

CNRS

Job description

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 travailEquipe 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.

Expected salary

Location

Toulouse

Job date

Tue, 01 Jul 2025 22:04:56 GMT

To help us track our recruitment effort, please indicate in your email/cover letter where (vacanciesin.eu) you saw this job posting.