Technician: Software Developer
| Posting date: | 15 July 2025 |
|---|---|
| Salary: | £40,497 to £45,413 per year |
| Hours: | Full time |
| Closing date: | 14 August 2025 |
| Location: | Glasgow, Scotland |
| Remote working: | Hybrid - work remotely up to 3 days per week |
| Company: | University of Glasgow |
| Job type: | Contract |
| Job reference: | 177852 |
Summary
College of Science & Engineering
School of Computing Science
Technician: Software Developer
Vacancy Reference: 177852
Salary: Grade 7, £40,497 - £45,413 per annum
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 13th 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: https://www.gov.uk/skilled-worker-visa
This post is full time (35 hours per week) and has funding available until 30th September 2027.
School of Computing Science
Technician: Software Developer
Vacancy Reference: 177852
Salary: Grade 7, £40,497 - £45,413 per annum
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 13th 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: https://www.gov.uk/skilled-worker-visa
This post is full time (35 hours per week) and has funding available until 30th September 2027.
Proud member of the Disability Confident employer scheme
Disability Confident
About Disability Confident
A Disability Confident employer will generally offer an interview to any applicant that declares they have a disability and meets the minimum criteria for the job as defined by the employer. It is important to note that in certain recruitment situations such as high-volume, seasonal and high-peak times, the employer may wish to limit the overall numbers of interviews offered to both disabled people and non-disabled people. For more details please go to Disability Confident.