[Agda] 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://akc.is/ad/postdoc-2025/

Details about the project can be found here:
https://icetcs.github.io/iceproof/

Cheers,
Anders Claesson, akc at hi.is