coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoctoral position in homotopy type theory and related topics at Stockholm University

From: Anders Mortberg <anders.mortberg AT math.su.se>
To: Homotopy Type Theory <homotopytypetheory AT googlegroups.com>, types-announce AT lists.seas.upenn.edu, Agda mailing list <agda AT lists.chalmers.se>, coq-club AT inria.fr, lean-user AT googlegroups.com, constructivenews AT googlegroups.com, logik AT math.su.se, Categories list <categories AT mta.ca>
Subject: [Coq-Club] Postdoctoral position in homotopy type theory and related topics at Stockholm University
Date: Mon, 6 Sep 2021 13:43:02 +0200
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=anders.mortberg AT math.su.se; spf=Pass smtp.mailfrom=anders.mortberg AT math.su.se; spf=None smtp.helo=postmaster AT mail-prod-route07.it.su.se
Ironport-hdrordr: A9a23:Jt4zRa01atwSjWXbwCILrAqjBYBxeYIsimQD101hICG9Lfb5qyn+ppUmPEHP5gr5AEtQ5uxoS5PwP080lKQFobX5WI3JLWrbUQSTXfpfBOfZslnd8mjFh5JgPMRbAutD4b/LfCJHZK/BiWHSfrlQoqjjzEnrv5ai854Hd3ANV0gU1XYANu/tKDwOeOApP+tfKLOsoupinQDlVFA+Ve7+LmUZXuTFut3AnI/nZxlDPBI89AySl1qThILSIly95FMzQjlPybAt/SzuiAri/JiutPm911v1y3LTx44+oqql9vJzQOi3zuQFIDTljQilIK57XaeZgTwzqOazrH43jdj3pQs6Ncgb0QKUQoj1m2qr5+DT6kd215bQ8y7BvZIlm72jeNsOMbsGuWueSGqC16NvhqAg7EsB5RPpi3MeN2KxoM263amLa/i8rDvpnZLp+dRj0EC2kuMlGeFsRUl2xjIGLH/FdBiKu7zOuoFVfZThDDE/SyLLU5hV1lMfkeBEF05DbCuuWFQNtMCOzjRaqnhl0kMTxcgSmWo37p4mUZlD4NLFP81T5cJzZ95TYqRnCOgbR8yrTmTLXBLXKWqXZU/qDacdJhv22tLKCZgOlauXkaYzvdYPcVX6ISVlnH93f1irBdyF3ZVN/ByISGKhXS71wsUb45RioLXzSLfiLCXGETkV4oWdiuRaBteeV+e4OZpQDfOmJWzyGZxR1wm7X5VJM3ERXMAcp95+UVOTpcDALJHsq4XgAbnuDauoFSxhVnL0A3MFUjS2LMJc7lqzUnu9mxTVU2OFQD21wXuxKtmTwwE38vlNCmRhiHlgtb2J3LDDFdQZiN1CQKJXGsKRrp+G
Ironport-phdr: A9a23:F09baR/C3Ka6rP9uWbi7ngc9DxPPW53KNwIYoqAql6hJOvz6uci4ZAqOvL4w0xfgZsby07p8ke3YsqTtCyQrwK2qlzQ8SqFKTAIPks4MngYtU4avAEz/K+P2PWRhRJwRHFBq8GumPkdLBc3we0PdomGo7T4VBx7zKRd5Kv76F4LMk8i7zeS/94DcbwhIhje2fK9/IgixoQjNrMcdnJFsKrw2yhvHo3tIf/pZyGZ1Ll+NnBjy+9m98od7/ytfp/wu+chAUb7nf6sjVrxXEC4mM2Eu68L1sxTIUBaC6WEdUmUSlRpIHhTF4RTnVZr/rif2quxw0zSBMMboUb47Ryit76ZzSB/pligHMSI58HrKgcB0la5XvQ6tqwB6z4PSfYqbNudxfrnFcNwVRWRPUMVfWTFfDIygdIYAFfYNMPxCooXhu1cDrx2zDhSsCuP1zT9Ig2f70LE80+s8Dw7GxhcgFM8JvnTTttX1KLwdXv6vzKnH0D7OaOlZ2THg54fWaBAhuuuAXbd3ccrL1UkgDB3Kjk+fqYH+OjOazPgNs2iB4+p7SOKjkXUnpB9orzWp28wjhZXHiJgPxVDY6SV23pw1JdugRUJnfNKpEoZcuiGUOodoXM4vXWFltSUkx7EbpZK2czQGxpQmyhPbaPGKb4aG7xH9WeuVLzp1hX1odba+ihqu/0atzPD3WMez0FZPtCVFk9/Mu2gW1xzO8MSHUeVy80G80jiMzwDe8uNJLEIumabFJZMswaQ8m5QTvEjZESL7ml36gLGXe0k4+OWl7urnb7b9qZOAMoJ5hQLzP6Uhl8G6H+g0Lg0DUm2F9umy2rDu+1DyTq9Qgf0siKbZtYjXJcQFqa69BA9YyoMj5Ay+DzeiydgYhWMHLFVYdx6elYjpPEzOIOzmAvujgVmgijZrx+zcMr36H5XBNGPDn6n5cbZ87U5T1hYzwMhd6p9WEL0NPvz+V0zruNHWDhI1KQO5zuT/BNV4zIweWGaPAqGDMKPVtF+F/vggI++Ra4ALojb9MOIp5/vpjX8jhV8SZrem3YEYaH2jG/RpOVmZYXr2jtcaDGcGpBE+Q/LyhF2YTTFTf2qyX7475jwjFI2mCp7DSpmxj7yFwSe0BYZbZntGC1CJCXfnbZ+IW/YKaCKII89uiCYIVba7S9xp6Rb7lAj/zKZgNvucxjwAuNrf1NVy/fybwRE18DtoCNyMz3CVQn10k2QSVhc526dwpUFy0FCeybM+iPtdQ5gb++JRXxx/PJjayPF8AN3aXgPaYszPU1uvWZO7GTw3SJQ8z8JKK29yF9zqixnC2yusDPcRlqeXTMg9/a7V93zwPNpmjX3G3a0kgkM9BNBCYynujalmsgPXGoThkkODlq/se75YlCrA/WHG0HGDpmlXVwl/VajKR3cCflCQptP8ogvJSLm1Fa46ORdA18OEJ7RRQtLuilpCSfj5P8nGeCS6nGL0TRKPybKPRI/jZ2VbxzibE0VA2ysa4XuJMhI/Czzpp2PFEHQ6Hlvzbkzr6+hzs1u+UkZyxAjcPGN70L/g0xgZiOaHA9YUxK4OtT0u42F9GlqwxcmQDt2auwBsZqp0ZNoh4BFcyCTCuloubdSbM6l+iwtGIExMtET02kAyU90Y+SDFhHYj0Ao0Mr/ey14TLltwPLj1M7zTb3Ho+xzqcanLxlyGj5CX5uEU9bIjpge71OlMPk8r73UhyMQTyHbOvv33

Dear all,

I’m pleased to announce that we’re hiring a postdoctoral researcher in homotopy type theory and related topics at Stockholm University. It’s a 2 year position, provisionally starting January 2022, in the computational mathematics group of the Mathematics Department. The application deadline is 1 October.

We welcome all applicants interested in working on homotopy type theory and related topics. Potential project topics include, but are not limited to: homotopy type theory, categorical models of type theories, cubical type theories, implementation of proof assistants, computer formalization of mathematics and computer science.

Full details and application at: https://www.su.se/english/about-the-university/work-at-su/available-jobs?rmpage=job&rmjob=15797&rmlang=UK

Departmental webpage: https://www.math.su.se/english/research

Please get in touch with me if you have any questions about the position!

Best,

Anders

[Coq-Club] Postdoctoral position in homotopy type theory and related topics at Stockholm University, Anders Mortberg, 09/06/2021