Anders Mörtberg
mortberg@mathstodon.xyz
<p>Associate professor (docent) in computational mathematics at Stockholm University.</p><p>I'm interested in HoTT/UF, cubical stuff, constructive mathematics, logic and type theory, category theoretical foundations, functional programming, computer formalization of mathematics and computer science, and much more.</p><p>Webpage: <a href="https://staff.math.su.se/anders.mortberg/" target="_blank" rel="nofollow noopener" translate="no"><span class="invisible">https://</span><span class="ellipsis">staff.math.su.se/anders.mortbe</span><span class="invisible">rg/</span></a></p>
Posts
-
Post #1763207
We have two temporary positions (1 year) as lecturer/associate professor/universitetslektor in Mathematics and Computational Mathematics at Stockholm University: https://su.varbi.com/en/what:job/jobID:919667/where:4/ https://su.varbi.com/en/what:job/jobID:919774/where:4/ If you&#39;re interested in applying and have any questions please email me and I&#39;ll tell you more.
-
Post #1101319
Gothenburg University is hiring a postdoc to work on compilation of cubical programs: https://web103.reachmee.com/ext/I005/1035/job?site=7&amp;lang=UK&amp;validator=9b89bead79bb7258ad55c8d75228e5b7&amp;job_id=40092 Very cool project with lots of potential and interesting research problems to solve. Please help spreading it to interested candidates!
-
Post #956914
We are organizing a 3rd workshop on the syntax and semantics of type theories in Ljubljana June 4-5: https://ul-fmf.github.io/mfps-sstt-2026/sstt/ Contributed talks are very welcome and short abstracts (max 1 page) should be submitted by Thursday March 26 (AoE) through EasyChair: https://easychair.org/conferences/?conf=sstt2026