[Agda] Postdoc position (7 months) on type theory, working remotely is possible

[Benedikt Ahrens]

Dear All,

I am advertising a short (7 months) postdoc position with me. The job is
physically located in Birmingham, UK, but can be done remotely.

The starting date is flexible, but the end date is fixed at 28 February
2022 (which is the end of the project that funds this position).

Background: the current post holder, Jacopo Emmenegger, is moving on to
a prestigious fellowship [1].

The official advertisement and application form are located at [2]. For
any questions, please contact me at b.ahrens at cs.bham.ac.uk .

Best,
Benedikt


[1] https://kaw.wallenberg.org/en/jacopo-emmenegger
[2]
https://bham.taleo.net/careersection/external/jobdetail.ftl?job=210000PQ