Want to leave the US? Stockholm University is hiring PhD students in Computational Mathematics and Mathematics, and these positions are open to people with any nationality:

https://su.varbi.com/en/what:job/jobID:807359/where:4/
https://su.varbi.com/en/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 Anders Mörtberg, who works on higher inductive types using cubical type theory:

https://staff.math.su.se/anders.mortberg/

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 he formally belongs to. Please also specify clearly that you want him as an advisor in your application (e.g. in your cover letter).

(1/2)