About the job

The University of Glasgow is hiring a Technician: Software Developer for the project “End to End Verification for Constraint Programming,” led by Dr. Ciaran McCreesh. The role involves maintaining and extending high-performance software for solving and verifying constraint programming and optimisation problems using modern languages like C++, Rust, and CakeML. The successful candidate will contribute to algorithm engineering, formal methods, and research publications, collaborating with international partners in Copenhagen and Singapore. Applicants should have strong programming experience, knowledge of software development practices, and a degree in Computing Science, Mathematics, or a related discipline. The post offers a salary of £41,064–£46,049 per annum (Grade 7), full-time employment until September 2027, and may be sponsored under the UK Skilled Worker Visa route. The position is part of the University’s Formal Analysis, Theory and Algorithms research section and provides excellent professional development and flexible working benefits.