[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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: - deductive program verification, - proof carrying code, - language-based security, - machine-checked cryptography, - proof assistants. 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: - 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: http://www-sop.inria.fr/everest/offers/proof_irrelevance.php - Language-Based Security supervision: Gilles Barthe and Tamara Rezk (MSR-INRIA) For further information, please visit: http://www-sop.inria.fr/everest/offers/language-based.php The goal of this research is to explore flexible enforcement mechanisms for enforcing confidentiality of mobile and distributed applications. - 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: http://www-sop.inria.fr/everest/offers/crypto-proofs.php 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 [EMAIL PROTECTED] . Applications must be received no later than May 4, 2007. For more information about - INRIA, see http://www.inria.fr - the Everest project, see http://www-sop.inria.fr/everest/ and http://www-sop.inria.fr/everest/offers/index.php - Sophia Antipolis, see http://www.sophia-antipolis.org/