****** 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@pps.jussieu.fr 29-Sep-2004 15:16:00 -0300,6153;000000000000-00000000