Logic List Mailing Archive

PhD student positions in theoretical computer science, Loughborough (England), Deadline: 16 Feb 2018

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.
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam