Verification of Asynchronously Communicating Systems

Thursday
1
Jan
2015
Offer type: 
Duration: 
1 ans
Host team: 
Contact person: 
Offer details: 

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.