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: