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

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.

-- 
Ciaran McCreesh
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************