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

[Anders Mortberg]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20250319/ab9c038c/attachment.html>