The job requirements are detailed below. Where applicable the skills, qualifications and memberships required for this job have also been included.
The University is dedicated to supporting an equitable, diverse, and inclusive environment – to create better futures, together. The diverse backgrounds, characteristics and opinions within our community are our great strength and are key to our pursuit of delivering educational excellence, enterprise, research and professional services. We welcome applications from people from diverse backgrounds and minoritized groups as they are currently under-represented within our community.
We recognise the value of a fulfilling and balanced work and personal life which promotes wellbeing. We seek to support colleagues in achieving this balance and have family-friendly policies, flexible working arrangements and many roles can be suitable for dynamic working arrangement. This includes considering applications to work on a part-time, flexible and job share basis wherever possible.
Loughborough University is a UKVI Sponsor. Some individuals may require sponsorship to enable them to apply for a visa to provide them with the right to work in the UK. Please note certain roles are not eligible for sponsorship. For further information and eligibility please visit the UKVI website.
School of Science, Department of Computer Science
Applications are invited for a post-doctoral research associate in theoretical computer science. This position is funded through the EPSRC project "Foundations of the Finite Model Theory of Concatenation" with Dr Dominik Freydenberger.
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 (for details, see arXiv:1912.06110).
The main topics of the project are the efficient evaluation of FC-formulas; techniques for proving inexpressibility in fragments of FC; and the use of FC for information extraction, in particular in connection to document spanners.
The post would ideally suit a candidate with experience in one or more of logic, database theory, formal language theory, combinatorics on words, string algorithms.
This is a full-time position until 30 June 2021, to commence as soon as possible.
Informal enquiries should be made to Dr Dominik Freydenberger by email to d.d.freydenberger@lboro.ac.uk.
Closing date: 27 July 2021
Please follow this link for further details.