[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
(trj...@bath.ac.uk<mailto:trj...@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.
