Computer Science and the Law - Robots are coming to help us make better legal sense
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 email@example.com