News and Events: Open Positions

Two postdoctoral research positions in formal verification, Manchester (England)

Deadline: Wednesday 6 October 2021

We have vacancies for two fixed term postdoctoral researchers in the Autonomy and Verification group, in the Department of Computer Science at the University of Manchester. The roles relate to formal verification applied to sensor networks working on the UKRI/EPSRC funded project Science of Sensor Systems Software with the Universities of Glasgow, St Andrews, Imperial College London and Manchester.