Postdocs, PhDs, Master thesis and trainee proposals



  Positions for 2019-2020: comming soon (you can already contact me)

PhD topics

We are interested in candidates willing to work around binary-level semantic analysis, dynamic symbolic execution, constraint solving for verification-related problems and machine-learning for code analysis. We are particularly interested in application of these technologies to computer security.

** PhD positions available for 2020: coming soon ** 

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. A few examples:

Positions for 2019-2020:    HERE


Former students/postdocs


PhD students

Master students