### Logic List Mailing Archive

## PhD student position in Proof Theory/Lambda Calculus, Universite de Savoie, France

The logic team of the maths lab of the Savoy University
(http://www.lama.univ-savoie.fr) has a phd fellowship to offer.
The topic will be logic, proof theory and/or lambda calculus which is one
of the two themes of our logic team. The exact subject will be discussed
with the candidate.
If you are interested, send me a CV.
Remarks:
This fellowship has no age limit (which is not the case for usual French
fellowship), but the candidate must not have started a phd before.
The work could start the 1st of October or a few month later if necessary.
--
Christophe Raffalli
Universit? de Savoie
B?timent Le Chablais, bureau 21
73376 Le Bourget-du-Lac Cedex
t?l: (33) 4 79 75 81 03
fax: (33) 4 79 75 87 42
mail: Christophe.Raffalli@univ-savoie.fr
www: http://www.lama.univ-savoie.fr/~RAFFALLI