Research Associate in Computer Science

University of York

United Kingdom

Research Associate in Computer Science

Department :Computer Science
Based at University of York - Heslington Campus
Hours of work :Full-time
Contract status :Fixed term
Salary :32,817 - 33,797 a year
Interview Date :to be confirmed
Posted Date :12/03/2020
Apply by :13/04/2020
Job Reference :8567

Role Description


You are invited to apply for a Research Associate post to carry out research on software engineering for robotic systems. The position is associated with a Royal Academy of Engineering Award.  The main duties and responsibilities of the Research Associate will be to develop tools and techniques for modelling and verification of robotic systems; verification will cover a variety of approaches: model checking, theorem proving, and systematic testing both based on simulations and with hardware in the loop. The work will be driven by the verification of three case studies using model checking and other automated techniques:

  • Initial demonstrator: a small segway.
  • Lab demonstrator: a factory robot that moves autonomously in a dynamic environment. It carries out indoor localisation via three techniques to avoid a single point of failure.
  • Real demonstrator: a flying drone with a purpose-built electro-mechanical hook for aerial surveillance and sample collection in remote areas.

Main purpose of the role

  • To conduct research under the supervision of senior colleagues and to contribute to the production of research. Duties to include: analysis and interpretation of research data; use of appropriate research techniques and methods; writing up of research results and dissemination through publications,  seminar and conference presentations and public engagement and outreach activities; contributing to the identification of possible new areas of research
  • To assist in the identification and development of potential areas of research and the development of proposals for independent or collaborative research projects.

Skills, Experience & Qualifications needed

  • First degree in Computer Science and a PhD in formal verification or equivalent experience
  • Knowledge in formal methods to engage in high quality research
  • Knowledge of modern software engineering principles
  • Knowledge of software architecture design approaches
  • Experience with the practical use of formal methods
  • Testing techniques and tool development

This role is available on a fixed term contract for up to 12 months

Interview date: to be confirmed

For informal enquiries: please contact Professor Ana Cavalcanti on +44 (0) 1904 325478 or email:

In your application, please refer to