Full_professor_position

["Tom Hirschowitz" <Tom.Hirschowitz@univ-savoie.fr>]

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/