Sujets de postdoc, doctorat et stages  

Postdocs, PhDs, Master thesis and trainee proposals



  Postdoc positions may be available for 2019 (contact me asap)

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 currently available for 2019  (contact me asap) 

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:

Binary-level program analysis and software verification

Constraint solving


Former students/postdocs


PhD students

Master students