PhD position (Utrecht/Eindhoven, NL): ITPs for education

Stream: job postings

[Johan Commelin]

Jim Portegies, Paige North, and I (Johan Commelin) are looking for a PhD student to work on the development of proof assistants for education such as Waterproof [1] (see [2] for a project description). The position will be based at the University of Utrecht (though it will also include collaboration with the Technical University of Eindhoven) and will start in Fall 2024. We will consider applications until the position has been filled, so please contact one of us soon if you are interested. You can reach me via Zulip DM or at j.m.commelin@uu.nl.

[1] https://impermeable.github.io

[2] https://paigenorth.github.io/tue-uu-project.pdf