Verification of Asynchronously Communicating Systems

Jeudi
1
Jan
2015
Type d'offre : 
Durée : 
1 ans
Lieu de travail : 
Équipe d'accueil : 
Personnes à contacter : 
Détails de l'offre : 

The Convecs team recruits a postdoc. More information at: http://convecs.inria.fr/jobs/2014b.html

Applications should be addressed directly to Gwen Salaün, preferably by e-mail. Applications received after October 10th, 2014 might not be considered if a candidate has been selected already.