Research positions in Theorem Proving in AI and Math

[email protected] Mon, 5 Jan 2026 09:22:48 -0500

Newsgroups	gmane.comp.lang.caml.inria
Message-ID	<[email protected]>

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].