[DMANET] Postdoc in algorithm engineering at the University of Glasgow

I am hiring a postdoctoral research associate for a three year position at the University of Glasgow associated with the EPSRC-funded project "The Science of Solving Hard Subgraph Problems". This project involves algorithm engineering and implementation, and requires a candidate who is comfortable with both programming and mathematical rigour. Experience with one or more of constraint programming, Boolean satisfiability, mathematical programming, or proof complexity would be beneficial but not essential. This role would be suitable for candidates who are about to complete their PhD, as well as more experienced researchers.

Informal enquiries welcome to ciaran.mccreesh@glasgow.ac.uk .

Application link: https://www.jobs.ac.uk/job/DBO798/research-associate
Salary: £39,347 to £44,263 per annum (Grade 7)
Approximate start date (negotiable): 1st January 2024
Duration: funded for 3 years
Applications close: 11th September 2023

-- 
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/
*
**********************************************************