Postdocs. We are hiring multiple postdocs to work on the Automatic Computer Scientist project. The positions are available for 1-3 years. We are looking for experts either in inductive logic programming or constraint programming (SAT/SMT/ASP/CP). If interested please email Andrew Cropper.
PhD/DPhil students. If interested in studying for a PhD/DPhil, please email us. Information on the Oxford DPhil program for computer science is available here.
Student projects. We are happy to supervise student projects. Some project descriptions are available here and here. If interested, email us. Previous student projects are listed below.
- Bogdan Cretu, BA, Constraint-driven multi-task learning
- Cristian Dinu, BA, Overcoming the language bias nightmare in inductive logic programming
- Victor Vasiesiu, BA, Inductive general game playing
- John Wahlig, MSc, Learning logic programs from noisy failures
- Brad Hunter, MSc, Preprocessing in inductive logic programming
- Cristian Dinu, BA, Parallel inductive logic programming
- Andrei Diaconu, BA, Learning functional programs with function invention and reuse
- Alastair Flynn, BA, Inducing game rules from varying quality game play
- Rolf Morel, MSc, Refinement Type Directed Search for Meta-Interpretive Learning of Higher-Order Logic Programs