Research Associate (Fixed Term)

University of Cambridge
9 May 2019
Cambridge, United Kingdom
Job Type


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

Related Jobs

8 December 2023
Head of Treasury   Whiteinch, Glasgow new
8 December 2023