[DMANET] PhD studentships in Theoretical Computer Science

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<mailto:M.Kufleitner@lboro.ac.uk>)
http://www.jobs.ac.uk/job/BHA830/

Scheduling and data flow problems in special-purpose networks
(with Lars Nagel, L.Nagel@lboro.ac.uk<mailto:L.Nagel@lboro.ac.uk>)
http://www.jobs.ac.uk/job/BGY228/

String logics for query languages
(with Dominik D. Freydenberger, D.d.freydenberger@lboro.ac.uk<mailto:D.d.freydenberger@lboro.ac.uk>)
http://www.jobs.ac.uk/job/BGY158/

The closing date is 16th February 2018.

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************