From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by sympa.inria.fr (Postfix) with ESMTPS id 2F8EC7ED26 for ; Mon, 4 Jun 2012 16:51:43 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.75,713,1330902000"; d="scan'208";a="161285407" Received: from ubac.inrialpes.fr ([194.199.23.66]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Jun 2012 16:51:43 +0200 Received: (from salaun@localhost) by ubac.inrialpes.fr (8.14.4+Sun/8.11.3) id q54EpgRV026965 for caml-list@inria.fr; Mon, 4 Jun 2012 16:51:42 +0200 (CEST) Date: Mon, 4 Jun 2012 16:51:42 +0200 (CEST) From: Gwen.Salaun@inria.fr Message-Id: <201206041451.q54EpgRV026965@ubac.inrialpes.fr> X-Authentication-Warning: ubac.inrialpes.fr: salaun set sender to Gwen.Salaun@inria.fr using -r To: caml-list@inria.fr X-Validation-by: gwen.salaun@inria.fr Subject: [Caml-list] Postdoc Position on Coverage Analysis of Concurrent Specification Languages, 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/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.