Applications are invited for a postdoctoral position at the Mathematics division of the University of Iceland. This position is in a University Collaboration Fund project to advance and promote computer-assisted proofs in Iceland, in particular to introduce this technology to mathematics students at the University of Iceland and computer science students at Reykjavik University. The postdoc has to prepare teaching material in a type-theoretic proof assistant (Lean) and teach from it. There is also room for research in this field as well as in combinatorics.
Start date: Soonest, the funding is until the end of May 2026.
The gross salary depends on a few factors, but is around 700 000 ISK (~4770 EUR) per month.
To apply, please send me a motivation letter explaining your background and interests together with your CV (including the names of two references) and copies of degree certificates latest by 28 February 2025. The applicant is expected to have a PhD in mathematics, computer science, or a related field, and be proficient at using proof assistants. An interest in combinatorics is a plus.
Anders Claesson | akc@hi.is | https://akc.is/