Dear all, 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/