<div dir="ltr">Dear all,<br><br>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.<br><br>The full posting and application system is at:<br>[English] <a href="https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=24395&rmlang=UK">https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=24395&rmlang=UK</a><br>[Swedish] <a href="https://www.su.se/om-universitetet/jobba-p%C3%A5-su/lediga-jobb?rmpage=job&rmjob=24394&rmlang=SE">https://www.su.se/om-universitetet/jobba-på-su/lediga-jobb?rmpage=job&rmjob=24394&rmlang=SE</a><br><br>Although the instructions ask for ≤3-years post-PhD, exceptions can be made to this, so I encourage all interested candidates to apply!<br><br>And please email me <<a href="mailto:p.l.lumsdaine@math.su.se">p.l.lumsdaine@math.su.se</a>> if you have any inquiries about the position — the application procedure, our department, Stockholm/Sweden, etc… <br><br>Best wishes,<br>–Peter.<br></div>