Computer Science - Wolfson Building, Parks Road, Oxford The Department of Computer Science, University of Oxford, is currently looking for a researcher for the Automatic Computer Scientist (AutoCS) project to work under the supervision of Andrew Cropper.Program synthesis is a grand challenge in artificial intelligence (AI). The goal is to design algorithms that learn to write computer programs. To work on this grand challenge, this project builds on recent breakthroughs in inductive logic programming (ILP), a form of machine learning based on computational logic. The successful candidate will join the Logic and Learning (LOL) group and will contribute to this project by design novel algorithms for program synthesis and inductive logic programming, building software and supporting research groups. In addition to collaborating with partner institutions and research groups, the successful candidate will be expected to contribute to wider project planning, including writing research grants. Holding a relevant PhD/DPhil or being close to completion in Computer Science, artificial intelligence or a related field together with relevant experience is a must. Possessing sufficient specialist knowledge and demonstrable experience and proven experience in software development areamong the essential criteria.