University of York
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
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 email@example.com or Prof Ana Cavalcanti firstname.lastname@example.org