poste MdC à l’université Paris 13 (chaire CNRS)

====================================================== 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-recherch... for additional information).

The candidate should apply online on the website

https://www.galaxie.enseignementsup...

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...

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@lipn.univ-paris13.fr