From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id AC7457ED26 for ; Mon, 4 Jun 2012 16:52:46 +0200 (CEST) X-IronPort-AV: E=Sophos;i="4.75,713,1330902000"; d="scan'208";a="146508149" Received: from ubac.inrialpes.fr ([194.199.23.66]) by mail4-relais-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Jun 2012 16:52:46 +0200 Received: (from salaun@localhost) by ubac.inrialpes.fr (8.14.4+Sun/8.11.3) id q54EqkME027840 for caml-list@inria.fr; Mon, 4 Jun 2012 16:52:46 +0200 (CEST) Date: Mon, 4 Jun 2012 16:52:46 +0200 (CEST) From: Gwen.Salaun@inria.fr Message-Id: <201206041452.q54EqkME027840@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.