Full_professor_position

Full_professor_position

[Tom Hirschowitz]

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/

Full professor position

[Tom Hirschowitz]

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/