[Prev][Next][Index][Thread]
Post-doctoral positions in formal methods for security at INRIA
INRIA Sophia-Antipolis and IRISA are opening post-doctoral
positions in the field of formal methods for security. The
positions are related to the CASTLES project (2003-2006).
The project, which is to be conducted with AQL (www.aql.fr)
and Oberthur (www.oberthurcs.com), aims at:
- certifying JavaCard virtual machines in a dedicated environment,
to be developed, and that integrates techniques from theorem proving and
testing;
- developing type systems and static analyses for guaranteeing the security
of JavaCard applications, and certifying the correctness of these analyses
with a proof assistant.
We seek candidates with a strong background in the following fields:
security, type systems and program analysis, interactive theorem
proving and testing.
To apply (or to ask for further details) please send an email to:
Gilles Barthe (Gilles.Barthe@inria.fr)
http://www-sop.inria.fr/lemme/personnel/Gilles.Barthe
Thomas Jensen (jensen@irisa.fr)
http://www.irisa.fr/lande/jensen
Your application should include a CV and email addresses of
researchers that can support your application.
Gilles
=====================================================
Gilles Barthe
INRIA Sophia-Antipolis
2004 Route des Lucioles
BP 93, 06902 Sophia Antipolis Cedex France
Tel: (33) 4 92 38 79 38
Fax: (33) 4 92 38 50 60
http://www-sop.inria.fr/lemme/Gilles.Barthe