Following a preannouncement posted last October,

A position of Maitre de Conferences (permanent position, more or less equivalent to "associate professor", or "lecturer")

** in mathematics**

is opened at Paris 7 University. The hired candidate will work in the laboratory PPS (Preuves, Programmes et Systemes), which spreads its interests on both sides of the correspondence between proofs and programs, covering work on language design and implementation, rewriting, semantics (and game semantics in particular), categories, linear logic, realizability, probabilistic and topological methods, etc... See www.pps.jussieu.fr.

Th deadline for application is

** March 31 (see more specific info in French below) **,

with decisions taken around May 2007, and job starting in October 2007.

The applicant must have gone through the qualification procedure (cf. preannouncement).

A certain fluency in French is required for the position. The teaching will be in the mathematics department, so some experience in teaching mathematics (rather than computer science) is welcome. Teaching is in French.

I invite candidates to contact me. Best regards,

Pierre=Louis Curien

curien@pps.jussieu.fr

**** More practical info (in French) **** Maîtres de conférences 25è section : Université Paris-VII : mathématiques des preuves et des programmes : 0648. POUR ACCEDER AU TEXTE INTEGRAL DU J.O. par internet : http://www.legifrance.gouv.fr Arrêté du 16 février 2007 portant déclaration de vacance d'emplois de professeur des universités offerts à la mutation, au détachement et, en application du 1° de l'article 46 du décret n° 84-431 du 6 juin 1984 modifié, au recrutement (1re session 2007) NOR: MENH0700337A Arrêté du 16 février 2007 portant déclaration de vacance d'emplois de maître de conférences offerts à la mutation, au détachement et, en application du 1° de l'article 26-I du décret n° 84-431 du 6 juin 1984 modifié, au recrutement (1re session 2007) NOR: MENH0700341A Clôture des inscriptions dans l'application ANTARES : le 30 mars 2007 à 16h heure de Paris (et non pas le 27 mars comme indiqué par erreur aux articles 8 et 13 de l'arrêté relatif aux professeurs) http://www.education.gouv.fr rubrique « Concours, emplois, carrières » puis « Personnel enseignant du supérieur et chercheurs » puis « les enseignants-chercheurs » Le dossier papier devra être envoyé au plus tard le 30 mars à minuit (cachet de la poste faisant foi) au service du personnel de l'établissement affectataire de l'emploi.