Logic List Mailing Archive

CfA: PhD Positions in Computational Mathematics and Mathematics, Stockholm (Sweden), Deadline: 22 April 2025

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 Mrtberg
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php