Sujets de postdoc, doctorat et stages  

Postdocs, PhDs, Master thesis and trainee proposals




Preliminaries



Postdocs

  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


Postdoc

PhD students

Master students



Back