Technician: Software Developer

The University of Glasgow has been changing the world for more than 574 years. Today, we are one of the world's top 100 universities and ranked 13^th in the world in the Times Higher Education (THE) World Impact Rankings 2023, demonstrating that we are not only one of the best universities in the United Kingdom, but one of the best universities for the world. Our people have always been at the forefront of innovation, and our past achievements inspire our current world changers.

In this role, the successful candidate will make a leading contribution to the project “End to End Verification for Constraint Programming”, working with Dr Ciaran McCreesh and other project collaborators.

Specifically, the job requires excellent programming skills and substantial prior software development experience. As well as software engineering activities, the postholder will also be expected to contribute to the formulation and submission of research publications and research proposals as well as to help manage and direct this complex and challenging project as opportunities allow.

The job involves maintaining and extending software used for solving constraint programming and optimisation problems, and for verifying that the solutions provided are correct. It will involve a mix of algorithm engineering and formal methods, alongside more traditional software engineering activities. This project involves developing software which is both mathematically rigorous, and sufficiently performant to be used to solve hard problems at industrial scale. The software is developed in a mix of modern C++, Rust, and CakeML.

The successful candidate will be a member of the Formal Analysis, Theory and Algorithms (FATA) research section within the School.  Support and mentoring will be provided to enable them to develop their career in accordance with the key recommendations of the recent report of the Society for Research Software Engineers.

For informal enquiries or further information about the project, please contact Ciaran McCreesh (Ciaran.McCreesh@glasgow.ac.uk).

The University of Glasgow has a responsibility to ensure that all employees are eligible to live and work in the UK.  If you require a Skilled Worker visa to work in the UK, you will be required to meet the eligibility requirements of the visa route to be assigned a Certificate of Sponsorship.

Please note that this post may be eligible to be sponsored under the Skilled Worker visa route if tradeable points can be used under the Skilled Worker visa rules. For more information please visit: www.gov.uk/skilled-worker-visa

This post is full time (35 hours per week) and has funding available until 30^th September 2027.

Apply online at: www.jobs.gla.ac.uk/job/technician-software-developer?source=gla.ac.uk

It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment.

We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equality.

The University of Glasgow, charity number SC004401.

Advert information