Subject: Animation and exchanges in the Petri Nets community
List archive
[PN-world] Research positions in Theorem Proving in AI and Math
- From: address@concealed
- To: <address@concealed>
- Subject: [PN-world] Research positions in Theorem Proving in AI and Math
- Date: Mon, 5 Jan 2026 09:24:39 -0500
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 address@concealed.
- [PN-world] Research positions in Theorem Proving in AI and Math, petri-net-world, 01/05/2026
Archive powered by MHonArc 2.6.24.