[TYPES/announce] full profesor position

[rene david]

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.

René David

**********************************

email:  rene.david at univ-savoie.fr
www.lama.univ-savoie.fr/~david