[ecoop-info] Postdoc Position on Coverage Analysis of Concurrent Specification Languages, Inria/LIG, Grenoble, France

[Gwen.Salaun at inria.fr]

The Convecs team (Inria Grenoble Rhône-Alpes research center / LIG
laboratory) recruits a postdoc. More information at:

    http://convecs.inria.fr/jobs/2012d.html

Applications should be addressed directly to Gwen Salaün, preferably
by e-mail. Applications received after July 15st, 2012 might not be
considered if a candidate has been selected already.