<div dir="ltr"><div>Dear all,</div><div><br></div>Johan Commelin, Jim Portegies, and I (Paige North) 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 at <a href="mailto:p.r.north@uu.nl">p.r.north@uu.nl</a>.<div><br></div><div>Best,</div><div>Paige</div><div><br>[1] <a href="https://urldefense.com/v3/__https://impermeable.github.io__;!!IBzWLUs!QCAQtq6wlyt_APupNyav52geYmWUNGr7CeTW-76cnAP7Tz5TdHU_9uz-6iMRPwEWiC_11INuEz2Gm1s_cWjw7uuOjLN7wT-y6Q$">https://impermeable.github.io</a><div><br></div><div>[2] <a href="https://urldefense.com/v3/__https://paigenorth.github.io/tue-uu-project.pdf__;!!IBzWLUs!QCAQtq6wlyt_APupNyav52geYmWUNGr7CeTW-76cnAP7Tz5TdHU_9uz-6iMRPwEWiC_11INuEz2Gm1s_cWjw7uuOjLPgvbctVQ$">https://paigenorth.github.io/tue-uu-project.pdf</a></div></div></div>