Friday, January 19, 2018

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,
                Scheduling and data flow problems in special-purpose networks
                (with Lars Nagel,
                String logics for query languages
                (with Dominik D. Freydenberger,
The closing date is 16th February 2018.