coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Anders Mortberg <andersmortberg AT gmail.com>
- To: types-announce AT lists.seas.upenn.edu, Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, coq-club AT inria.fr, agda list <agda AT lists.chalmers.se>, eutypes AT cs.ru.nl, Univalent Mathematics <univalent-mathematics AT googlegroups.com>, constructivenews AT googlegroups.com, logic.list AT outlook.com
- Subject: [Coq-Club] PhD positions at Stockholm University (deadline April 22)
- Date: Wed, 19 Mar 2025 10:11:23 +0100
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=andersmortberg AT gmail.com; spf=Pass smtp.mailfrom=andersmortberg AT gmail.com; spf=None smtp.helo=postmaster AT mail-pj1-f50.google.com
- Ironport-data: A9a23:Qz6vXqp5L3IcQdzVpV8C2kt4CiteBmK3YRIvgKrLsJaIsI4StFCzt garIBnQM/yDa2Gmet1wadm/pkhXvcPSmt8yGgJtqCg2RiMS+OPIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSsv7rRC9H5qyo5WtD5w1mPJingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kUO5802upvRlhM/ OUlJRVcMhCdhM6plefTpulE3qzPLeHuNYIb/2lilHTXUK5gTpfETKHHo9Rf2V/chOgURaeYN 5dfM2MxKkmYC/FMEg9/5JYWleGki2PkdjpCtFiYv6Uf7G3azQg327/oWDbQUobTHpsJwR3J9 goq+UzLMjoIOePOzgOj1Vu13uXSkwThaIANQejQGvlC2wDKnjNCVnX6T2CTqv6gz0W6Rth3M F0R4iNorK4o9UXtQMOVYvGjiHuNvxpZQ9gJVuNnsEeCza3b5wvfDW8BJtJcVDA4nO0wVxAK2 kfOptHgHAFilezJSWye2qjB+FteJhMpBWMFYCYFSy4M7N/ivJw/g3rzojBLQP7dYjrdSWGY/ tyakBXSkYn/miLi6klW1VXOgjbpvpqQCwBovkPYWWWq6g4/b4mgD2BJ1bQ5xacbRGp6ZgDe1 JThpyR4xL5TZX1qvHLQKNjh5Jnzu5643MT02DaD5aUJ+TW34GKEdotN+jx4L0oBGp9bJWWyO hWM51oMuc870J6WgUlfM9LZ5yMCnfiIKDgZfqyOBjazSsEhJFDfo3EyDaJu9zq8yBh0ycnTx qt3ge73UC9CVvU5pNZHb+ga1rAvy2g/w2iVLa0XPDz2uYdykEW9EO9fWHPXNr5RxPrd/G39r YwDX+PUkE43eLOlMkHqHXs7dwxiwY4TX82u85Q/my/qClYOJVzN/NeKket5Jt08z/8K/goKl 1nkMnJlJJPErSWvAW23hrpLMdsDhL4m9Slnbx8/d02lwWYiaouJ5aISPcl/N7o++eApibY+Q /AZco/SSr5CWxbWyQQ7NJPdlY1FcAj0pASsOyH+XiMzUaQ9TCP0+/jlXDDVyg8wMgSNu/ATm YaQjjHgfcJbRiBJLtrnV/a0/lbg4VkfgL1TWmXLEPlyeWLt0o5gFALphNRqIctWcRTn7RmZ3 jawHh03i7TsoYg00d+RnoGCjd6jPNVfF3pgPVvwzOiJJwiD2UG806psbf2uQQnNcE/VpICze vRzzdznFf8MwWZxrIt3Foh0wZIE59fAo6FQyiJmFi7pa2uHJ6xBIH6U+9tmrYxIm6FkvDWpV nK1+tV1PauDPOXnGgUzICsnduGy6uEGqALN7PgaIFTI2wEvxeCpCX5tBhirjDBRCJBXM4l/m Ocoh5Mw2jyF0xEvNo6LszBQ+2GyNUc/aqQAtKwBIYrVmwEum0BjY5vdN3fM26uxSe5wa2skH jzFo5D5peV45lHDeH8NB3TyzbJjpZARiitrkn4GBXq0w+TguNFm/Sds4QwWTxtUxCppy+hcG HZmHGwrKLSs/wVHvtliXWetET5vHBeyo1P4yXYVpm/kUG2tWnLHdmEmC93Q/kpDq2N4VRpY9 YG+12zKf2vLfsbw/y1qQm9jiaXpYuJQ/z34uvKMPpq6DbwlRzv62Im8SHEtqSa7MfguhUbCm /ZmzNxwZYL/KyQUha8xUKue6pg9VzGGIzZkbcx63aZUA1zZRi6+6QKOJ2+1ZMlJAf7Aqm28K s52I/NwRwaM7zmPoh8bFJwzDedNxtBx3+U7e5TvOWIimJmcpGAwsJvvqw7PtFVySNBqycsAO ofdcgyZKVOphFxWpnTsqfdVMW/pcPgGYwzBhNqOytsrLK5aku9QchAV6ICW7lG1Kwps+iyGs DzTP5H2y/NQ8qUyvo/OPJgaOSCKB4LdaOC6/jq3kexyVvLUEMKXtwoquljtZAtXGr0KWuVIr 7eGsf+p/UbJoIcJV3v9nr+fHZJo/uS3ZvJcaejsHUlZnAyDec7i2AQC8GaGMq50kMtRy82kZ gmgYu6ySIIxd/JC4kZKMg5yPg04CavlSovB/waGsOWqGBwR9SflPeGX3yblQk8DfxBZJqCkL BH/vsifw+xxraNOIUQhLO5nCZopG23Tc/IqWPOpvAbJE1TypE2Jv4bjsh8S6TvrLH2gO+Si6 LLnQinOTjiDiJvq/vp47bMr5gY2CUxji9YeZkgeot56qw6rBV48cNgyD880NYF2oAfTirfDe zD/XEkzA37cXBNFUynGzvbNYwO9PtEKa/DFfmEH3kXNZymPUdbKRPMr8yp7+H55dwfy1Ozte 5lU5nT0OQP32Z1zA/oa4vugm+p82/fG3TQy9Fvgl9DpSQMraVnQOKeNwCIWPcAGLy3MqKkPD W08RGQBWEPiDECsSYBvfHlaHBxftzTqp9ntgeFj3/6H07h3DsUZoBE8Bw03+rIGZcUOYrUJQ BsbgkOTtnuO1CV7VbQB4roUbGwdNR5PNse/Ja7nAwYVmslcL4jh09wqxUIycS3pxOKT/54xW NVhD7jSyXlp8Hxs5YA=
- Ironport-hdrordr: A9a23:8ywKpKDKmNlfIw3lHelk55DYdb4zR+YMi2TDtnoBMSC9F/bzqy nApoV/6faZskdyZJhCo6HiBEDjewK6yXcd2+B4VotKNzOW3ldAQrsSlLfK8nnOHTbh/vVR2a olX691E83oEFR25PyX3CCIV/glhPaK+L21nuvFpk0dKT1CWuVP60NWBG+gfHGehzMoOXP6Lv ehDwZ8xgZIsE52UviG
- Ironport-phdr: A9a23:W1i7oBf8tYeBX8EGJ51YNRTBlGM+1tbLVj580XLHo4xHfqnrxZn+J kuXvawr0ASTG92DoKsY17uM+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1sI BmssQndqsYajZZtJ6s+zhbFvGZDdvhLy29vOV+ckBHw69uq8pJk7ypepe8q+dRaUaX9caQ4T LhYAyojPmso+sDltgTNQBWW6HcEXWoYjhRHAw7e7BHnRZjxqTf1tvB82CaBI8L7S60/VCm44 KdqTB/ojzoHNyI8/WrKhMF8kL5XrRS8rBFk3YXafJ+aO+Z/fqPFfNMVW2xBXtpKVydcBo+wd pYDA/YdMepdqYT2ulkAogakBQS0C+zhyjFGiHzr06Mkz+ssChvJ0BA6Et8UrHjYsNf4OaEPW u611qnIyjDDYutK1Df79YfHbAohoeqRVrx3dsrR01UvGBjbgVWKpozuIjSY2f4Ls2eG8eVgT /mvi2sgqwFrvjig3dkjipPGho8OxVDE8D92wIcxJdGiVEF7ZtukHYJWuiqHOIR4XtksTHt0u CYm1LIGo5i7cTAUxZon2xPSd/iKf5aH7B7/SOqcICp1iXxrdb6imRq/8Fasx/H/W8S1zltEo CVIn9fCu34D0xHe98mKRuZz8Eu/3zuEyg7d6uZBIU8ulKrbLYYswqAqmZoJqkvDHzX6l1nxj K+TcEgv5+um6/z/b7n4upORM5V4hwL+P6g0hMCzHOU1PhIOUmSH/+m3yaPu/UnkQLVRkv05j LPZvo3bJcUauKG0GxNZ34A+4BilFTimys4XnXwfIVJFZh2Hi4/pNknLIP/iDPe/h02gkC9px /zbJ7HhDJXAImTZnLfuerZ97EFcyA4twtxF+51UDbQBLOryWk/3qtPYEgc0PxKoz+vjEtlw1 YMTVXiRDqOEMa7eq1+F6v43L+mJfoAVuTL9K/Y/5/7piH80gUUSfa+00pQJcnC4BfFmI0KDY XrwmdgOD30KvgUlQezljV2NSz9TZ3KoU60g4TE7DZqqDYHYSY+1mryOwD+7HoFKZmBBEl2AD G/kd5+YVPcUdCKSPshhnyQYWrimUo8tzA2htAvny7V8NefU4S0ZtZf71Ndv/eHTlBcy9SZ1D 8uHyW2NQXt0zSs0QGoqzbhyugl0zFGEzK5zjtRcFMdP/LVSXw4hc4PEwup8Td3+R0aJXtCMT 0qhWsTuPSApQ5oNw9IJeVc1T9Wlixff2DK7H64NmqCLCZsu44rT2H/+I8ty0XHbzLJnhF4jF I8HPmq/w6V76gL7BojTkkzfmbzuPa0T0CeF8GaY0SLatU5UWSZ0UL7ZRjYUZkLSqNnj/QXZQ unqQbk6LhpZxNWqIbAMcMCvi1ECDMrlOcrXZ2+3hy+VDAqIy7aFcIvhYC1JwSPcFkEAngYPu HOPKQgzAy69omnFJDNpEl3rbkz29vRmszWwSUpii0mBaEt6y6Co8QIUm/GaRuwI9r0Dvyglp jpuG0ulxJTdDN/E7w5mc6RXJ9c8+0tv0n/Fswt6PdqrKKUxqEQZdlFeuU/jzQ4/L4JajcInt nximAN0Ja+Cy1ZGbS+S0Ir/ErLSI2j2uhuobviFiRnlzN+K9/JXu7wDoFL5sVTsTxJ6m50G+ 9xc0n/Go47PEBJXS5X6FEA+6xl9objeJCg7/YLdk3N2YuGvqjGX/dUvCaM+zwq4Oc9FOfaNE gP/CdYfANKyIuEwlHCmaxsFOKZZ86tnd9i+ea6+0bWwdP1lgCrgiG1G5I5n1UfZ/ixwR/TT2 pEf3/uVxASvWDL1jVPnucfyyshffT9HOG25xGD/AZJJIK1/eYFeEWC1P8i+3clznbboUn9cs UahXhYIhZfvdh2VYFjwmwZX0Cz7uFSBni21h3xxmjAt9O+E2TDWhv7lf1wBM3JKQ29riRHtJ 5K1hpYURhrgaQ9hjxaj6UvgosoT7K1iM2neR1tJdCnqPiljVKW3rL+Lf89I7tshryxWVO22Z V3SRKT6plMW1CbqHm0Wwz5eFXnis5P1kgZhjWWHMHx+tnXxdsR5xBOZ79vZBLZQ0jcAWChkm GzPHFHvWrvhtd6QlprFrqW/Tzf7DswVIXStl9re8nbjtggISVWlkvu+m8PqC10/2C7/jZxxU DnQ6Qz7ac/t3ri7NuRueg9pAkX94ox0ANIb8MN4iZcO1HwdnpjQ82AAlDK5ONNX1LjlaX0XW TQG2dH97w3s2UklJXWMjdGcND3V0o56at+2b3lDkCs7481QE6KT9qBOkDF6ilW9pAPVJ/N6m 31OrJlmoG5fiOYPtg03yyybCb1HBkhUMxvnkBGQ5sy/pqFaDIq2WYC5z1E23dWoDbXY5xpZR G68YJApWyl58sR4NlvIlnz18IDtPtfKP5ofsRidkhGIiOYwStp5n/wGiDB8PGXnoXco0eETg hln3JX8t4+CY2lg56O2BBdEOya9PZtCvGGwy/wHwIDLh8imBfADUn0TUYHtTO60HT5arvnhO wuUUXU9pnqdBbvDDFqa4UZioWjIFsPjPHWWKX8FiNR6EUPFdQoP3UZOBWt8w8Zqc2LijNbse 0p4+D0Ls1vxqx8Wj/ltKwG6SGDU4gGhdjYzTpGbahtQ9ABLoUnPYqn8pqp+GT9V+pq5oUmDM GueMk5BC20EQFeBAEr/NLS06vHP9uGZAqy1KP6EMtDs4aROEuyFw56iyN4s9jCAO9+UO354E /c2wEVrUnVwGsCfkDIKAX9y9WqFf4uQoxGy/Tdyp8a0/aHwWQ7h0oCIDqNbLdRl/x3lybfGL eObgzx1bCpJzp5Zj2Gd06ARhRRB7kMmPynoC7kLsjTBCb7dirMCRQBOcDt9bYNJ9/5uhVQLY J+DzImpifggyaRpQ1ZdCQ6/xofzPpdMej/lcguAXRfuVvzOJCWXkZ+pJ/rkE/sIyr0T7UX4u C7HQRG9eG7fxn+5D1b3drsUxCCDYE4B4sfkLlA0WDKlFJW/OnjZeJd2lWFknuFy3ymXczZaa X8lLQtMtuHCtHsIxKwgRCoRqCIid7DMmj7FvbCHcdBP4KctWmIs0LsEhRZyg7pNsHMeHK0zy HaU94Q+5Qnhy7bHyyI7AkAX9HAW1MTS7B8kYeKAp9FBQSqWpktTqz/LWlJR/Z09TYS+3sIYg s7GkKa5QNtb2/TT+8ZUR83dKcbddWEkLQKsAjnfSg0MUT+sM2jbwU1bivCbsHOP/NA8rdD3l ZwCR6U+NhR9H+4GCkljAN0JIYtmFjIin7mBiccU5H245BDPTcRet5rDW7qcG/LqYDqeiLBFY VMPz9aaZcwLMZbn3kV5dlRgtIHDGk6VRdIU5yM8Nkk7p0JC9HU4RWo2mgrkZg6r/H4PBKu0k xox2W4cKawm8Dbh5UtyJ0Kf/nNh1hls34+833bMKG2UTu/4R4xdBivqulJkN5r6R1wwdgiuh Ql+MzyCQbtNjrxmfGQtiQnGuJIJF+QPKM8MKBIW2/yTYO0llFpGrSDyj0ZB6ebfEp5ljhcgf ISjh31F0gNnKtUyIOaDQcgBhkgVna+IsiKyg6opxxQCIk8W7G6IUCsBuUhNLrt/YiT1pqpj7 guNnzYFc28JHalPwLoi5gY2POKOyDjl2rhIJxWqNuCRGKievnDJic+CRl5YPqwgmExM/Lww2 sAmIRP8v6EHybKQE1ERN5OHJ1wNKcVV83fXcGCFtuCfmfqd2q2yE+npSamFs6NG2iqZ
- Ironport-sdr: 67da8a63_qHCaK+5YQUVJ8GOgs7ptpU2oe4JK99+lQn3lzZnt8kbk5vC hmLms5J6fvrMOy7sQ19xw+roFPBmTDU6rwjIFNA==
Dear all,
We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm University:
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
We are hiring PhD students in Computational Mathematics and Mathematics at Stockholm University:
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
- [Coq-Club] PhD positions at Stockholm University (deadline April 22), Anders Mortberg, 03/19/2025
Archive powered by MHonArc 2.6.19+.