[TYPES/announce] Postdoc position at University of Iceland

[Anders Claesson]

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