Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

Joint UGent-TU Wien PhD Positions in Logic

Deadline: Wednesday 15 July 2020

PhD POSITIONS IN MATHEMATICAL LOGIC
*Application deadline: July 15th, 2020*

Project: Reflection Spectra: Predicative Mathematics and Beyond
Host institutions: Ghent University and TU Wien
Supervisors: Juan Pablo Aguilera, David Fernández-Duque and Andreas Weiermann
Funding bodies: FWO and FWF
Duration: October 2020 - September 2023
Contact:

Submissions are welcome for up to two fully-funded PhD positions in mathematical logic within the joint research project "Reflection Spectra: Predicative Mathematics and Beyond". The project aims to develop a novel approach to proof-theoretic analysis based on iterated reflection principles and apply it to prominent theories of second order arithmetic and weak set theories. Successful candidates are expected to enrol into a joint doctoral program between the two institutions.

Candidates are expected to have a Master's degree in mathematics, computer science, or similar, with a strong background in mathematical logic. Familiarity with proof theory, modal logic (including topological semantics), recursion theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required.

Interested parties may send their application to , consisting of the following documents:
+ Letter of motivation
+ Full CV
+ Name and e-mail address of two or three references
+ Transcript of Bachelor's and Master's grades
+ Master's diploma (to be handed in before October 1st 2020)

Please note that this newsitem has been archived, and may contain outdated information or links.