The Computer Science department at the University of York holds a distinguished reputation in teaching, research, and industry engagement. It has demonstrated success in research, reflected in its impressive 11th and 12th rankings in the UK for Computer Science in the recent Research Excellence Framework (REF) and the Complete University Guide 2023, respectively. At the department, equality, diversity, and inclusion are central to our culture and we strive to provide a working environment which allows all staff and students to contribute fully, to flourish, and to excel. We aimto ensure that there is a supportive and egalitarian culture at all levels and offer a range of family-friendly, inclusive employment policies, flexible working arrangements, staff engagement forums, campus facilities and services to support staff from different backgrounds. The School is proud to hold Juno Champion, and Athena Swan awards. Primary Purpose of the Role To develop new reformulation techniques to improve the performance of constraint solving methods (including constraint solvers, SAT and SMT solvers, mixed-integer programming and related methods, and metaheuristic methods). To implement the new techniques in a prototype system and to evaluate them Key Responsibilities The successful candidate will be expected to undertake some or all of the following duties: Conduct individual and collaborative research, including analysing and interpreting data, using appropriate research techniques and methods, writing results, and disseminating findings through publications, seminars, conferences, and public engagement activities. Contribute to preparing research proposals and applications for funding from external bodies. Develop and initiate collaborative work, including building internal contacts and participating in internal networks; collaborating with colleagues on joint projects. Assist with undergraduate teaching in areas relevant to the role. Skills, Experience & Qualification needed First degree in Computer Science. PhD in Computer Science or equivalent experience Knowledge in modelling and/or solving of decision-making or optimisation problems. Highly developed communication skills to engage effectively with a wide-ranging audience, both orally and in writing, using a range of media Experience in carrying out both independent and collaborative research Interview date: To be confirmed For informal enquiries: please contact Peter Nightingale ( peter.nightingaleyork.ac.uk ) or our HR team ( cs-hryork.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