[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:
https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/people.aspx

The two adverts are here:

https://www.jobs.ac.uk/job/CVL993/associate-professor-research-and-education
https://www.jobs.ac.uk/job/CVR578/assistant-professor-research-and-education

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



More information about the Agda mailing list