Computer Science and the Law - Robots are coming to help us make better legal sense

Programming Languages and the Law 2022

Dear all,

I shall recruit multiple postdocs in 2022 and 2023 to work on a five-year project titled ‘The Automatic Computer Scientist’ (www.autocs.co.uk) at the University of Oxford.

I am looking for researchers interested in combining logic and machine learning, i.e. inductive logic programming. I am specifically looking for at least one expert in ASP, especially in applying ASP and
designing efficient ASP encodings. The focus of the work will be on developing the ILP system Popper (https://github.com/logic-and-learning-lab/Popper) and related tools, all of which are built on Clingo.

There is much flexibility in terms of the starting date, duration (1-3 years), and remote working.

If interested, please email me at andrew.cropper@cs.ox.ac.uk

King regards,

Andrew