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.
For more information, see
https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=20942
or contact Clare Dixon at clare.dixon at manchester.ac.uk, or Michael Fisher at michael.fisher at manchester.ac.uk.
Please note that this newsitem has been archived, and may contain outdated information or links.