(Updated) PhD position "A Foundational Theory of Information Based on Inference" at University College London [UK]
Deadline: Monday 5 January 2026
Applications are invited for a PhD studentship at UCL with project title 'A Foundational Theory of Information Based on Inference'. Research Area(s): Logic & Combinatorics (especially proof theory) and Theoretical computer science (especially logic, abstract models, logical concepts, semantics). The joint supervisors are Tim Button and David Pym.
UK and international candidates can be considered.
For more information, see
https://ucl-epsrc-dtp.github.io/2026-27-project-catalogue/projects/2531bd1693.html
or contact Tim Button at tim.button at ucl.ac.uk, or David Pym at david.pym at sas.ac.uk.