From: Samuel Mimram <smimram@gmail.com>
To: types-announce@lists.seas.upenn.edu
Subject: [Caml-list] Post-doc position available at CEA Saclay, France
Date: Tue, 21 Jun 2011 15:59:21 +0200 [thread overview]
Message-ID: <BANLkTi=9BodFojZLTcTisCRyGwF2xLNHkg@mail.gmail.com> (raw)
=================================================
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.
reply other threads:[~2011-06-21 13:59 UTC|newest]
Thread overview: [no followups] expand[flat|nested] mbox.gz Atom feed
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to='BANLkTi=9BodFojZLTcTisCRyGwF2xLNHkg@mail.gmail.com' \
--to=smimram@gmail.com \
--cc=types-announce@lists.seas.upenn.edu \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox