====================================================== 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
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 :
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 email@example.com