Logic List Mailing Archive

Postdoctoral position in "A new dawn of intuitionism", Leeds (England), Deadline: 4 Apr 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:

https://jobs.leeds.ac.uk/Vacancy.aspx?ref=MAPMA1079

Dr Paul Shafer
Prof Michael Rathjen
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam