Postdoc Advert in SMT (non linear real arithmetic)

[Matthew England]

Please consider forwarding this advert for a  3-year postdoctoral position in SMT and Symbolic Computation to any suitable candidates you may know.

################################################################

--------------------------------------------------------------------------------

Advert for three year postdoc position at Coventry University

https://www.jobs.ac.uk/job/BZU988/research-fellow    

--------------------------------------------------------------------------------

Coventry University (UK) invites applications from qualified researchers to join the EPSRC funded project, "Pushing Back the Doubly-Exponential Wall of Cylindrical Algebraic Decomposition".  The project’s objectives include the development of research software, the invention of new theoretical algorithms, and the application of both to bio-chemical 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.

The deadline for applications is 30th May 2020.  The expected start date is September 2020, but the university is flexible in light of the COVID19 situation and will consider either a delayed or remote start if needed.    

################################################################