Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Open PhD position in Pesto team at Inria Nancy - Grand Est

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Open PhD position in Pesto team at Inria Nancy - Grand Est


Chronological Thread 
  • From: Steve Kremer <Steve.Kremer AT inria.fr>
  • Cc: Jannik Dreier <research AT jannikdreier.net>, Steve Kremer <steve.kremer AT inria.fr>
  • Subject: [Coq-Club] Open PhD position in Pesto team at Inria Nancy - Grand Est
  • Date: Thu, 2 Feb 2017 14:31:55 +0100

The PESTO Team at INRIA Nancy-Grand Est aims at building formal models
and techniques for computer-aided analysis and design of security protocols.

We have an open Ph.D. research position and are looking for an
enthusiastic Ph.D. candidate to work on the SAPIC/Tamarin security
protocol verification tool chain. Possible projects include supporting
more cryptographic primitives, improving the verification of
privacy-type properties, or investigate novel and promising applications.

The candidate should have a good knowledge of logic (deduction, trees,
proofs), and should not be afraid of writing proofs. For the
implementation part, a good command of Haskell, OCaml, or a similar
functional language is necessary. Security knowledge is not mandatory,
but a plus.

Application deadline: March 1, 2017.
Start date: September 1, 2017
Duration: 3 years

For more information on the projects, see the full offer at

https://members.loria.fr/skremer/files/spooc/phd-sapic-tamarin.pdf

The paid position (monthly salary of approximately 1.580 € net) comes
with health insurance and INRIA employee benefits, and is located in
Nancy, France.

The project is supported by the ERC Consolidator grant SPOOC:

https://members.loria.fr/skremer/files/spooc/index.html

Jannik Dreier and Steve Kremer


  • [Coq-Club] Open PhD position in Pesto team at Inria Nancy - Grand Est, Steve Kremer, 02/02/2017

Archive powered by MHonArc 2.6.18.

Top of Page