[bull-ia] Offre de stage M2 Nantes

Bonjour,

dans le cadre du projet ANR Coverif, nous proposons un stage de M2, pouvant donner lieu à une poursuite en thèse, au laboratoire LS2N à Nantes. Nous recherchons un candidat ayant de bonnes compétences en vérification et méthodes formelles, OU programmation par contraintes. L’offre détaillée est disponible ici :
http://www.normalesup.org/~truchet/Docs/master2017.pdf

Titre : Contraintes sur des domaines paramétriques
Lieu : LS2N, Nantes
Encadrants : Charlotte Truchet (LS2N), David Cachera (IRISA, Rennes)
Dates : au cours du deuxième semestre 2016/2017
Gratification : environ 500euros/mois. Une participation aux frais de transports est possible.

Si cette offre est susceptible d’intéresser vos étudiants, n’hésitez pas à la faire circuler auprès d’eux.

Cordialement,
Charlotte Truchet

Charlotte Truchet
PhD, Ass Pr, University of Nantes
LINA, UMR 6241
+33 2 51 12 53 48
http://www.normalesup.org/~truchet