PhD position in Proof Theory (3.5 years), Brighton (UK)

We are seeking a PhD candidate to work in proof theory on the problem of proof equivalence and its applications. Emphasis will be given to the study of proof systems allowing canonical representations of proofs (e.g., Hughes' combinatorial proofs and Girard's proof nets) and connection with games, both in the sense of dialogical games (Lorenz and Lorenzen) and game semantics (Abramsky, Highland and Ong). According to the interest of the candidate, applications to interoperability and usability of automated theorem prover and proof assistant, or applications to the theory of programming languages may be investigated.

Applicants interested in the study of proof theory are encouraged to get in touch with Dr. Matteo Acclavio for additional information and informal inquiries.