Type d’offre
Post-doctorat
Intitulé
Enhanced equivalence checking for asynchronous systems
Date d’embauche
September 1, 2012
Durée
Up to 3 years
Equipe d’accueil
CONVECS
Lieu de travail

Montbonnot

Personne à contacter
Radu Mateescu
Contact email
Radu.Mateescu@inria.fr
Détails de l’offre

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

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

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


Nos partenaires




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