We are always looking for good interns. We have several PhD and post-doc positions on subjects related to the project. You may contact the project PI and send her your academic CV.
Some Internship (M2)/PhD offers:
- Verification of security protocols: Squirrel prover.
- Verification of security protocols: application to e-voting
Some postdoc / junior researcher position offers:
Rencontre avec N. Loiseau et J-Y. Le Drian, 10 mai 2019.
Rencontre avec F. Vidal Ministre de l'Enseignement supérieur, de la Recherche, et de lnnovation, 11 janvier 2019.
