postdoc on inductive logic programming at the University of Oxford

postdoc on inductive logic programming at the University of Oxford

ໂດຍ Ute Schmid -
ຈຳນວນການຕອບກັບ: 0

We are looking for a postdoc to work on the EPSRC-funded Automatic Computer Scientist (AutoCS) project based at the University of Oxford.

The aim is to accelerate algorithm discovery by building an AutoCS using inductive logic programming.

An ideal candidate will have experience in inductive logic programming and answer set programming, constraint satisfaction problems, or similar.

More details can be found here:
http://www.cs.ox.ac.uk/news/2021-full.html
http://www.cs.ox.ac.uk/files/13493/156633-Job%20description%20and%20selection%20criteria.pdf

For more information, please contact me at andrew.cropper@cs.ox.ac.uk