University of Cambridge
Description
The funds for this post are available for 3 years. Should have a strong background in machine learning, information retrieval, natural language processing (NLP), etc. The project objectives include Intelligent Search and Automated Support for Proof Construction, using machine learning and information retrieval techniques to analyse existing formal proofs and/or natural language proofs from the...