[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
Applications are invited for a postdoctoral position at the Mathematics
division of the University of Iceland. This position is in a project to advance
and promote (type-theoretic) computer-assisted proofs in Iceland
The application deadline is 28 February 2025:
https://urldefense.com/v3/__https://akc.is/ad/postdoc-2025/__;!!IBzWLUs!XWdqFa3RjUb_2aEsG4sTKZst91Kzexaq-RjK6uuAGxne-0pMy6UoasFr7cgohjL8ynf5Hxf1t1pn57w7P77SxOw$
Details about the project can be found here:
https://urldefense.com/v3/__https://icetcs.github.io/iceproof/__;!!IBzWLUs!XWdqFa3RjUb_2aEsG4sTKZst91Kzexaq-RjK6uuAGxne-0pMy6UoasFr7cgohjL8ynf5Hxf1t1pn57w7cY-tGoM$
Cheers,
Anders Claesson, akc at hi.is
