Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Post-doctoral positions in formal methods for security at INRIA

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Post-doctoral positions in formal methods for security at INRIA


chronological Thread 
  • From: Gilles Barthe <Gilles.Barthe AT inria.fr>
  • To: coq-club AT pauillac.inria.fr, isabelle-users AT cl.cam.ac.uk, Thomas Jensen <jensen AT irisa.fr>, Gilles Barthe <Gilles.Barthe AT sophia.inria.fr>
  • Subject: [Coq-Club] Post-doctoral positions in formal methods for security at INRIA
  • Date: Thu, 19 Jun 2003 09:55:29 +0200
  • List-archive: <http://pauillac.inria.fr/pipermail/coq-club/>

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






Archive powered by MhonArc 2.6.16.

Top of Page