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:
- Formal analysis of security APIs using Tamarin
- Cryptanalysis using CP solers – the case of division property
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.
