[Job-offers-cs] Postdoc position at University of Iceland

[Pekka Orponen]

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