[TYPES/announce] Postdoc position in Logic, Gothenburg (Sweden), Deadline: 31st May 2018

[Graham Leigh]

POSTDOC POSITION IN LOGIC, GOTHENBURG (SWEDEN)
* University of Gothenburg, Sweden
* Duration: 2 years, starting Autumn 2018
* Deadline for applications is 31st May 2018
* The Department of Philosophy, Linguistics and Theory of Science at University of Gothenburg is inviting applications for a Postdoc position in Logic. Topics of interest include proof-theoretic studies of reflection and induction, axiomatic theories of truth, type-theoretic foundations, and fixed-point calculi such as the modal mu-calculus.
* For full details see http://www.gu.se/english/about_the_university/job-opportunities/vacancies-details/?id=1637