Job opening for a software developer on end-to-end verification for CP

[Ciaran McCreesh]

Dear all,

I am taking a break from conference-related emails to tell you that
I'm looking to hire a software developer to work on 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,
rather than a dangerous gimmick that tells you to put glue on your
pizza. You'll be working with me at the University of Glasgow, and
collaborating with Jakob Nordstrom in Copenhagen and Yong Kiam Tan in
Singapore.

This is a technical role, rather than a research position: the salary
scale is the same as for a postdoc, but the position is open to
someone either with a relevant PhD, or with appropriate industrial
programming experience. The position has funding for two years thanks
to a grant from ARIA, and we're aiming for a start date of 1st
October.

Informal enquiries welcome, either by email or in person at CP / SAT / SoCS.

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

Cheers,
--
Ciaran McCreesh