Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] PhD position at INRIA

Email Gateway (Aug 18 2022 at 10:25):

From: Gilles.Barthe@sophia.inria.fr
Please could you replace the announcement sent on April 13th by this one.
In our previous e-mail, we have forgotten links.

Many thanks.
===========================================================================

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
everest_jobs@sophia.inria.fr . 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/

Last updated: May 03 2024 at 01:09 UTC