Postdoc at the University of Oxford on logic + machine learning + automated reasoning at the University of Oxford.

[andrew....@gmail.com]

I am hiring a postdoc to work on logic + machine learning + automated reasoning at the University of Oxford.

The details are available here: https://www.cs.ox.ac.uk/news/2129-full.html Please contact me if interested!

[andrew....@gmail.com]

I made a mistake in the job advert. Here is the correct link for the details: https://www.jobs.ac.uk/job/DKE333/research-associate-on-autocs-project