[TYPES/announce] Position in Marseille

[Laurent Regnier]

In 2007, the Logique De la Programmation (LDP) group of the Institut de
Mathématiques de Luminy is likely to get a Maître de Conférences position in
Marseille.

The LDP group was founded in 1992 by Jean-Yves Girard. At this time the
thematic was related to proof-theory, lambda-calculus, linear logic and
implicit complexity. Since then the group has enlarged his thematics; a good
approximation of its new interests is the scientific programme of the Geocal06
session organised in Luminy during February 2006. Some of the current area of
research currently explored in the group are:

- logic and operator algebras (J.-Y. Girard)
- semantics of programming languages (T. Ehrhrard, L. Regnier)
- geometry of computation (Y. Lafont)
- logic and modelisation of biological networks (P. Ruet)
- formal method for language analysis (M. Quatrini, M.-R. Fleury)
- ...

On the research side we wishe to recrut a young researcher with a good
background in mathematics, logic and/or theoretical computer science and able
to work on the thematics described above.

On the teaching side, the recruted person will be member of the département de
mathématiques de Luminy and give lectures and/or exercise sessions in
mathematics at undergraduate and graduate level. In particular he/she might
lecture in the research master Mathématiques Des Fondements de l'Informatique
(5th year of university), typically for an advanced course on mathematical
logic. The amount of teaching is about 6 hours a week.

Maître de conférence (MdC) is a permanent teaching and researching position in
french university. The only requirement for application is to have defended a
Phd thesis (in mathematics or theoretical computer science for this particular
position) by December 14 2006.  Knowledge in french is not required but
strongly advised as all teaching is in french.

Application is in two steps:

- September 11 to October 16 2006: application for qualification by
  the Conseil National des Universités (CNU);
- February 2007: application on MdC positions in french universities.

Application for qualification is primarily done via an electronic form (and
further tasks). If the candidate is successfully qualified, he may apply in any
french university during spring 2007.  The complete application procedure is
described on the french governement site(4).

If interested please contact us.

    Laurent Regnier <regnier at iml.univ-mrs.fr>
---------------------------------------------

* Logic group at IML: http://iml.univ-mrs.fr/ldp/
* Geocal06 session: http://iml.univ-mrs.fr/geocal06/
* Institut de Mathématiques de Luminy: http://iml.univ-mrs.fr/
* Département de mathématiques de Luminy: http://lumimath.univ-mrs.fr/
* French governement site for administrative information:
  http://www.education.gouv.fr/personnel/enseignant_superieur/enseignant_chercheur/default.htm