the scandinavian logic society

slideshow 1

Postdoctoral Researcher in Logic (Gothenburg)

Postdoctoral Researcher in Logic
Employment level: Time limited employment (temporary)
Location: Dept of Philosophy, Linguistics & Theory of Sci. University of Gothenburg
Apply by: 2018-05-31

The successful applicant will be employed on the project Reflection and Truth, financed by Knut and Alice Wallenberg Foundation and the University of Gothenburg, and led by Graham Emil Leigh. This project investigates the philosophical, mathematical and computational properties of reflection principles and formal truth through a cross-disciplinary research team. Current foci of the project include proof-theoretic studies of reflection principles, axiomatic theories of truth, type-theoretic foundations, and fixed-point calculi such as the modal mu-calculus.

More information

 Photo of Mount Akka / Àhkka massif seen from the high plateau Maukojaureh north-east of it by Tobias Radeskog / CC BY 3.0.