Logic List Mailing Archive

Research Fellowship in Software Engineering & Verification (3y), Manchester (England), Deadline: 7 Mar 2022

    Research Fellow in SOFTWARE ENGINEERING AND VERIFICATION
             [ Grade 7; Fixed-term for 36 months ]

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


An experienced researcher is required who has a strong track
record of relevant research and is capable of implementing and
advancing research across the Autonomy and Verification network
[ https://autonomy-and-verification.github.io/publications ]

Candidates will need excellent research within several of formal
verification, autonomous systems, agent-based systems, software
architectures, or logics, and must also be able to develop and
extend research activities, engagement and collaborations.

This opportunity is linked to the Royal Academy of Engineering
Chair in Emerging Technologies held by Prof. Michael Fisher
[ https://web.cs.manchester.ac.uk/~michael ]. The successful
candidate will assist in shaping and conducting this research
programme around software engineering and verification, with a
particular focus on autonomous systems, robots/vehicles and
practical formal verification. The successful candidate will
also be expected to collaborate with, and develop new directions
for research with, external partners such as companies, academic
groups and non-governmental organisations.



VACANCY REF: SAE-018232  [ Grade 7 ]
Salary: £42,149 to £51,799 per annum, depending on experience
Duration: Fixed Term, for 36 months
Location: Department of Computer Science, Manchester M13 9PL
Details: https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=21650
Closing date: 7th March 2022

____________________________________________________________________

Enquiries - 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