Postdoc Position (1y) in Cyclic & Non-Wellfounded Proof Theory, Bern (Switzerland)

A one-year postdoctoral position is open in the project "Non-wellfounded and Cyclic Proof Theory"  in the Logic and Theory Group of the Institute of Computer Science at the University of Bern. The starting date is negotiable. The possition is for one year, an extension by a few months may be possible.

This SNSF-funded project is concerned with fixed points, recursive definitions, and proofs by induction, which are essential concepts in mathematics and computer science. In recent years, a novel approach to formal proofs representing concepts of this kind has become popular, namely non-wellfounded and cyclic proofs. These proofs not only derive propositions from axioms, but they also provide a formal counterpart to proofs by infinite descent, i.e. proof branches that are not well-founded but satisfy some global soundness condition. In this project, we aim for a better understanding of the structural properties of non-wellfounded and cyclic proof systems.