[TYPES] professor position at Paris 7 University

[Curien Pierre-Louis]

****** PLEASE  CIRCULATE  *********

PROFESSOR POSITION AT PARIS 7 University  in 2005

A professor position will be open in 2005 (for position starting in  
October 2005) for the laboratory

Preuves, Programmes et Systemes

(www.pps.jussieu.fr)

Applications will be received some time early next year.
But applicants need to have passed the national so-called qualification  
procedure,
which has now started and will be closed

******* AS EARLY AS  October 19, 2004 (see details at the url indicated  
below).  ******

http://www.education.gouv.fr/personnel/enseignant_superieur/ 
enseignant_chercheur/antares.htm

(This is a rather light procedure,  it can be initiated, and then  
abandoned, but conversely, no application for the position itself is  
possible for anyone who has not gone through qualification. Also,  
qualification remains valid a few years, so can entitle one to be  
candidate later to another position anywhere in France.)

The profile is open to all areas of programming (including global  
computing),
with particular emphasis on semantics, logics, topological methods,  
language design and implementation.
Depending on candidates, the teaching will be either in the Mathematics  
Department,
or in the Computer Science Department (the laboratory being affiliated  
to both).

A relative fluency in French at interviewing time (that is, May 2005)  
will be needed, as the language of teaching is French.

Interested candidates are welcome to contact

Pierre-Louis.Curien at pps.jussieu.fr