Verification of Asynchronously Communicating Systems

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.