Postdoctoral position in "A new dawn of intuitionism", Leeds (England)

The University of Leeds School of Mathematics is looking for a Research Fellow to join our project "A new dawn of intuitionism," which seeks to address contemporary foundational concerns from the intuitionistic point of view. The project's broad goals are to advance the proof theory of intuitionistic theories; to determine the proof-theoretic strength of some of the most expressive intuitionistic type and set theories; and to describe computational models of intuitionistic logic and theories.