Research software developer role at the University of Glasgow

Dear all,

I am hiring for a research software developer position at the University of Glasgow, which would be particularly suitable for someone with a background in one or more of formal methods, algorithm engineering, constraint programming, Boolean satisfiability, integer programming, etc. This is a technical role, rather than a research position: the salary scale is the same as for a postdoc and the person we hire will be part of my research group, but the position is open to someone either with a relevant PhD or with appropriate industrial programming experience.

https://www.jobs.gla.ac.uk/job/technician-software-developer

The project involves end-to-end verification for constraint programming. The idea is that we'll go from a human-understandable problem description, through a proof-logging constraint programming solver, and to a solution, in such a way that we can be absolutely sure that the solution is correct. As well as being a challenging and fun project, there's a genuine chance that this might go some small way towards making algorithms and artificial intelligence something people can trust.

The position has funding until September 2027 thanks to a grant from ARIA.

Informal enquiries welcome.

Cheers,
-- 
Ciaran McCreesh
**********************************************************
*
*   Contributions to be spread via DMANET are submitted to
*
*                   [email protected]
*
*   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/
*
**********************************************************