coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: ren� david <rene.david AT univ-savoie.fr>
- Cc: acl2 AT cs.utexas.edu, aiia AT di.unito.it, ALP-request AT NIC.SURFNET.NL, als+lics-request AT dcs.ed.ac.uk, caml-list AT pauillac.inria.fr, ccl AT dfki.uni-sb.de, curry AT informatik.rwth-aachen.de, ccl AT ps.uni-sb.de, ccp AT sics.se, colibri AT let.uu.nl, comlab AT comlab.ox.ac.uk, compulognet-parimp AT dia.fi.upm.es, coq-club AT pauillac.inria.fr, cs-logic AT cs.indiana.edu, eacsl AT dimi.uniud.it, eapls AT jiscmail.ac.uk, elan-users AT loria.fr, frocos AT loria.fr, haskell AT haskell.org, ifip AT ifip.or.at, lfg AT lists.stanford.edu, lpnmr AT cs.engr.uky.edu, ml AT ics.uci.edu, mrg AT itc.it, nlp-ia AT bosoleil.ci.umoncton.ca, prog-lang AT daimi.au.dk, prog-lang AT diku.dk, rewriting AT ens-lyon.fr, sigparse-list AT CS.CMU.EDU, sigparse-list AT nl.cs.cmu.edu, softtech AT cs.uu.nl, stratego AT cs.uu.nl, theory-logic AT CS.CMU.EDU, theorynt AT listserv.nodak.edu, types AT cis.upenn.edu, types-wg AT durham.ac.uk, moi <david AT univ-savoie.fr>, Laurent Vuillon <Laurent.Vuillon AT univ-savoie.fr>
- Subject: [Coq-Club] research position in logic and discrete maths
- Date: Fri, 21 Oct 2005 09:15:16 +0200
- List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>
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 AT univ-savoie.fr
- or
rene.david AT 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
- [Coq-Club] research position in logic and discrete maths, rené david
Archive powered by MhonArc 2.6.16.