Postdocs. We are recruiting multiple 1-3 year postdocs in 2021, 2022, and 2023 to work on the EPSRC-funded project The Automatic Computer Scientist. We are looking for at least one expert in constraint satisfaction problems (SAT/ASP/SMT/CP). In general, we are looking for people interested in logic and machine learning. If interested (or to find out more) please email us.
DPhil/PhD students. We are looking for keen students. You can propose a specific research topic, or may ask me for suggestions before applying. Information on applying to the Oxford DPhil program for Computer Science is available here.
3rd/4th year students and MSc students. We are happy to supervise student projects. A small list of projects is available here and here. If interested, email us with (i) your CV, (ii) the courses you will take, and (iii) and a brief outline of your interests and expertises.