We have a new opening for a 16-month postdoctoral position in the area of semantics/logic-based software verification.

This is part of the EPSRC-funded project “Program Reasoning with Nominal Game Semantics” led by Nikos Tzevelekos. See here for more details. Informal enquiries are very welcome.