[TYPES/announce] Two year postdoc in logic and computation at the University of Bath

[Thomas Powell]

The Mathematical Foundations of Computation group at the University of Bath is seeking to appoint a Research Associate (postdoc) in the area of logic and computation. You should have a PhD in mathematical logic or theoretical computer science (or a closely related field) and an excellent research record, with expertise in one or more of the following areas:

* The Curry-Howard correspondence
* Proof theory
* Lambda calculi
* The semantics of programming languages
* Formalised mathematics

For full information please see the official job announcement: https://urldefense.com/v3/__https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=CC10543__;!!IBzWLUs!VBmZKR79bbea6_u-4atKO5E0icbcEQlrnDuSBRFKtFG59Jd4fZ-BPGdBGyNrWmzjGpz9aeyzZOBfySYosHWSAUIwOTn5g6z5$ 

*Important information*

Application deadline: 18 May 2023
Start date: Autumn 2023 (there is some flexibility)
Duration: Two year fixed-term position

You should feel encouraged to contact Thomas Powell (trjp20 at bath.ac.uk<mailto:trjp20 at bath.ac.uk>) to discuss any aspect of this role, whether it is a technical question on the research area or to hear more about life in Bath.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230426/1942b3fa/attachment-0001.htm>