Vacant Post-doc Position
A 12-month post-doc position is to be filled at University Paris-Nord
(LIPN), starting from september 2005, on the topic of game semantics and
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:
(CNRS page )
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