Logic List Mailing Archive

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

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 andrei@voronkov.com.
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php