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 [email protected]. _______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
