News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Deadline: Monday 18 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.

Please note that this newsitem has been archived, and may contain outdated information or links.