[FOM] Research Fellowship -- University of Leeds School of Mathematics

Paul Shafer P.E.Shafer at leeds.ac.uk
Sun Mar 11 12:04:06 EDT 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.

You will contribute to the project by carrying out original research, by preparing research papers for publication in international journals and conference proceedings, and by giving research seminars and conference talks.

You will have a PhD in Mathematics, Computer Science, or a closely allied discipline, alongside experience in at least one of the following areas:  proof theory, computability theory, reverse mathematics or type theory.  You will also have the ability to conduct independent research, supported by a developing track record of publications in leading peer-reviewed journals.  In addition, you will have excellent communication, planning, and team working skills.

Location:  University of Leeds -- Main Campus
Faculty/Service:  Faculty of Mathematics & Physical Sciences
School/Institute:  School of Mathematics
Category:  Research
Salary:  £32,548 to £33,518 p.a.
Working Time:  37.5
Post Type:  Full Time
Contract Type:  Fixed Term (24 months)
Closing Date:  Wednesday 04 April 2018

For further details and to apply, please visit:


Dr Paul Shafer
Prof Michael Rathjen
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20180311/163649c4/attachment.html>

More information about the FOM mailing list