[Apologies for multiple copies] 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 ([EMAIL PROTECTED]) http://www-sop.inria.fr/oasis/personnel/Gilles.Barthe/index.html Yves Bertot ([EMAIL PROTECTED]) http://www-sop.inria.fr/lemme/Yves.Bertot/index.html Thomas Jensen ([EMAIL PROTECTED]) http://www.irisa.fr/lande/jensen/index.html Christine Paulin ([EMAIL PROTECTED]) 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.