The Coq mailing list

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

INRIA Sophia-Antipolis is opening two post-doctoral positions to work
in the field of formal methods for security. The positions are in the
EVEREST team, and involve close collaboration with one or more of the
team ongoing research projects:

http://www-sop.inria.fr/everest/research.php

The duration of the positions is between 12 and 18 monthes,
depending on the circumstances of the researcher. The ideal
start date is before the end of 2004, although a later start
may be possible.  It is required that the researchers will
have completed a Ph.D. before starting.

We seek candidates with a strong background in one or several of
the following fields:

- security, especially language-based security

- program specification and verification

- type systems and program analysis

- theorem proving


To apply (or to ask for further details) please send an email to
everest_jobs AT sophia.inria.fr

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 29
http://www-sop.inria.fr/everest/Gilles.Barthe
=====================================================