PhD position in Bordeaux

Project title: categorical interpretations of first order linear logic, with application to ontological aspects of lexical semantics.

The project will involve mathematical logic, theoretical computer science, category theory and topology, with some applications to the semantics of natural language.
Advisors:Christian Retoré INRIA & LaBRIJean Gillibert IMB — Université de Bordeaux

For more information, see http://www.labri.fr/perso/retore/SUJETS/semantique_categorique_LL.html.