Logic List Mailing Archive

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

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.dixon@manchester.ac.uk<mailto:clare.dixon@manchester.ac.uk> or 
Michael Fisher 
(michael.fisher@manchester.ac.uk<mailto:michael.fisher@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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam