Postdoctoral research associateship in verification, Manchester (England)

A Post-Doctoral Research Associate position in Verification of Trustworthy Autonomous Systems is available in the Autonomy and Verification group at the Department of Computer Science, University of Manchester, UK. Employment type: Fixed Term for 30 months.

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).