Department The Department of Computer Science is recruiting for a lecturer position associated with a Royal Academy of Engineering Award. We wish to develop our excellent research and teaching base by appointing an enthusiastic colleague to take part in our future developments, to strengthen our current research groups and to contribute to our major research themes: Critical Systems; Health, Well-being and Human-Centred Computing; Analytics; and Beyond Human Vision, or to our interdisciplinary research centres: the Digital Creativity Labs, the York Centre for Complex Systems Analysis, the Quantum Communications Hub and the Assured Autonomy International Programme for the safety of autonomous systems. We strongly maintain the principle of research-driven teaching, from the earliest undergraduate modules to the most advanced Masters provision, which allows for a continual re-examination of our module content and programme structure. As a new Lecturer you will build up teaching responsibility progressively across undergraduate and postgraduate programmes, for both core Computer Science topics and your own academic specialisms. All students undertake a major project, proposed and supervised by an academic, normally on a one-one basis. Further, our new Lecturers will be encouraged to develop their careers by proposing research projects and applying for research funding to undertake these projects. You will also help to recruit and to supervise PhD students. The appointees will be responsible to the Head of Department, however it is our practice for new appointees to be mentored in both teaching and research development by other senior colleagues. Role The main duties and responsibilities are twofold: (1) 40% of time will be dedicated to contributing to teaching modules in the Computer Science courses, academic administration. 60% of time will be dedicated to developing techniques for modelling and verification of robotic systems in collaboration with Ana Cavalcanti and the RoboStar researchers. To develop research objectives, projects and proposals and carry out individual or collaborative research projects. To lead on and/or contribute to the production of research outputs and research outcomes. To design, develop and deliver teaching across a wide range of modules and/or within a particular programme or subject area. To undertake effectively a range of administrative and managerial responsibilities. Skills, Experience & Qualification needed The Lecturer will need to have good communication skills to liaise effectively with students, industrial partners, and researchers. They will need to develop and use software development and verification techniques and tools, and participate in general research communication. Verification will cover a variety of approaches: model checking, theorem proving, and systematic testing based both on simulations and with hardware in the loop. Interview date: w/c 9th March 2026 For informal enquiries: please contact Ana Cavalcanti on 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