* [Caml-list] Post-doc position available at CEA Saclay, France
@ 2011-06-21 13:59 Samuel Mimram
0 siblings, 0 replies; only message in thread
From: Samuel Mimram @ 2011-06-21 13:59 UTC (permalink / raw)
To: types-announce
=================================================
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.
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2011-06-21 13:59 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-06-21 13:59 [Caml-list] Post-doc position available at CEA Saclay, France Samuel Mimram
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).