Logic List Mailing Archive

Postdoctoral research associateship in verification, Manchester (England)

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

                 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@manchester.ac.uk ] or to Prof.
Michael Fisher [ michael.fisher@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

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

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