Universiteit van Amsterdam

PhD student positions in theoretical computer science, Loughborough (England)

Deadline: Friday 16 February 2018

The School of Science at Loughborough University is funding the following three PhD studentships with start date 1st October 2018:
- Applications of finite semigroups in formal verification (with Manfred Kufleitner)
- Scheduling and data flow problems in special-purpose networks (with Lars Nagel)
- String logics for query languages (with Dominik D. Freydenberger)