Don't miss our weekly PhD newsletter | Sign up now Don't miss our weekly PhD newsletter | Sign up now

  New techniques for logic on words

   School of Science

This project is no longer listed on and may not be available.

Click here to search for PhD studentship opportunities
  Dr D Freydenberger, Dr Joel Day  No more applications being accepted  Funded PhD Project (Students Worldwide)

About the Project

This project offers you an opportunity to contribute to research on a new logic on words.

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 Graduate School, including tailored careers advice, to help you succeed in your research and future career.

Find out more.


FC, the finite model version of the theory of concatenation, is a new logic that combines the elegance and expressive power of word equations with the algorithmic properties of relational first-order logic (see arXiv:1912.06110 for more information). In addition to this, FC has immediate applications in information extraction.

This PhD studentship aims to further extend our knowledge on FC, in particular with respect to efficient algorithms for evaluation and model checking, proof methods for inexpressibility, and connecting FC to related models and areas, like document spanners, Datalog, and computational linguistics. Depending on your interests and prior knowledge, you would work on one or more of these questions.

Entry requirements for United Kingdom

Applicants should have, or expect to achieve, at least a 2:1 honours degree (or equivalent) in computer science or a related subject. A relevant master’s degree and/or experience in one or more of the following will be an advantage: logic, algorithms (in particular string algorithms), formal language theory, combinatorics on words.

Please see the programme website for international entry requirements by country.

English language requirements

Applicants must meet the minimum English language requirements. Further details are available on the International website.


All applications should be made online. Under programme name, select 'Computer Science'. Please quote reference number: DF/CO/2022

Computer Science (8)

Funding Notes

Please note that studentships will be awarded on a competitive basis to applicants who have applied to this project and other advertised projects within the School. Funding decisions will not be confirmed until early 2022. The studentship is for 3 years and provides a tax-free stipend of £15,609 per annum for the duration of the studentship plus tuition fees at the UK rate. International (including EU) students may apply however the total value of the studentship will cover the International Tuition Fee Only.

Where will I study?

Search Suggestions
Search suggestions

Based on your current searches we recommend the following search filters.