Logic List Mailing Archive

Two PhD student positions on Reflection Spectra, Gent/Vienna (Belgium/Austria), Deadline: 15 Jul 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: David.FernandezDuque@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@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)


--
[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