[ 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


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):


_____________ 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

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

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

Reply via email to