Postdoc position at the University of Iceland

Stream: job postings

[Dagur Asgeirsson]

I was asked to share the following:

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