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, 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)
                http://www.jobs.ac.uk/job/BGY228/
               
                String logics for query languages
                (with Dominik D. Freydenberger, D.d.freydenberger@lboro.ac.uk)
                http://www.jobs.ac.uk/job/BGY158/
 
The closing date is 16th February 2018.