Technician: Software Developer
| Dyddiad hysbysebu: | 15 Gorffennaf 2025 |
|---|---|
| Cyflog: | £40,497 i £45,413 bob blwyddyn |
| Oriau: | Llawn Amser |
| Dyddiad cau: | 14 Awst 2025 |
| Lleoliad: | Glasgow, Scotland |
| Gweithio o bell: | Hybrid - gweithio o bell hyd at 3 ddiwrnod yr wythnos |
| Cwmni: | University of Glasgow |
| Math o swydd: | Cytundeb |
| Cyfeirnod swydd: | 177852 |
Crynodeb
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.
Aelod balch o'r cynllun cyflogwyr Hyderus o ran Anabledd
Hyderus o ran Anabledd
Gwybodaeth am Hyderus o ran Anabledd
Yn gyffredinol, bydd cyflogwr Hyderus o ran Anabledd yn cynnig cyfweliad i unrhyw ymgeisydd sy'n datgan eu bod yn anabl ac yn bodloni'r meini prawf lleiaf ar gyfer y swydd fel y diffinnir gan y cyflogwr. Mae'n bwysig nodi, mewn rhai sefyllfaoedd recriwtio fel nifer fawr o ymgeiswyr, cyfnod tymhorol ac amseroedd prysur iawn, efallai y bydd y cyflogwr am gyfyngu ar y niferoedd cyffredinol o gyfweliadau a gynigir i bobl anabl a phobl nad ydynt yn anabl. Am fwy o fanylion ewch i Hyderus o ran Anabledd.