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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************
Posts
