[DMANET] PhD studentship in Theoretical Computer Science

The School of Science at Loughborough University is funding the following PhD studentship 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>)
https://www.jobs.ac.uk/job/BJY431/

The closing date is 15th June 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/
*
**********************************************************