[Hol-info] Research positions in Theorem Proving in AI and Math

[<ge...@cs...>]

The University of Manchester has several research positions in Theorem
Proving in AI and Math available immediately:

  https://www.jobs.manchester.ac.uk/Job/JobDetail?JobId=34016

The positions are funded by the project "Learning to do Math with Vampires and Spiders", see
https://www.renaissancephilanthropy.org/learning-to-do-math-with-vampires-and-spiders.

For any questions please contact Prof. Andrei Voronkov at an...@vo....