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.
Approximative gross salary : 2570 euro/month (so, net salary : roughly 2100 euro)
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.
