Postdoctoral fellowship in mathematical logic, Stockholm (Sweden)

The Department of Mathematics at Stockholm University is looking for a Postdoctoral Fellow in Mathematical Logic. The main responsibility is to conduct research. A broad spectrum of different projects within mathematical logic are possible, but with a preference for projects including type theory, in particular homotopy type theory, constructive set theory, category theory and categorical logic, topos theory, point-free topology and locale theory or other constructive aspects of mathematical logic.

The position also includes some teaching duties (up to 20 %), which may include supervision of students. The successful applicant is expected to participate in activities in the department, in particular by attending and contributing talks in the logic group's seminar. The position involves full-time employment for a maximum of two years, with the possibility of extension under special circumstances. Start date is 2018-09-01 or as per agreement.