[TYPES/announce] Post-doc position at Paris 13

Damiano Mazza damiano.mazza at lipn.univ-paris13.fr
Wed Feb 17 17:30:35 EST 2010


_______________________________________________________

                  Post-doctoral position
               at LIPN, Université Paris 13

   Linear logic and implicit computational complexity
http://www-lipn.univ-paris13.fr/complice/spip.php?rubrique4
________________________________________________________


A 12-month post-doctoral position is available at the

   Laboratoire d'Informatique de Paris Nord (LIPN), Université 
Paris 13

within the research project COMPLICE (Implicit Computational 
Conmplexity, Concurrency and Extraction, 
http://www-lipn.univ-paris13.fr/complice/spip.php?rubrique4), 
founded by the French national research agency (ANR).

_______________________________________________________
________________ Scientific context ___________________

COMPLICE is a four-year project whose partner sites are ENS Lyon, 
Université Paris 13 and LORIA-Nancy.  The project's goal is to 
investigate the foundations and applications of implicit 
computational complexity (ICC), along the lines of semantics and 
logic, functional programming, program extraction from proofs, 
quantitative properties and ICC for concurrent systems.

_______________________________________________________
______________________ Location _______________________

LIPN (http://www-lipn.univ-paris13.fr/?lang=uk) plays a major role 
in research in computer science within the northern Paris area. 
The post-doc researcher will work within the Logic, Computation 
and Reasoning group 
(http://www-lipn.univ-paris13.fr/LCR/?lang=uk), among whose main 
research directions there are proof theory, linear logic, 
lambda-calculus, implicit computational complexity, denotational 
semantics, system specification and verification, and algebraic 
combinatorics.  LIPN is situated in Villetaneuse, in the northern 
suburbs of Paris, within the campus of the University Paris 13 
(about 45 minutes from the city center by public transportation).

Interaction with the other sites of the COMPLICE project is
also expected.  Additionally, LIPN has long established 
interactions with the following sites:
- Preuves, Programmes et Systèmes, Paris 7;
- Institut de Mathematiques de Luminy, Marseille;
- Dipartimento di Informatica, Università di Torino;
- Dipartimento di Filosofia, Universita Roma Tre, Rome;

_______________________________________________________
________________ Salary and benefits __________________

The monthly salary will be around 2000 EUR.  This is then subject 
to income tax.  The position is for 12 months, but might be 
extendable for a longer period.

The post-doc researchers will be affiliated to the French social 
security system, and will be entitled to unemployment benefit at 
the end of the contract.

_______________________________________________________
____________________ Requirements _____________________

The applicants should hold a PhD.  We are especially interested in 
candidates with background in one or several of the following fields:
- linear logic (proof nets, geometry of interaction, ludics)
- rewriting theory (lambda-calculus, interaction nets)
- denotational semantics (category theory, games semantics, 
vectorial semantics)
- implicit computational complexity (light logics, type systems 
for complexity)

_______________________________________________________
_______________ Application procedure _________________

Applications should be sent EXCLUSIVELY by email, to the addresses

   Damiano.Mazza at lipn.univ-paris13.fr
   Virgile.Mogbil at lipn.univ-paris13.fr

preferably with the subject containing the words "Complice 
Application" (to be sure that the application is not accidentally 
eaten by spam filters...).

The application must include:
- a detailed resume;
- a short research project (1 page);
- contact information of two possible references.

Applications are currently open and will stay open until the 
position is filled, without a specific deadline.  Potentially 
interested candidates are invited to contact us as soon as possible.

The starting date of the post-doc will be decided with the 
candidate (earlier dates are preferred).

Further information, including the notification of when the 
position will be filled, will be made available on the following 
web page: http://www-lipn.univ-paris13.fr/complice/spip.php?rubrique14



More information about the Types-announce mailing list