PhD Positions in Computational Mathematics and Mathematics, Stockholm (Sweden)
Deadline: Tuesday 22 April 2025
The Department of Mathematics at Stockholm University is hiring PhD students in Computational Mathematics and Mathematics. Students who are interested in doing a PhD on type theory, HoTT, computer formalization of CS and math, constructive mathematics, etc. are encouraged to apply. Note that PhD students here are employed with a salary and that the position comes with benefits. There are also no tuition fees.
For more information, see
https://su.varbi.com/en/what:job/jobID:807359.