Document Actions

New internships

New funded research internships available with the Secure Distributed Programming team.

We are delighted to announce that we have several funded internships available at the Microsoft Research-INRIA Joint Lab in Saclay (potentially leading to funded Ph.D. positions for promising students).

The positions would be supervised by the members of the Secure Distributed Programming team: Cédric Fournet, Karthik Bhargavan, James Leifer, Francesco Zappa-Nardelli, Pierre-Yves Strub, Alfredo Pironti.

We are actively seeking candidates interested in cryptography, type theory, ML programming, Coq, for the following projects:

Personal tools