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.