<div dir="ltr">Dear all,<br><br>We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm University:<br><br><div><a href="https://su.varbi.com/what:job/jobID:807359/where:4/">https://su.varbi.com/what:job/jobID:807359/where:4/</a></div><div></div><a href="https://su.varbi.com/what:job/jobID:803014/where:4/">https://su.varbi.com/what:job/jobID:803014/where:4/</a><br><br><b>Application deadline: April 22</b><br><br>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.<br><br>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.<br><br>Best,<br>Anders Mörtberg</div>