Skip to content

Research Associate

Computer Science
Based at
University of York - Heslington Campus
Hours of work
Contract status
Fixed term
32,236 a year
Posted Date
Apply by
Job Reference

Role Description

We are seeking a highly-motivated postdoctoral Research Associate to work with Dr Radu Calinescu on the project ‘Confident Safety Integration for Cobots’. The project aims to make significant theoretical and practical contributions to the development of methods for the dynamic, risk-adaptive configuration of collaborative robots, and is part of the 'Assuring Autonomy International Programme’ (, a £12 million initiative funded by Lloyd’s Register Foundation and the University of York to spearhead research, training and standards in the safety of RAS.

You will conduct individual and collaborative research; develop methods for modelling the stochastic characteristics of cobots and their environment; for synthesising robust controllers for the transition between safe modes of cobot operation; and for generating assurance evidence that the synthesised controllers operate safely. You will validate these methods via demonstrators developed with the collaboration of project partners from academia and industry. You will disseminate the project results through publications, seminar and conference presentations and public engagement and outreach activities; and you will contribute to their integration into a future Body of Knowledge comprising state-of-the-art techniques, methods and processes for the engineering, assurance, regulation, deployment and operation of RAS.

You will have a first degree in Computer Science (or a related subject), and a PhD in Computer Science (or equivalent experience), with significant background and research in stochastic modelling and analysis, and a good understanding of research techniques and methodologies. You will have a good understanding of controller synthesis algorithms and tools, and of software or systems verification and validation techniques. Ideally, you will have an understanding of formal methods and probabilistic model checking. You will also have excellent algorithm design and software development skills, software or systems verification skills, highly developed communication skills, and experience of developing software components and tools. You will have the ability to write up research work for publication in high profile journals; to engage in public dissemination; and to develop research objectives, projects and proposals for your own and joint research, with the assistance of a mentor.

Essential personal attributes for this position include attention to detail and commitment to high quality, collaborative ethos, interest in and enthusiasm for the subject matter of the project, positive attitude to colleagues and students, and ability to plan and prioritise your own work in order to meet deadlines. You will have experience of carrying out both independent and collaborative research, and of writing up research work for publication in high-quality venues; and ability to work as part of a team, as well as independently using own initiative.

This post is available on a fixed term basis for 17 months

The University is committed to promoting a diverse and inclusive community  – a place where we can all be ourselves and succeed on merit. We offer a range of family friendly, inclusive employment policies, flexible working arrangements, staff engagement forums, campus facilities and services to support staff from different backgrounds.

      Athena Swan Bronze               

A place where we can ALL be ourselves #EqualityatYork



Forgot password | Register

Why York?

York is one of the most successful universities in the UK.

With world-class activity across the spectrum from the physical sciences, life sciences, and social sciences to the humanities, we have been recognised as one of the top 100 universities in the world, gaining outstanding results in official assessments of our research and teaching.