Research Associate on AutoCS Project

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 are among the essential criteria.

The closing date for applications is 12 noon on 7th October 2024. Interviews are expected to be held in October.
We are a Stonewall Top 100 Employer, Living Wage, holding an Athena Swan Bronze Award, HR excellence in Research and Race Equality Charter Bronze Award.