[TYPES/announce] Postdoc position at univ. Paris-Nord

[Patrick Baillot]

==================================================
               POST-DOC POSITION
              at University Paris-Nord
==================================================

A 12-month post-doc position is available at University Paris-Nord
(Univ. Paris 13, LIPN), France, within the project:

    New Tools for Complexity: Semantics and Types (NO-CoST)
( http://www-lipn.univ-paris13.fr/nocost/rubrique.php3?id_rubrique=5 )

This project is funded by the French national research agency (ANR) and the
partner teams are LIPN and PPS.
  Its goal is to develop a semantic account of polynomial time computation,
using  game semantics, and to improve current implicit computational complexity
systems for functional languages like: linear logic type systems for
lambda-calculus, quasi-interpretations ...
Applications of candidates with background in one/some of the following fields
are welcome:
- implicit computational complexity / type systems for complexity,
- denotational semantics and games,
- linear logic, lambda-calculus.

The applicant should hold a PhD.
To apply send your application  (as soon as possible) including a CV, a
list of publications  and a statement of research, by email with subject line:
"PostDoc position", to
     patrick.baillot'at'lipn.univ-paris13.fr
or at the postal address below.
Deadline for application: june 15th 2006.
Suggested date of beginning: october 1st 2006.
More information will be made available from:
  http://www-lipn.univ-paris13.fr/nocost/rubrique.php3?id_rubrique=19

 Interested potential candidates can also contact Patrick Baillot
(patrick.baillot'at'lipn.univ-paris13.fr).

address: P.Baillot,
  LIPN, Univ. Paris 13, Institut Galilee,
 99 av. J.-B. Clement, 93430 Villetaneuse, FRANCE.