Postdoctoral position in logic at UGent

[David Fernández Duque]

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)