Fwd: CfA: Research Positions in Theorem Proving in AI & Mathematics, University of Manchester (UK), deadline: 13 Jan

[Joao Marcos]

---------- Forwarded message ---------

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 and...@voronkov.com.