Logic List Mailing Archive

Postdoctoral positions in formal verification, Manchester (England)

______________________________________________________________________

  Research Associate in VERIFICATION FOR SENSOR SYSTEMS SOFTWARE

       Two positions. Fixed-term until 31st December 2022

   Department of Computer Science, University of Manchester, UK
             https://www.cs.manchester.ac.uk


The researchers will develop, extend, and apply formal verification
and development techniques for sensor system software, carrying out
research into formal methods (model-checking, proof, run-time
verification, static analysis), and foundations of autonomous,
sensor-based, or cyber-physical systems.

Work is part of the EPSRC-funded "Science of Sensor System Software?
(S4) programme, http://www.dcs.gla.ac.uk/research/S4/ under the
direction of Professor Clare Dixon and Professor Michael Fisher at
the University of Manchester. The S4 programme aims to develop a
unifying "science of sensor systems" in the presence of uncertainty
ensuring that their systems and the information they provide is
resilient, responsive, reliable, statistically sound and robust.

The S4 programme involves close collaboration with academic and
industrial partners, primarily Glasgow (focusing on Foundations),
Imperial College London (Engineering), and St. Andrews (Adaptation)
with the Manchester team focusing on verification.

VACANCY REF: SAE-017536
Salary: £33,309 to £40,927 per annum, depending on relevant experience
Duration: Fixed Term, until 31 December 2022
Location: Department of Computer Science, Manchester M13 9PL
Apply: https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=20942
______________________________________________________________________

Enquiries: Prof. Clare Dixon <clare.dixon@manchester.ac.uk>
           Prof. Michael Fisher <michael.fisher@manchester.ac.uk>
______________________________________________________________________
--
[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