[Job-offers-cs] Research software developer role at the University of Glasgow

[Pekka Orponen]

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