Dear all,

We have a postdoc position open in type theory and mathematical logic, for a 2-year post, starting this coming January, with application deadline Nov 4 (i.e. Monday week — sorry for the rather late announcement). Type theory is the core of the grant project it’s attached to, but applicants working on related topics in logic are also very welcome.

The full posting and application system is at:
[English] https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=24395&rmlang=UK
[Swedish] https://www.su.se/om-universitetet/jobba-på-su/lediga-jobb?rmpage=job&rmjob=24394&rmlang=SE

Although the instructions ask for ≤3-years post-PhD, exceptions can be made to this, so I encourage all interested candidates to apply!

And please email me if you have any inquiries about the position — the application procedure, our department, Stockholm/Sweden, etc…

Best wishes,
–Peter.