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