Joint UGent-TU Wien PhD Positions in Logic

[David Fernández Duque]

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: David.FernandezDuque at UGent.be

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 
David.FernandezDuque at UGent.be, 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)