[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
