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 offers (L3, M1)
- Analysing security protocols based on low-entropy secrets in the symbolic model
- Security analysis of the LoRaWAN protocol using formal symbolic verification tools
Some Internship (M2)/PhD offers:
- Verification of security protocols using SAT solvers
- Analysis of the Proximity Check Protocol of Contactless Smartcards
- Cryptanalysis using CP solers – the case of division property
Some postdoc / junior researcher position offers:
