=============================================================================== POSTDOCTORAL RESEARCH POSITION IN THEORETICAL COMPUTER SCIENCE Marseilles University - CNRS - ANR CHOCO =============================================================================== The ANR project Curry-Howard for Concurrency (CHOCO) proposes a one year postdoc research position in Marseilles in the field of theoretical computer science, starting in September 2008 (or as soon as possible thereafter). The project CHOCO is focused on the applications of theoretical results from mathematical logic and/or theoretical computer science to the theory of concurrency. Candidates should have their PhD and a good background in at least one of the following themes: - mathematical logic (lambda-calculus, complexity theory, linear logic), - semantics of programming languages (theory of categories, denotationnal and game semantics), - models of concurrency (process calculi, bisimulation, event structures). The position will be taken in the logic group (LDP) of the Institut de Mathématiques de Luminy (IML); strong interaction is expected with the group MOVE of the Laboratoire d'Informatique Fondamentale (LIF) in Marseilles, and the group Plume of the Laboratoire d'Informatique du Parallélisme in Lyon (LIP). Application should be sent to: postdoc-choco@choco.pps.jussieu.fr before May 18th 2008 and should include (all documents in pdf): - a CV (civil informations, universitary cursus, phd); - a work programme (no more than one page); - a publication list; - contact information for 2 references. Candidates will be notified by mid June. =============================================================================== CHOCO: http://choco.pps.jussieu.fr/ IML : http://iml.univ-mrs.fr/ LDP : http://iml.univ-mrs.fr/ldp/ LIF : http://www.lif.univ-mrs.fr/ MOVE : http://www.lif.univ-mrs.fr/spip.php?article89 LIP : http://www.ens-lyon.fr/LIP/web/ Plume: http://www.ens-lyon.fr/LIP/PLUME/index.html.en -- Luigi Santocanale LIF/CMI Marseille Tél: 04 91 11 35 74 http://www.cmi.univ-mrs.fr/~lsantoca/ Fax: 04 91 11 36 02