728 x 90



Software Developer

Glasgow

£40,947 – £45,413 per year

Posted 15 hours ago
  • Company

    University of Glasgow
  • Location

    Glasgow
  • Company Size

    6,000+ employees
  • Salary

    £40,947 – £45,413 per year

About the job

The University of Glasgow is hiring a Technician: Software Developer to support an ARIA-funded research project titled “End to End Verification for Constraint Programming.” This full-time role, fixed-term until 30 September 2027, involves working closely with Dr. Ciaran McCreesh and international collaborators to design, implement, and verify high-performance constraint programming and optimization tools. The ideal candidate will have strong programming skills, particularly in C++, Rust, or CakeML, and experience with formal verification, algorithm engineering, or constraint solving. Key responsibilities include developing and extending core software libraries, verifying algorithms, producing open-source tools, and contributing to research publications and academic software documentation. The role offers extensive development support, mentoring, and travel opportunities for conferences and collaboration. The salary range is £40,947–£45,413 (Grade 7). While visa sponsorship may be considered under the UK Skilled Worker route, applicants must meet eligibility criteria.


Apply For this Job