Sujets de postdoc, doctorat et stages  

Postdocs, PhDs, Master thesis and trainee proposals



  Several postdoc positions are available for 2017 (starting: asap, deadline: first round of selection for May)

PhD topics

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

PhD positions currently available for 2017 (starting: october 2017, deadline: first round of selection for May) 

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

Software verification

Constraint solving


Former students/postdocs


PhD students

Master students