[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