[HoTT] Asst. Prof. in Math. Logic at Stockholm, deadline April 15

[HoTT] Asst. Prof. in Math. Logic at Stockholm, deadline April 15

[Peter LeFanu Lumsdaine]

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

Dear all,

We are hiring an Assistant Professor in Mathematics with focus on
Mathematical Logic (a tenure-track position), at the Stockholm University
Department of Mathematics. Applicants from all areas of logic are welcome,
and we especially welcome applications from women and other
underrepresented groups.

The Logic group in Stockholm currently consists of professor emeritus Per
Martin-Löf, and associate professors Peter LeFanu Lumsdaine and Anders
Mörtberg, besides several PhD students and postdocs. The department is a
vibrant place for logic, with a regular seminar (
https://logic.math.su.se/seminar/), advanced courses in logic, and close
collaborations with other research groups in Sweden and internationally.

More details and application link are at the official listing,
https://su.varbi.com/en/what:job/jobID:796743/where:4/

Application deadline: April 15, 2025, 11:59 PM CEST

Feel free to contact Anders Mörtberg (anders.mortberg@math.su.se) and Peter
LeFanu Lumsdaine (p.l.lumsdaine@math.su.se) if you have any questions about
the position or the logic group, besides the departmental/administrative
contacts named in the listing.

-- 
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-%3Dj3amqOMLE_Vay-CLw-AVfWF0YyGkc4tmWxXXxBqhB3Q%40mail.gmail.com.

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