[TYPES/announce] Lecturer position at LIPN, University Paris 13 (chaire CNRS)

Damiano Mazza damiano.mazza at lipn.univ-paris13.fr
Mon Oct 26 12:44:42 EDT 2009


======================================================
       CNRS/University Lecturer position in LIPN
                 (University Paris 13)
======================================================

A joint CNRS/University researcher/lecturer position is open NOW 
within the Laboratory LIPN located at University Paris 13 
(http://www-lipn.univ-paris13.fr).

______________________________________________________
__________________ Important dates ___________________

- deadline for application:          23 November 2009
- starting date:                     15 December 2009

______________________________________________________
_______________ Application procedure ________________

The applicant must have obtained a Ph.D. degree and be "qualified" 
(see 
http://www.enseignementsup-recherche.gouv.fr/cid22657/maitres-de-conferences.html 
for additional information).

The candidate should apply online on the website

 
https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/candidats.html

Furthermore, he or she should send his/her full application to the 
University Paris 13, this including a resume, a research project 
and referee letters.  Additional information is provided at the 
following address:

   http://www-lipn.univ-paris13.fr/~cf/Postes/index.html

______________________________________________________
_____________ Profile of the position ________________

The profile is "linear logic and computation".  We seek candidates 
with a strong expertise in linear logic and its recent 
developments (proof nets, differential interaction nets) and in 
one or several of the following areas of theoretical computer science:
- proof theory;
- lambda calculus and functional programming;
- denotational semantics;
- implicit computational complexity.

The selected candidate will work within the team LCR (Logic, 
Computation, Reasoning) of LIPN (http://www-lipn.univ-paris13.fr/LCR).

The interested candidates may contact us by email at
cf at lipn.univ-paris13.fr



More information about the Types-announce mailing list