Logic List Mailing Archive

Three postdoctoral research associates on interactive theorem proving, Cambridge (England), Deadline: 3 Jul 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. Official 
descriptions of the vacancies are online:

http://www.jobs.cam.ac.uk/job/13866/
http://www.jobs.cam.ac.uk/job/13867/

We can look forward to some exciting developments! And while this project 
will be based on Isabelle, I also hope for fruitful cooperation with users 
of other systems.

Larry Paulson

Computer Laboratory, University of Cambridge
Cambridge CB3 0FD, England
Tel: +44(0)1223 334623








Larry

_______________________________________________
FOM mailing list
FOM@cs.nyu.edu
http://www.cs.nyu.edu/mailman/listinfo/fom

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam