Full professor position

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

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_chercheur/calendrier_qualification.htm 
  .

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/