Phd-France: INRIA Sophia Antipolis is opening 3 PhD position

Font size: Decrease font Enlarge font


The Everest project-team at INRIA Sophia Antipolis is opening 3 PhD positions, to start on September 1, 2007, or as soon as possible
after this date.

The Everest project-team focuses on increasing reliability and security of mobile and embedded software. The current research
interests include:
– deductive program verification,
– proof carrying code,
– language-based security,
– machine-checked cryptography,
– proof assistants.
The positions are related to the European project MOBIUS on Proof Carrying Code, and to the secure distributed computations project
within the INRIA-MSR Joint Center.
Topics of research include:
– Efficient certified certificate checkers via proof-irrelevance
supervision: Benjamin Grégoire
The goal of this reasearch is to develop and verify executable
certificate checkers using reflection techniques.
For further information, please visit:
–  Language-Based Security
supervision: Gilles Barthe and Tamara Rezk (MSR-INRIA)
For further information, please visit:
The goal of this research is to explore flexible enforcement mechanisms for enforcing confidentiality of mobile and distributed
–  Code-based techniques for proved provable cryptography
supervision: Gilles Barthe and Benjamin Grégoire
The goal of this research is to develop Coq tactics and libraries to
verify formally game-based proofs of cryptographic systems, and to
carry selected proofs within this environment.
For further information, please visit:
Terms of employment
Each position is for three years, and should lead to a Ph.D. thesis.
We might propose a 6 month contract, before starting the 3 years
Ph.D. contract.
The salary will be 1529 euros net per month for the first 2 years, and
1611 euros net/month the final year. Full health insurance and social
benefits are included.
We are seeking motivated candidates with a background in formal methods
and/or security.
To apply, send a curriculum vitae, a motivation letter explaining
your research interests, and the name of three references to
everest_jobs@… . Applications must be received no
later than May 4, 2007.
For more information about
– INRIA, see
– the Everest project, see
– Sophia Antipolis, see


Be Sociable, Share!

No Comments

Post your comment comment

You must be logged in to post a comment.