[TYPES/announce] post-doc position
René David
rene.david at univ-savoie.fr
Wed May 24 07:07:21 EDT 2006
The University of Chambery proposes a post-doc position for the next
academic year (from october 1-st 2006 to september 30-th 2007).
The candidate must come from a foreign country. The salary is 1830 euros
per month.
If you want to apply for this position and work with the Logic group in
Chambery, please contact david at univ-savoie.fr
The fields of research of our group is :
- Logic : proof theory, type theory, proof assistants, lambda-calculus, ...
- Discrete mathematics : combinatorics on words, cellular automata, ...
More details on our web page : www.lama.univ-savoie.fr
The deadline for application is June 26-th 2006.
R. David
More information about the Types-announce
mailing list