Email Gateway (Aug 18 2022 at 10:24): Email Gateway (Aug 18 2022 at 10:24):From: Gilles.Barthe@sophia.inria.fr
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.
Team
The Everest project-team focuses on increasing reliability and
security of mobile and embedded software. The current research
interests include:
Topics
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:
The goal of this reasearch is to develop and verify executable
certificate checkers using reflection techniques.
For further information, please visit:
For further information, please visit:
The goal of this research is to explore flexible enforcement
mechanisms for enforcing confidentiality of mobile and distributed
applications.
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.
Interested?
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@sophia.inria.fr . Applications must be received no
later than May 4, 2007.
For more information about
Last updated: Nov 21 2024 at 12:39 UTC