[Prev][Next][Index][Thread]
Job openings at INRIA
-
To: amast@cs.utwente.nl, appsem@cs.chalmers.se, eacsl@dimi.uniud.it, eapls-request@mailbase.ac.uk, haskell@haskell.org, isabelle-users@cl.cam.ac.uk, logic@cs.stanford.edu, pvs@csl.sri.com, rewriting@ens-lyon.fr, types@cis.upenn.edu, types-wg@durham.ac.uk, seworld@cs.colorado.edu
-
Subject: Job openings at INRIA
-
From: Gilles Barthe <Gilles.Barthe@sophia.inria.fr>
-
Date: Wed, 23 Aug 2000 16:00:26 +0200
-
Organization: INRIA Sophia-Antipolis
-
Sender: Gilles.Barthe@sophia.inria.fr
Job openings in formal methods for smartcards at INRIA
======================================================
INRIA is opening up several doctoral and post-doctoral
positions at Rocquencourt (projet Coq), Rennes (projet
Lande) and Sophia-Antipolis (projets Lemme and Oasis).
All positions are related to projects aimed at
applying formal methods to the verification of the
JavaCard platform and of JavaCard applications. Most
projects are carried out in collaboration with leading
industrial companies in the field (Bull, Gemplus,
Schlumberger) and offer a unique opportunity to
address scientifically challenging and industrially
relevant problems.
We seek candidates with a strong background in any of
the following fields:
- theorem-provers
- model-checkers
- program analysis and transformation
and a strong interest in smartcard and mobile code
security.
To apply (or for further details) please
send an email to:
Gilles Barthe (Gilles.Barthe@inria.fr)
http://www-sop.inria.fr/oasis/personnel/Gilles.Barthe/index.html
Yves Bertot (Yves.Bertot@inria.fr)
http://www-sop.inria.fr/lemme/Yves.Bertot/index.html
Thomas Jensen (jensen@irisa.fr)
http://www.irisa.fr/lande/jensen/index.html
Christine Paulin (paulin@lri.fr)
http://www.lri.fr/~paulin
Your email application should include a CV,
names and addresses of three referees, and,
if available, pointers to on-line articles
(please do *not* include the articles in your
mails). You should also indicate your geographical
preferences, if any.
Applications will be evaluated from now on
until the positions are filled.