[TYPES/announce] Lecturer position in Paris 13

[Michele.Pagani at lipn.univ-paris13.fr]

======================================================
     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
cf at lipn.univ-paris13.fr


----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.