3 Year Postdoc Position in SMT (non-linear real arithmetic)
Matthew England
Job title : Research Fellow (DEWCAD Project)
Job reference : REQ007843
Application closing date : 27/08/2020
Faculty / School or Service : Faculty of Engineering, Environment & Computing (EEC)
Salary : £32,823.00 to £41,536.00 per annum
Package : As one of Coventry's biggest employers, we offer some pretty impressive benefits including an excellent pension scheme and generous holiday allowances.
Job category/type : Research
Job description : 3 Year Fixed Term Contract
We invite applications from qualified researchers to join the EPSRC funded project, "Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition" at Coventry University in the UK. The project's objectives include the development of research software, the invention of new theoretical algorithms, and the application of both to biochemical network analysis and economic reasoning. The appointee would contribute to all of these, and take a lead in the software development.
The algorithms referred to are within the Computer Science fields of Symbolic Computation and Satisfiability Checking, and the software is a mixture of Computer Algebra Systems and SAT/SMT-solvers. Experience with any of these would be advantageous for the position. A PhD and prior research experience in a relevant field such as Mathematics or Computer Science is essential, as is a proven programming ability.
The project is co-run with the University of Bath and includes partners in France, Germany, Canada and the USA. Thus candidates should be prepared to travel for research meetings as required. The applications work will be in collaboration with partners working in those fields and so enthusiasm for interdisciplinary work and the ability to explain technical details to non-specialists is essential.
This position does not carry any formal teaching duties, but the appointee may be asked to: supervise relevant undergraduate and masters student projects; to assist in the training of PhD students working on topics related to the project; assist in the transfer of research into the teaching curriculum (both in Computer Science and the application domains).
This position is based within the Research Centre for Data Science (CDS), part of the Faculty of Engineering, Environment and Computing (EEC) at Coventry University. The CDS provides a hub to develop cutting edge research in the areas of Artificial Intelligence, Data Science and Future Computing Technologies. The centre has a vocation to push the boundaries of both fundamental science and practical applications.
This is a full time position funded for a period of three years from the start date. The expected start date is 1 Jan 2021 but there is some flexibility to start earlier or later here.
Applications must be made through the Coventry University website and should include a CV and personal statement setting out how the candidate meets the criteria on the Person Specification.
For informal discussions before application candidates are welcome to contact Dr Matthew England: Matthew...@coventry.ac.uk
Interview Date: Mid-September
Please click her for Job Description and Person Specification
To view job details or apply on-line click here.