[TYPES] Post-Doc position at Paris-Nord

[Patrick Baillot]

==================================================
                POST-DOC POSITION
           at Université Paris-Nord
==================================================             

 A 12-month post-doc position is to be filled at University Paris-Nord
(LIPN),France, starting from september 2005, on the topic of game 
semantics and complexity.
 This position is funded by CNRS for a research project entitled
"Characterization of polynomial time complexity by game semantics".
 More  information can be found on the following pages:
- practical informations:
http://www.sg.cnrs.fr/drhchercheurs/Post_doc_2005/index.html
- scientific description: see link from
http://www-lipn.univ-paris13.fr/~baillot/POSTDOC05/

University of Paris-Nord is located in the near surroundings of Paris.
The project will be conducted at Laboratoire d'Informatique de Paris-Nord
 (LIPN), within the 'Logic, Computation and Reasoning' group. Our group
carries out research on Linear logic, functional programming and types, 
among other topics. It has strong connections with the PPS group of 
University Paris 7. This post-doc project is conducted in relation with
 a more general french national project "Geometry of computation" (ACI
 GEOCAL).
The applicant should hold a PhD  and have a solid background in Linear
logic and/or game  semantics, as well as in lambda-calculus. Additional
experience in implicit computational complexity would be an advantage.

Deadline for application: may 16th 2005.
Contact: Patrick Baillot, patrick.baillot at lipn.univ-paris13.fr
web(LIPN): http://www-lipn.univ-paris13.fr