[Agda] Positions at Birmingham, UK, Computer Science

Martin Escardo m.escardo at cs.bham.ac.uk
Tue Dec 13 19:36:46 CET 2022

Computer science and maths friends:

We are hiring associate and assistant professors at Birmingham, Computer 
Science Department, in particular in our vibrant Theory Group:

The two adverts are here:


Feel free to contact me or anybody in the theory group.

More information about the Agda mailing list