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

- 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)

Thomas Jensen (jensen@irisa.fr)

Your application should include a CV and email addresses of
researchers that can support your application.


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