The Coq mailing list

[Marieke Huisman <Marieke.Huisman AT sophia.inria.fr>]

INRIA Sophia-Antipolis is opening a post-doctoral position in the 
field of formal methods for security. The position is related to the 
GECCOO project (2003-2006).  The project, which is in collaboration 
with the teams TFC (Besancon), Cassis (Loria), LogiCal (INRIA 
Futurs/LRI) and Vasco (LSR), aims at:

- defining methods and tools for the development of object-oriented 
programs with strong security requirements, from specification to 
code generation, integrating techniques for refinement, simulation, 
theorem proving and testing;

- developing an appropriate high-level specification language, based 
on JML, but extended to support abstraction and refinement techniques.

A particular application domain of the project are high-level 
programming languages for secure portable devices (such as JavaCard 
for smartcards).

We seek candidates with a strong background in the following fields: 
security, specification languages, interactive theorem proving, 
refinement or testing.

To apply (or to ask for further details) please send an email to:

Marieke Huisman 
(Marieke.Huisman AT inria.fr)
http://www-sop.inria.fr/lemme/personnel/Marieke.Huisman

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

Marieke