[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
I have an opening for a postdoc in my group at the University of Birmingham:
https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DGW925/research-fellow-in-proof-theory-ii__;!!IBzWLUs!Sk8LsvLo4EEhYOKKs9yxLwsZGjaTki3XhiBP6FS-aHelhIoVKpHWE3eAp9svkqlmHcQSoVQk9_xb11G1Bw3VQBimw25DwI8$
The University of Birmingham has a world leading group in theoretical computer
science, covering proof theory, mathematical foundations, type theory, category
theory and complexity theory. The group has been steadily growing and now
includes over 40 members (including permanents, postdocs, phd students):
https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation__;!!IBzWLUs!Sk8LsvLo4EEhYOKKs9yxLwsZGjaTki3XhiBP6FS-aHelhIoVKpHWE3eAp9svkqlmHcQSoVQk9_xb11G1Bw3VQBimgFji8_I$
Candidates should have a background related to the themes of the group.
Expertise in some/any of the following areas would be particularly helpful:
* Proof Theory
* Type Theory and Proof Assistants (e.g. Coq, Agda, Lean)
* Mathematical Logic
* Automata Theory
Please contact me personally for any informal enquiries if you are interested
in applying at <[email protected]>.
The deadline for applications is 30 April​. Further instructions are on the
application page linked above.
Kind regards,
Anupam
