[agents] PDRA in “Verification of Trustworthy Autonomous Systems”, Computer Science, Manchester, UK

[Louise Dennis]

--------------------------------------------------------------------

                 Post-Doctoral Research Associate in
        “Verification of Trustworthy Autonomous Systems”

                  Autonomy and Verification group
     Department of Computer Science, University of Manchester, UK

The researcher will examine and develop new research on the formal
verification of symbolic agents, particularly those concerned with
implementing higher-level policies, principles, and ethics. In doing
this, a range of verification techniques will be used (model-checking,
runtime verification, etc) and a range of autonomy levels will be
explored (full autonomy, human-autonomy teamwork, etc).

We encourage applicants with high-quality publications in several of
the following areas:
    o Formal verification techniques, especially model-checking,
      theorem-proving or runtime verification
    o Formal specification techniques, particularly concerning
      rules, plans and policies
    o Autonomous agents, specifically BDI systems
    o Machine ethics
    o Symbolic AI

Enquiries about the vacancy, shortlisting and interviews to either
Dr. Louise Dennis [ louise.dennis at manchester.ac.uk ] or to Prof.
Michael Fisher [ michael.fisher at manchester.ac.uk ].

This activity is related to both the UKRI Verifiability Node
[ https://verifiability.org ] and Prof. Fisher’s Royal Academy
of Engineering work [ http://web.cs.manchester.ac.uk/~michael ].

Salary: £32,816 - £40,322 per annum according to relevant experience.

Employment type: Fixed Term for 30 months.

Job reference: SAE-016406
Job details and application route:
  https://www.jobs.manchester.ac.uk/displayjob.aspx?jobid=19801

Autonomy and Verification group:
https://www.cs.manchester.ac.uk/research/expertise/autonomy-and-verification/

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

---------------------------------------------------------------------

-- 
Dr. Louise Dennis (She/Her), https://personalpages.manchester.ac.uk/staff/louise.dennis/
Department of Computer Science, University of  Manchester, UK.
 
Please note, while I may send emails outside of office hours I do not expect replies except within office hours.