PhD position in Quantitative logics and complexity theory (Sheffield, UK)

I am looking for a motivated PhD student to join the Foundations of Computation group of The University of Sheffield. The topic of the PhD project is quite flexible, but should relate to my current research directions in quantitative logics and complexity theory. Here possible directions are temporal logics, logical foundations of neural networks, and logical foundations of database theory.
This PhD studentship will fund the full (UK or Overseas) tuition fee and provide a tax-free stipend at the standard UKRI rate (currently £19,237 for 2024/25) for 3.5 years. In addition, both the Department and research group provide funding for attending conferences.