Department The University of York’s Department of Computer Science is seeking to recruit a Research Associate. This post is for work in the context of an European project called RoboSapiens, whose focus is on autonomous robotic software adaptations. RoboSAPIENS is laying the foundations for ensuring that such adaptations are carried out in an intrinsically safe, trustworthy and efficient manner, thereby reconciling open-ended self-adaptation with trustworthiness by design. The research work will involve use and extension of RoboStar technology to design and verify applications of interest to our European partners. The post holder will be an expert in RoboStar technology, AI, and automated verification techniques. Role The research work will involve validation and application of RoboStar technology developed in the context of RoboSapiens to design and verify applications of interest to our European partners. The post holder will be an expert in RoboStar technology, and automated verification techniques. The work will produce key artefacts for the applications, and written material to be used in project deliverables and papers. Skills, Experience & Qualification needed • A strong mathematical background and familiarity with RoboStar framework and tools. Interview date: To be confirmed For informal enquiries: please contact Ana Cavalcanti at ana.cavalcanti@york.ac.uk The University strives to be diverse and inclusive – a place where we can ALL be ourselves. We particularly encourage applications from people who identify as Black, Asian or from a Minority Ethnic background, who are underrepresented at the University. We offer family friendly, flexible working arrangements, with forums and inclusive facilities to support our staff. EqualityatYork As a Disability Confident employer, we will ensure that a fair and proportionate number of disabled applicants that meet the minimum (essential) criteria for each position will be offered an interview. Read more about the University of York’s commitments under the Disability Confident scheme .