[Prev][Next][Index][Thread]

Job openings at INRIA




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.