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