Please note that this newsitem has been archived, and may contain outdated information or links.
Postdoctoral position in "A new dawn of intuitionism", Leeds (England)
Deadline: Wednesday 4 April 2018
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.
For more information, see
https://jobs.leeds.ac.uk/Vacancy.aspx?ref=MAPMA1079.
Please note that this newsitem has been archived, and may contain outdated information or links.