Offre de stage M2 Nantes

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.