Dear all, Here is a bit of additional information about the full professor position at Université de Savoie I advertised in July (full message below). The schedule for 'qualification' is available here http://www.education.gouv.fr/personnel/enseignant_superieur/enseignant_cherc... . In summary: - registration is now open, and will close on October 14th (5pm, Paris time), - applicants should defend their habilitation before December 10th. Hoping to see some categorists show up, Tom Original message: ------------------------ A full professor position will be available at Université de Savoie in Chambéry (France), from September 1, 2009. The new professor will be a member of the LIMD group (Logique, Informatique et Mathématiques Discrètes) and is expected to do his research in proof theory in relation to computer science, preferably in one or more of the following areas: lambda-calculus, type theory, realizability, denotational semantics (games, categories, ...), linear logic, concurrency and mobility (process algebras, bisimilarity, semantics, ...), mathematics of programming languages (design, typing, compilation, ...), ... The LIMD group is a UMR (mixed CNRS-University research unit), part of the mathematics laboratory (LAMA) at Université de Savoie. The LAMA (*) has presently 27 permanent researchers in total; the LIMD group has 3 full Professors, 4 "Maitre de conferences" and 2 CNRS researchers. The position is made available by the retirement of one of the professors. The teaching assignments are: mathematics and/or computer science for students from L1 to M2 (in the new european terminology). To get this position, it is necessary to - speak french fluently, and - have been accepted on the so-called "liste de qualification". If you are not yet qualified, note that the deadline for applying is usually around mid-october. For further details, please don't hesitate to contact me. Tom Hirschowitz (*) http://www.lama.univ-savoie.fr/