英国约克大学博士后职位—弹性自治系统
Research Associate / Fellow in Resilient Autonomous Systems
University Of York
Description
Role DescriptionDepartment
The ‘Trustworthy Autonomous Systems Node in Resilience’ project, funded by EPSRC as part of the UK Research and Innovation’s £34 million research programme on Trustworthy Autonomous Systems (TAS), offers a fixed term Research Associate / Research Fellow contract (to be appointed based on relevant experience) until 30 April 2024, focused on enabling autonomous systems to model formally and to reason about social, legal, ethical, empathy and cultural (SLEEC) rules and norms in their decisions and actions.
Led by the University of York, this ambitious vision will be delivered through the collaboration of multidisciplinary researchers at Lancaster University, the Open University, the University of Sheffield and the University of Southampton. The fundamental research generated by the project will be validated and adopted in domains ranging from robotic surgery and assistive care to multimodal journey management and emergency response, with the support of more than 30 stakeholders from industry, academia, government and third- party organisations.
Role
You will make significant theoretical and practical contributions to the development of methods for the modelling, analysis, verification and assurance of the SLEEC rules and norms of autonomous systems in healthcare, social care, transportation and emergency management. You will develop formal notations to model the SLEEC concerns of autonomous systems. You will devise mathematically based techniques allowing autonomous systems to analyse and evolve these models, and to determine resilience-enhancing actions that are feasible and SLEEC compliant. You will develop dynamic assurance patterns and methods enabling autonomous systems to provide human stakeholders with compelling assurance cases that their resilience-related decisions and actions are trustworthy. You will work closely with project partners to deliver, validate and disseminate the planned research advances, and you will collaborate with other TAS programme researchers to maximise the impact of these advances.
Skills, Experience & Qualification needed
First degree and PhD in Computer Science, Mathematics or a related subject
Knowledge of formal methods and assurance methods to engage in high quality research
Knowledge of model-driven software engineering
Knowledge of a range of research techniques and methodologies
Research experience in robotic or embedded systems
Software engineering skills
Highly developed communication skills to engage effectively with a wide ranging audience, both orally and in writing, using a range of media
Ability to write up research work for publication in high profile journals and to engage in public dissemination
Competency to make presentations at (internationally) recognised conferences or exhibit work in other appropriate events
Evidence of dissemination of scholarly work which may include: the presentation of papers at conferences and workshops; participation in public engagement events to disseminate research; the publishing of chapters in text books; the publishing of papers; articles or reviews in academic journals or elsewhere; the development of websites
Experience of developing, conducting and leading independent and collaborative small research projects or identified parts of a large project, including supervision of the work of others and providing expert advice and guidance to teams
Ability to identify sources of funding and contribute to the process of securing funds, with collaborators if required
Ability to persuade and influence project stakeholders
Well-developed analytical skills
Experience of developing software components and tools
Experience of systematically evaluating and validating theoretical results through robotics or embedded systems case studies and experiments
Interview date: 13 December 2021
For informal enquiries: please contact Radu Calinescu on radu.calinescu@york.ac.uk
