Logic List Mailing Archive

Postdoctoral position in mathematical logic, Gent (Belgium), Deadline: 24 Nov 2020

**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@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)


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