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, M.Kufleitner@lboro.ac.uk)
Scheduling and data flow problems in special-purpose networks
(with Lars Nagel, L.Nagel@lboro.ac.uk)
String logics for query languages
(with Dominik D. Freydenberger, D.firstname.lastname@example.org)
The closing date is 16th February 2018.