Fw: Two PDRA vacancies in Formal Verification of Sensor Systems at the University of Manchester
Claudia Nalon
Cláudia Nalon
------------------------------------
Departmento de Ciência da Computação
Instituto de Ciências Exatas
Universidade de Brasília
http://www.cic.unb.br/~nalon
________________________________________
From: Clare Dixon <clare...@manchester.ac.uk>
Sent: 02 July 2021 10:38
To: Clare Dixon
Subject: Two PDRA vacancies in Formal Verification of Sensor Systems at the University of Manchester
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.
More details are at
https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=20435
and informal enquiries can be directed to Clare Dixon (clare...@manchester.ac.uk or Michael Fisher (michael...@manchester.ac.uk)
We would be grateful if you would pass this onto your networks. Apologies for the unsolicited email and thanks for your help.
Many thanks,
Clare