================================================= 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 <[email protected]>. The deadline for application is September 1, 2011. -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
