[Agda] PhD position in Utrecht

[Wouter Swierstra]

Dear all,

Johan Commelin, Jim Portegies, and 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 Utrecht University (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. Please contact Paige at p.r.north at uu.nl if you are interested.

All the best,

   Wouter


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

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