英国约克大学博士后职位—机器人测试项目

Research Fellow

University of York

Description

The Department of Electronic Engineering at the University of York has an  international reputation for excellence in research and teaching. As a department we strive to provide a working environment which allows all staff and students to contribute fully, to flourish, and to excel. We are proud of our Athena SWAN Bronze Award.

Applications are invited for a Research-Fellow post to carry our research on model-based testing of robotic systems. The position will be funded by the EPSRC for up to one year in the context of the RoboTest project

Role

You will work on the deployment testing aspect of the project that will lead the work on hardware-in-the-loop testing, combined with software-in-the-loop testing. There will be a need to take tests developed through automated testing techniques that are based on formal models of robotic systems and integrate them into deployed robotic systems for hardware-in-the-loop testing, involving simulations and real deployments. You will liaise with academic and industrial partners and participate in the writing of papers. The post is available from April 2022 for up to 1 year.

Skills, Experience & Qualification needed

You will have a PhD in formal methods, and experience on modelling and  reasoning via refinement using Z, CSP, and Circus. You will have experience with model checking using FDR, and definition of semantics of diagrammatic modelling languages. You will have programming experience with an object- oriented language. Experience with simulation, in particular in robotics, is highly desirable.

Interview date: 4 April 2022

For informal enquiries: please contact Professor Jon Timmis on jon.timmis@york.ac.uk or Prof Ana Cavalcanti ana.cavalcanti@york.ac.uk