Type d’offre
Thèse
Intitulé
Formal modelling and validation of networks of programmable logic controllers
Date d’embauche
September 1, 2012
Durée
3 years
Equipe d’accueil
CONVECS
Lieu de travail

Montbonnot

Personne à contacter
Frédéric Lang
Contact email
Frederic.Lang@inria.fr
Détails de l’offre

The Convecs team (Inria Grenoble Rhône-Alpes research center / LIG laboratory) recruits a PhD student.

More information at : http://convecs.inria.fr/jobs/2012a.html

Support financier de thèse
oui
Date limite d’affichage de cette annonce
31/07/2012






Langues du site

ou d'autres langues
via la passerelleAXiMAG...






Suivez le LIG sur Twitter


UMR 5217 - Laboratoire LIG - Maison Jean Kuntzmann - 110 av. de la Chimie - Domaine Universitaire de Saint-Martin-d’Hères - BP 53 - 38041 Grenoble cedex 9 - France
Tél. : +33 (0)4 76 51 43 61 - Fax : +33 (0)4 76 51 49 85
CNRS Grenoble INP INRIA UJF UPMF Université Stendhal