PhD Position in constraint programming and / or algorithm engineering at the University of Glasgow

[Ciaran McCreesh]

A funded PhD position in the area of constraint programming or algorithm engineering is available in the School of Computing Science at the University of Glasgow, Scotland, under the supervision of Dr Ciaran McCreesh, starting in October 2022. Candidates should hold an undergraduate or masters degree in computing science, or in mathematics and have substantial programming experience.

The position is associated with a Royal Academy of Engineering Research Fellowship on the topic of "trustworthy constraint programming and optimisation". Potential topics include proof logging for constraint programming, scientific approaches to understanding the theory / practice gap in solving hard combinatorial problems, improving algorithms for subgraph-finding problems, and algorithms for parallel combinatorial search. For more details on the position and the application process, please see:

https://www.gla.ac.uk/schools/computing/postgraduateresearch/prospectivestudents/phd-projects/

The application deadline is 31st January. Potential candidates are encouraged to get in touch to discuss the position and the application process.