Proposals for phd thesis - coconut team - lirmm - Montpellier

Bonjour,

L’équipe COCONUT du laboratoire LIRMM propose deux sujets de thèse autour de l’acquisition de contraintes/Apprentissage automatique/vérification des programmes dans le cadre d’un contrat doctoral en informatique de l’ED I2S pour la rentrée 2015.

http://www.lirmm.fr/~lazaar/phd.html

Encadrement : Nadjib Lazaar (lazaar@lirmm.fr) et Christian Bessiere (bessiere@lirmm.fr).

Les thèses sont ouvertes aux candidatures (http://www.edi2s.univ-montp2.fr/ -> offres de thèse)
Les candidatures sont ouvertes entre le 27 avril et le 29 mai.
Les candidats ayant reçu un avis favorable (et après validation des directeurs de labo concernés) seront auditionnés les 3, 4 et 5 juin.