Postdoc Position on Verification of Asynchronously Communicating Systems, Inria/LIG, Grenoble, France

The Convecs team (Inria Grenoble Rh?ne-Alpes research center / LIG laboratory) 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. [For admin and other information see: http://www.mta.ca/~cat-dist/ ]