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)