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