[HoTT] PhD positions at Stockholm University (deadline April 22)

[HoTT] PhD positions at Stockholm University (deadline April 22)

[Anders Mortberg]

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

Dear all,

We are hiring PhD students in Computational Mathematics and Mathematics at
Stockholm University:

https://su.varbi.com/what:job/jobID:807359/where:4/
https://su.varbi.com/what:job/jobID:803014/where:4/

*Application deadline: April 22*

Please help spread the word to students who are interested in doing a PhD
on type theory, HoTT, computer formalization of CS and math, constructive
mathematics, etc. Note that PhD students here are employed with a salary
and that the position comes with benefits. There are also no tuition fees.

If you are a student interested in doing a PhD with me you are welcome to
apply to both positions above, just make sure you apply to the one in
Computational Mathematics as that is the division I formally belong to.
Please also specify clearly that you want me as an advisor in your
application (e.g. in your cover letter). Please don't hesitate to contact
me if you have any questions.

Best,
Anders Mörtberg

-- 
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/CAMWCppm2Wg3V_H3y6YVnJKi8%3DKp0cT1eDckiUnMfaBsy-iqDYw%40mail.gmail.com.

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