Join to apply for the Technician: Software Developer role at University of Glasgow. Job details: Posted 15 July 2025 • Reference 177852 • Salary Grade 7: £41,064 - £46,049 per annum • End date 30 November 2025 • Location Glasgow • Job Type Technical And Specialist Job Purpose To make a leading contribution to the project “End to End Verification for Constraint Programming”, working with Dr Ciaran McCreesh and other project collaborators. This project is funded by ARIA. Specifically, the job requires excellent programming skills and substantial prior software development experience. As well as software engineering activities, the successful candidate 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. The software is developed in a mix of modern C++, Rust, and CakeML. The successful candidate will work closely with other members of the team; besides the Principal Investigator, these include a Research Associate at the University of Glasgow, and international collaborators in Copenhagen and Singapore. 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 the successful candidate to develop their career in accordance with the key recommendations of the recent report of the Society for Research Software Engineers. Main Duties And Responsibilities

Take a leading role in the implementation of software individually or jointly in accordance with the project deliverables and project / section / School strategy. Be responsible for all managerial aspects of the laboratory including contributing to the strategic direction of research/teaching, provision of specialist advice and training to service users, management of resources (including technical and operational staff) and responsibility for health and safety. Ensure that best software engineering practice is followed as advocated by the Software Sustainability Institute. Maintain and extend implementations of algorithms and software for certified constraint programming, and the surrounding ecosystem including documentation and educational material. Conduct theoretical and experimental comparisons of techniques arising in the design and implementation of proof logging systems, looking at metrics including performance and ease of use. Survey the existing software environment, understand the challenges associated with the project and subject area, and develop / implement a suitable strategy. Document research output including analysis and interpretation of all data, maintaining records and databases, drafting technical / progress reports and papers as appropriate. Present work at international and national conferences, at internal and external seminars, colloquia and workshops to develop and enhance our research profile. Take a leading role in developing and maintaining collaborations with colleagues across the FATA section / School / College / University, and the wider proof logging and constraint programming communities. This will involve UK and international travel, which is budgeted for. Take the lead in team / group meetings / seminars / workshops and FATA section activities to enhance the wider knowledge, outputs and culture of the School/College. Take the lead in the organisation, supervision, mentoring and training of members of the project team to ensure their effective development. Work collaboratively with others, including within the wider College/School/Group and where relevant with external contacts, to enhance the delivery of the research/teaching aims and support the broader strategic aims of the University, including the Technician Commitment key themes, https://www.gla.ac.uk/myglasgow/staff/technicians/ Undertake any other reasonable duties as required by Head of Service/School. Perform administrative tasks related to the activities of the project, FATA section and School, including budgets / expenditure. Engage in personal, professional and career development, to enhance both specialist and transferable skills in accordance with desired career trajectory. Undertake any other duties of equivalent standing as assigned by the Head of School and/or PI. Contribute to the enhancement of the University’s international profile in line with the University’s Strategic Plan, World Changers Together.

Qualifications Knowledge, Qualifications, Skills & Experience Essential

Good first degree (2:1 or above, or equivalent) in Computing Science, Mathematics or a related discipline.

Desirable

Postgraduate degree (MSc or equivalent, or PhD) in mathematics, operational research or in a computational discipline.

Knowledge and Skills

Comprehensive and up-to-date knowledge of current issues and future directions within the wider subject area or subject specialism. Excellent programming skills and knowledge of a range of programming languages and technologies, including at least one of C++ or Rust. Detailed knowledge of software development practices including testing, issue tracking, documentation generation and maintenance, version control, and continuous integration. Proven ability to deliver quality outputs in a timely and efficient manner. Excellent communication skills (oral and written), including public presentations and ability to communicate complex data/concepts clearly and concisely. Excellent interpersonal skills including team working and a collegiate approach. Ability to work independently on own initiative and to strict deadlines.

Desirable

Knowledge of statistical analysis techniques for interpreting experimental results.

Experience Essential

Substantial prior software development experience. Substantial experience of applying rigorous methodologies to increase confidence in implementation correctness. Experience of scientific writing. Ability to demonstrate a degree of independence as illustrated by identification of project objectives from assessment of the literature, design and analysis of algorithms and drafting of papers.

Desirable

Experience of constraint programming, or a similar paradigm such as integer programming or Boolean satisfiability. Experience with formal methods, proof logging, or other technologies used to guarantee software correctness. Experience of overseeing students / junior colleagues with respect to the development of practical skills, e.g., acting as a demonstrator or mentor; supervising student projects.

Terms and Conditions

Salary will be Grade 7, £41,064 - £46,049 per annum. This post is full time (35 hours per week) and has funding available until 30 September 2027. 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. For more information please visit: https://www.gov.uk/skilled-worker-visa. As a valued member of our team, you can expect: 1 A warm welcoming and engaging organisational culture that nurtures talent, celebrates success, and promotes a collaborative environment. We believe that we can only reach our full potential through the talents of all. Equality, diversity and inclusion are at the heart of our values. Applications are particularly welcome from across our communities and in particular people from the Black, Asian and Minority Ethnic (BAME) community, and other protected characteristics who are under-represented within the University. Read more on how the University promotes and embeds all aspects of equality and diversity within our community https://www.gla.ac.uk/myglasgow/humanresources/equalitydiversity/. We endorse the principles of Athena Swan https://www.gla.ac.uk/myglasgow/humanresources/equalitydiversity/athenaswan/ and hold bronze, silver and gold awards across the University. We are investing in our organisation, and we will invest in you too. Please visit our website https://www.gla.ac.uk/explore/jobs/ for more information.

Closing Date: 30 November 2025 #J-18808-Ljbffr