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