Please note that this newsitem has been archived, and may contain outdated information or links.
Three postdoctoral research associates on interactive theorem proving, Cambridge, UK
Location: Cambridge, England
Deadline: Monday 3 July 2017
ALEXANDRIA is a five-year ERC-funded project aimed at making interactive theorem proving useful in mathematical research. The workplan includes pilot studies to identify critical issues, library development and the implementation of advanced search, perhaps using machine learning. Two mathematicians and an Isabelle architect will be hired.
For more information, see
http://www.cl.cam.ac.uk/~lp15/.
Please note that this newsitem has been archived, and may contain outdated information or links.