[TYPES/announce] Postdoctoral position in Marseilles

Laurent Regnier regnier at iml.univ-mrs.fr
Wed Mar 5 10:03:02 EST 2008


===============================================================================
       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).

Applications should be sent to:

              postdoc-choco at 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








More information about the Types-announce mailing list