[TYPES/announce] Post-doc position available at CEA Saclay, France

Samuel Mimram smimram at gmail.com
Tue Jun 21 10:07:37 EDT 2011

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 at cea.fr>. The deadline for application is September 1,

More information about the Types-announce mailing list