Logic List Mailing Archive

Maitre de Conferences -- Logic and Discrete Mathematics, University of Savoie, France

A "Maitre de Conf?rences" position will be available for the Logic group 
of the 
maths department of the University of Savoie in Chambery.

This position is destinated to reinforce our group.

The themes of research we are looking for are thus

- either the ones that have always be present in Chambery such as *proof 
theory* and *lambda caculus*

- or the new ones corresponding to discrete mathematics such as the 
combinatorics of, for example, words or the discrete plane, the discrete 
geometry and the general theory of coding.

The teaching assigments will be those of a maitre de conf?rences with 
lessons in "mathematical tools for computer science". For example, the 
person we are looking for will be in charge of courses as "data bases" or
 
"Maths for computer science". The courses should be given in French.

Two conditions are necessary to get this position

- Be accepted on the so called "liste de qualification aux fonctions de 
Maitre de Conf?rences"

- Speak French reasonnably fluently.

This position is not yet official but, since it should appear officially 
only around February, we would like to have contact with possible 
candidates much before.

If you are interested by this position, please contact
- either laurent.vuillon@univ-savoie.fr
- or rene.david@univ-savoie.fr

For more informations on our laboratory visit  : www.lama.univ-savoie.fr
For more informations on our university visit :  www.univ-savoie.fr

Rene David and Laurent Vuillon