Andrew hat eine spannede Stelle anzubieten
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!