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

[Pekka Orponen]

Dear all,


I am hiring for a research software development 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, 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.

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.

Cheers,

-- 
Ciaran McCreesh