[TYPES/announce] post-doctoral position in formal security at INRIA

[Gilles Barthe]

Applications are invited for a post-doctoral position on formal
security within the EVEREST project (http://www-sop.inria.fr/everest/)
at INRIA Sophia-Antipolis. The position is initially for 2 years, with
the possibility of 1 year extension; the preferred starting date is
October 2006.

We are looking for candidates with a strong research background in
formal security. The team is active in the following areas:

- language-based security
- program logics for security
- proof-carrying code
- provable cryptography

Applications consisting of a CV with names of three referees to
Nathalie.Bellesso at sophia.inria.fr preferably before July, 15st
2006. If you wish to apply after this date, please send an email
for enquiring whether the position remains open.


Potential candidates are welcome to contact me by email for any
informal enquiry concerning the position.

Gilles Barthe

=====================================================
Everest Team, 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