Postdoctoral position in mathematial logic, Gent (Belgium)

Project: Proof and Model Theory of Intuitionistic Temporal Logic

Host institutions: Ghent University and University of Bern

Supervisors: David Fernández-Duque, Thomas Studer, and Andreas Weiermann

Funding bodies: FWO and SNSF

Duration: January 2021 - December 2023

Contact: David.FernandezDuque at UGent.be

**Deadline: 24 November, 2020.**

Submissions are welcome for one postdoctoral position in mathematical logic within the joint research project "Proof and Model Theory of Intuitionistic Temporal Logic". Intuitionistic temporal logics are variants of the classical linear temporal logic that may be naturally interpreted over dynamic topological systems. Their study is relatively new and many fundamental questions remain open, including a proof-theoretic development.

Candidates are expected to have a PhD in mathematics, computer science, or similar and have experience conducting research in mathematical logic. Familiarity with modal and intuitionistic logic (including topological semantics), constructive analysis, proof 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

+ PhD diploma (to be handed in before January 1st 2021)