Postdoctoral and PhD student position in mathematical logic, Gent (Belgium)

Postdoc position, October 2021 - September 2024

Application deadline: 31 July, 2021.

Submissions are welcome for one postdoctoral position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for postdoc positions in Belgium. Candidates are expected to have a PhD in mathematics, computer science, or a similar subject and have experience conducting research in mathematical logic. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required.

Interested parties may send their application to fedor.pakhomov at ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of two or three references + Copy of PhD thesis and 2 selected research papers + PhD diploma (to be handed in before September 1st 2021)

---

PhD position, October 2021 - September 2025

Application deadline: 31 July, 2021.

Submissions are welcome for one PhD position in mathematical logic within the research project "Recursion, reflection, and second-order arithmetic". The project aims to make developments in the area of proof theory of fragments of second-order arithmetic. The salary will be standard for PhD positions in Belgium. Candidates are expected to have a MSc in mathematics, computer science, or a similar subject. Familiarity with proof theory, reverse mathematics, and category theory, or other relevant sub-fields is desirable. Proficiency in written and spoken English is required.

Interested parties may send their application to fedor.pakhomov at ugent.be, consisting of the following documents: + Letter of motivation + Full CV + Name and e-mail address of one or two references + Copy of Master thesis + MSc diploma (to be handed in before September 1st 2021)