PhD Studentship: String Logics for Query Languages

Loughborough University

Start date of studentship: 1st October 2018

Closing date for applications: 16th February 2018

Supervisors:

Primary supervisor: Dr Dominik D. Freydenberger

Loughborough University is a top-ten rated university in England for research intensity (REF2014). In choosing Loughborough for your research, you’ll work alongside academics who are leaders in their field. You will benefit from comprehensive support and guidance from our Doctoral College, including tailored careers advice, to help you succeed in your research and future career.

Find out more: www.lboro.ac.uk/study/postgraduate/supporting-you/research

Full Project Detail:

Recent literature has established close connections between existential string logics (based on word equations) on the one side, and query languages for graphs and texts on the other. For each of these models, standard questions are hard to answer: Evaluation is usually at least NP-hard, and static analysis problems are PSPACE-hard or undecidable.

This project aims to identify string logics for which these problems become tractable, and to apply these results to query languages and texts and graphs (in particular document spanners and variants of ECRPQs). Hence, the project combines fundamental research in the intersection of logic and combinatorics on words with its application to database theory.

Find out more:

www.lboro.ac.uk/science/study/postgraduate-research/studentships

Entry requirements:

Applicants should have, or expect to achieve, at least a 2:1 Honours degree (or equivalent) in a related subject and should have a good background and understanding in mathematics, logic, algorithms, or formal language theory.

Funding information:

This studentship will be awarded on a competitive basis to applicants who have applied to this project and/or any of the advertised projects prioritised for funding by the School of Science.

The 3-year studentship provides a tax-free stipend of £14,553 (2017 rate) per annum (in line with the standard research council rates) for the duration of the studentship plus tuition fees at the UK/EU rate.  International (non-EU) students may apply however the total value of the studentship will be used towards the cost of the International tuition fee in the first instance.

Contact details:

Name: Dr Dominik D. Freydenberger

Email address: d.d.freydenberger@lboro.ac.uk

Telephone number:  +44-1509-223188

How to apply:

All applications should be made online at www.lboro.ac.uk/study/apply/research. Under programme name, select Computer Science

Please quote reference number: DF/CO/2018

Share this PhD
     
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

PhD

Location(s):

Midlands of England