[DMANET] Postdoc position at Loughborough University, UK

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 https://doi.org/10.4230/LIPIcs.ICALP.2021.130 ).

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<mailto:d.d.freydenberger@lboro.ac.uk>

Further information and instructions on how to apply can be found at

https://vacancies.lboro.ac.uk/tlive_webrecruitment/wrd/run/ETREC107GF.open?VACANCY_ID=632734KyO0&WVID=5913100PrZ

Closing date: 27 July 2021

**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************