Research Associate - Embedding Machine Learning within Quantifier Elimination Procedures

Coventry University

Full Time / 12 Months, Fixed Term until 30 July 2019

We invite applications from researchers to join an EPSRC project which will use machine learning techniques to improve sophisticated symbolic computation algorithms within computer algebra systems. 

Symbolic Computation produces exact answers to mathematical problems, automating and extending the pen and paper mathematics learnt at school.  Implemented in Computer Algebra Systems; such algorithms prize correctness. The project will apply the inherently probabilistic techniques of machine learning to improve such algorithms by assisting with a variety of choices which choices which, while not affecting the correctness of the final answer, can have a substantial effect on the resources required to find it. This project will determine which machine learning techniques are suitable for adaption here and thus produce world-leading procedures, in particular, those to solve the problem of quantifier elimination in real closed fields.

The Research Associate will work within the Faculty of Engineering, Environment and Computing at Coventry University, and in particular with project leader Dr Matthew England who has extensive experience with symbolic computation.  

Candidates are expected to already have expertise and experience in applying, optimizing and evaluating machine learning techniques. In particular, they should already possess a PhD in data sciences or machine learning and have a strong background in both mathematics and computer science.  Excellent written and oral communication skills and advanced programming proficiency are essential

The main duties of the successful candidate will be to generate suitable test datasets and run the machine learning experiments. Additional duties will include liaising with project partners both in the UK and abroad, contributing to and journal papers, and presenting results to various stakeholders.

For informal enquiries please contact: Dr Matthew England, Senior Lecturer in Computer Science

+44 (0)24 77 658035

Closing date:  Sunday 12th August

Share this job
  Share by Email   Print this job   More sharing options
We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:


Midlands of England