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 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: see
  • scientific description: see here (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'

    web (LIPN):