Poste MCF - Programmation Par Contraintes - Université Nice Sophia Antipolis

Un poste de MCF, profil recherche «Programmation Par Contraintes» va être mis au concours à l’Université Nice Sophia Antipolis au profit de l’équipe CeP (Contraintes et Preuves) du pôle MDSC du laboratoire I3S (Laboratoire d’Informatique, Signaux et Systèmes de Sophia-Antipolis).

Plus d’informations peuvent être obtenues auprès de Jean-Charles Régin, responsable de l’équipe CeP, ou de Michel Rueher, responsable du pôle MDSC.

Les enseignements se dérouleront au département Informatique de l’Université Nice Sophia Antipolis.
Le contact pour l’enseignement est Bruno Martin, directeur du département informatique.

Toutes les informations sont ici: http://www.i3s.unice.fr/I3S/annonces/recrutement2014/27_MCF_0864.pdf