From mboxrd@z Thu Jan  1 00:00:00 1970
X-Sympa-To: caml-list@inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p5LDxlmI025178
	for <caml-list@sympa-roc.inria.fr>; Tue, 21 Jun 2011 15:59:48 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AjQDAEujAE7RVaG2kGdsb2JhbAA+AQMSEIQ5k1SOSggUAQEBAQkJDQcUBCGpSIJKi38+gkeEbzmIZgEBAwaBJYN1gQoEkWaLezyDGTg
X-IronPort-AV: E=Sophos;i="4.65,401,1304287200"; 
   d="scan'208";a="101702834"
Received: from mail-gx0-f182.google.com ([209.85.161.182])
  by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Jun 2011 15:59:42 +0200
Received: by gxk28 with SMTP id 28so2886475gxk.27
        for <caml-list@inria.fr>; Tue, 21 Jun 2011 06:59:41 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:mime-version:from:date:message-id:subject:to
         :content-type:content-transfer-encoding;
        bh=Cyc3MUhgGew5BvEHeKtCV/wbI69fr4t82MsPElGMlik=;
        b=ZfXPkntc7xQbzCtmSn72FosJlXwpg9lL7HgqDld4EOcxfxJlBc4qWz55hg2LvfwHz9
         oje/NFxpwnPyYmCNBDE4Cxl63gycjRDGm4wfv1bRMKScAnZawRoOSCzBsQ6SYMgT2Y+n
         b4Nft6mIRd0yNSJ5pKxqSOKklvSCCpwqkVUcQ=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=bcc:mime-version:from:date:message-id:subject:to:content-type
         :content-transfer-encoding;
        b=WHdpAJ21btj7rcK34BYKsILE4OE1uxiM1y1cBLKzba550bBq0mpg8y/uRmWf34rvLS
         nfqCw3xLFCEX/R/K6otRBRVoMoHeGDYJHWGCASkN4fBtCPVUVelRJY9pe+Yv9w3E/UQd
         eNyamBII82MaPDqulaIcioggxGIi5bCguB8us=
Received: by 10.91.68.3 with SMTP id v3mr7145353agk.84.1308664781082; Tue, 21
 Jun 2011 06:59:41 -0700 (PDT)
MIME-Version: 1.0
Received: by 10.90.36.8 with HTTP; Tue, 21 Jun 2011 06:59:21 -0700 (PDT)
From: Samuel Mimram <smimram@gmail.com>
Date: Tue, 21 Jun 2011 15:59:21 +0200
Message-ID: <BANLkTi=9BodFojZLTcTisCRyGwF2xLNHkg@mail.gmail.com>
To: types-announce@lists.seas.upenn.edu
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p5LDxlmI025178
X-Validation-by: smimram@gmail.com
Subject: [Caml-list] Post-doc position available at CEA Saclay, France

=================================================
Post-doc position available at CEA Saclay, France
=================================================

The LMeASI laboratory is offering a 1-year post-doctoral position for
a post-doctoral researcher to work on verification of concurrent
programs, funded by the PANDA ANR. The activities of the laboratory
range from the implementation of program analyzers to theoretical
developments using tools originating in algebraic topology.

The candidate should have a PhD thesis in computer science or
mathematics and knowledge in one or more of the following areas:
* concurrency theory
* programming (especially in OCaml)
* algebraic topology
* category theory

The research subject shall be related to the activities of the
laboratory and will be discussed in details with applicants. The
post-doc will take place in the Saclay center of CEA (Commissariat à
l'Énergie Atomique) in the LMeASI laboratory, and will be supervised
by Éric Goubault, Emmanuel Haucourt and Samuel Mimram.

Candidates should send a resume to Samuel Mimram
<samuel.mimram@cea.fr>. The deadline for application is September 1,
2011.