Postdocs, PhDs, Master thesis and trainee proposals



  Positions for 2021:  ** contact me **

PhD topics

We are interested in candidates willing to work around binary-level security, formal methods & program analysis, constraint solving andmachine-learning for code analysis. Some keywrods: fuzzing, symbolic execution, reverse, vulnerabiliuty analysis, code hardening, etc.

PhD positions for 2020 - 2021:  ** contact me ** 

Master thesis-Trainees  (level: L3, M1, M2)

We offer essentially 6-month internships for Master-degree students, yet adaptation to 3-month internships is possible.  Most internships can lead to a doctoral program with associated PhD grants.

Positions for 2020-2021:    HERE


Current and former students/postdocs


PhD students

Master students