[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
======================================================
University Lecturer position in LIPN
(University Paris 13)
======================================================
A lecturer position is open within the Laboratory LIPN located at
University Paris 13 (http://www-lipn.univ-paris13.fr).
___________________________________________________
__________________ Important dates ___________________
- deadline for application: 25 march 2011 (16h00 Paris Time)
- starting date: 1 september 2011
__________________________________________________
_______________ 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 (see MCF 9004):
http://www-lipn.univ-paris13.fr/~fouquere/Postes/index2011.html
_______________________________________________
_____________ Profile of the position ________________
The teaching profile is "Systèmes et réseaux", the selected candidate
will teach in French at the IUT of Villetaneuse
(http://www.iutv.univ-paris13.fr/iutv/index.php).
The research profile is "linear logic, proof nets and programming".
We seek candidates with a solid mathematical background and expertise
in one or several of the following areas of theoretical computer
science:
- linear logic, light linear logics;
- proof nets, geometry of interaction;
- lambda-calculus and their algebraic, probabilistic and
non-deterministic extensions;
- denonational semantics, games semantics, ludics;
- functional programming.
Expertise in other areas involving logic and theoretical computer
science are also welcome.
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
c...@lipn.univ-paris13.fr
----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.
