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

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

[Peter LeFanu Lumsdaine]

[-- Attachment #1: Type: text/plain, Size: 1358 bytes --]

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.

-- 
You received this message because you are subscribed to the Google Groups "Homotopy Type Theory" group.
To unsubscribe from this group and stop receiving emails from it, send an email to HomotopyTypeTheory+unsubscribe@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/HomotopyTypeTheory/CAAkwb-%3DU5-g5RpR4KP%2BgQEKyY_x-qjB3iDGnSOdfk54OdBHxsQ%40mail.gmail.com.

[-- Attachment #2: Type: text/html, Size: 1963 bytes --]