[TYPES/announce] post-doc position

[René David]

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