[Event at CIG] Postdoctoral Research Fellow in SOFTWARE ENGINEERING AND VERIFICATION [Manchester, UK]

[Michael Fisher]

________________________________________________________________

  [ Please pass on to your colleagues who may be interested.
    Note that we are looking for a senior post-doctoral
    researcher able to contribute over a number of research
    areas as well as within multiple research projects - Thanks ]

________________________________________________________________


     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 at manchester.ac.uk
____________________________________________________________________