[Agda] PhD Scholarships in Mathematics and computation

[Martin Escardo]

We have funding for PhD studentships in mathematics and computation in 
our Theoretical Computer Science group 
https://www.cs.bham.ac.uk/research/groupings/theory/

If you are interested, please approach an academic from the above web 
page, with Cc: to me, briefly explaining your research interests and 
academic qualifications. After you approach us we will give you further 
information and instructions.