[TYPES/announce] Position preannouncement in Paris 7 (in ** mathematics **)
Curien Pierre-Louis
Pierre-Louis.Curien at pps.jussieu.fr
Thu Jun 29 15:29:14 EDT 2006
POSITION PRE-ANNOUNCEMENT
A position of Maitre de Conferences (permanent position) in
mathematics is likely to be opened next year 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.
The position will be opened around February 2007, with decisions taken
around May 2007, and job starting in September 2007.
But there is a preliminary phase called ** qualification **, through
which all candidates to academic positions in France have to go.
This procedure consists of an evaluation of both research and teaching
experience of candidates in view of their potential application to a
position in a French university. The first phase of this (rather light)
procedure is opened on September 11, 2006, and
*** closes on October 16, 2006 ***
and is entirely electronical
(http://www.education.gouv.fr/personnel/enseignant_superieur/
enseignant_chercheur/calendrier_qualification.htm). The section of
qualification should be preferably number 25 (mathe'matiques), but
candidates interested in multiple applications in France, including in
CS departments, may also apply for qualification in section 27
(informatique) simultaneously.
This approaching first deadline is the main reason for the present
early announcement.
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 potential candidates to contact me, and I also encourage
colleagues to point me to interesting potential candidates fitting the
criteria.
Best regards,
Pierre=Louis Curien
curien at pps.jussieu.fr
More information about the Types-announce
mailing list