[Agda] Postdoc in Type Theory/Logic, Stockholm Univ. (deadline 4 Nov)

[Peter LeFanu Lumsdaine]

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 <p.l.lumsdaine at math.su.se> if you have any inquiries
about the position — the application procedure, our department,
Stockholm/Sweden, etc…

Best wishes,
–Peter.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20241025/126f75fa/attachment.html>