Technician – Software Developer Visa Sponsorship Uk
Job Description
Location: University of Glasgow
Salary: Grade 7 (£40,497 – £45,413 per annum)
Hours: Full-time (35 hours per week)
Contract Type: Fixed-term until 30 September 2027
Closing Date: 18 August 2025
Visa Sponsorship: Available under the Skilled Worker visa route
About the Project
We are seeking a talented and experienced Research Software Engineer to contribute to the “End-to-End Verification for Constraint Programming” project, funded by ARIA. You’ll work alongside Dr. Ciaran McCreesh and a team of local and international collaborators in Copenhagen and Singapore.
This project focuses on developing mathematically rigorous and high-performance software to solve complex optimisation problems in constraint programming. The software must meet both academic and industrial standards, requiring a balance between algorithm engineering, formal methods, and robust software development. The primary development languages include modern C++, Rust, and CakeML.
You will be part of the Formal Analysis, Theory and Algorithms (FATA) research section within the School of Computing Science. Mentorship and support will be provided to help you grow professionally in line with the recommendations of the Society for Research Software Engineers.
Key Responsibilities
- Lead the design, development, and implementation of research software in line with project goals and best practices as guided by the Software Sustainability Institute.
- Maintain and enhance algorithms and code for certified constraint programming, including documentation and learning materials.
- Conduct both theoretical and practical evaluations of proof-logging systems, focusing on performance, usability, and correctness.
- Survey and analyse the existing software landscape to inform a strategic and technically sound development roadmap.
- Produce technical documentation, progress reports, and research papers based on project outputs and data analysis.
- Present findings at national and international conferences, workshops, and internal seminars.
- Foster collaborations within the University and the global constraint programming and verification communities.
- Participate in section-wide activities and contribute to the wider research culture.
- Mentor and supervise junior team members, ensuring skills development and task progression.
- Work collaboratively across departments and with external contacts to support the broader research and strategic goals of the School and University, including Technician Commitment themes:
Technician Commitment at UofG - Undertake relevant administrative duties, including budget and expenditure tracking.
- Actively engage in professional development to enhance both technical and transferable skills.
- Support the School’s strategic priorities and research environment in line with the World Changers Together initiative.
- Perform other duties as required by the Principal Investigator or Head of School.
Qualifications and Knowledge
Essential:
- A good undergraduate degree (2:1 or above) in Computing Science, Mathematics, or a closely related field.
- Comprehensive knowledge of current trends and future directions in constraint programming or formal software verification.
- Proficiency in C++ or Rust, with solid experience in modern software development environments.
- Working knowledge of tools and techniques including testing, version control, CI pipelines, documentation, and issue tracking systems.
Desirable:
- Postgraduate qualification (MSc or PhD) in computational mathematics, operational research, or a related field.
- Familiarity with formal verification, proof logging, or satisfiability-based methods.
- Understanding of statistical analysis techniques for interpreting experimental results.
Skills and Experience
Essential:
- Substantial experience in software development, ideally within a research or academic setting.
- Proven ability to design and analyse algorithms and apply rigorous methods to validate implementation correctness.
- Strong background in scientific writing and producing high-quality research outputs.
- Effective written and oral communication skills, including public presentations and technical discussions.
- Demonstrated independence and initiative in delivering project goals on time.
Desirable:
- Experience with constraint programming, integer programming, or Boolean satisfiability.
- Experience mentoring or supervising students or junior colleagues on practical projects.
Visa Sponsorship – Skilled Worker Route
This post is open to international candidates and may be eligible for sponsorship under the Skilled Worker visa route, provided you meet the tradeable points criteria.
The University of Glasgow is a licensed sponsor and will issue a Certificate of Sponsorship (CoS) for eligible candidates.
- Learn more: Skilled Worker Visa – GOV.UK
- Tradeable Points Criteria: Immigration Rules
- Â Sponsor Register: Licensed Employers List
What You’ll Receive as a Team Member
- A supportive and inclusive workplace where your contributions are recognised, and your growth is prioritised.
A competitive package with excellent benefits:
- 41 days annual leave for full-time staff
- Pension schemes
View pension details - Staff discounts and other perks
- Flexible working policies to help maintain a healthy work-life balance.
- A 6-month free UofG Sport membership for all new employees
Health & Wellbeing support
Diversity, Inclusion & Equal Opportunities
We believe that diverse teams drive innovation and excellence. The University of Glasgow welcomes applications from all backgrounds and encourages applications from:
- People identifying as Black, Asian or Minority Ethnic (BAME)
- Individuals with other protected characteristics currently underrepresented within the University
We are proud supporters of:
- Equality, Diversity & Inclusion (EDI)
EDI Commitment - The Athena Swan Charter
Athena Swan at Glasgow
Key Job Details
- Position Title: Research Software Engineer (Constraint Programming & Verification)
- Grade & Salary: Grade 7 (£40,497 – £45,413)
- Duration: Until 30 September 2027
- Hours: Full-time (35 hours per week)
- Location: University of Glasgow, School of Computing Science
- Visa Sponsorship: Available (Skilled Worker Visa route)
Application Deadline: 18 August 2025
For more details and to apply, visit: University of Glasgow Jobs
