The Coq mailing list

[Gilles Barthe <Gilles.Barthe AT inria.fr>]

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 AT inria.fr)
http://www-sop.inria.fr/lemme/personnel/Gilles.Barthe

Thomas Jensen 
(jensen AT 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