Technician Software Developer(UK Visa Sponsorship Available)

Automotive Jobs
Uk
November 13, 2025
Full Time Permanent
Apply Now

Job Description

Role Overview

The University of Glasgow, ranked 13th globally in the Times Higher Education (THE) World Impact Rankings 2023, invites applications for a Software Developer to join the Formal Analysis, Theory and Algorithms (FATA) research section. This role offers an exciting opportunity to contribute to the “End to End Verification for Constraint Programming” project, collaborating with Dr. Ciaran McCreesh and project partners.

The successful candidate will:

  • Develop and maintain software for solving constraint programming and optimization problems.
  • Implement verification tools to ensure solutions are mathematically correct and scalable for industrial use.
  • Work across algorithm engineering, formal methods, and software engineering using modern C++, Rust, and CakeML.
  • Support preparation of research publications and proposals, contributing to project management as appropriate.

This position combines technical software development with high-level research support, providing an excellent opportunity to advance both research and software engineering careers.

Candidate Requirements

  • Substantial experience in software development with proven programming skills.
  • Familiarity with algorithm design, optimization, and formal verification methods is highly desirable.
  • Strong teamwork and communication skills for collaboration with academics and research teams.
  • Interest in research software engineering and career development within an academic context.
  • Desirable: Experience with industrial-scale applications and multi-language codebases.

Why Work at Glasgow?

  • Work at a world-leading research university with cutting-edge projects.
  • Be part of an inclusive, supportive, and collaborative environment promoting equality and diversity.
  • Professional development aligned with recommendations from the Society for Research Software Engineers.
  • Flexible working opportunities and a commitment to Athena SWAN principles promoting gender equality.

Visa & Eligibility

  • This role may be eligible for Skilled Worker visa sponsorship, subject to eligibility requirements and tradeable points: Skilled Worker Visa Guidance
  • Candidates must be eligible to live and work in the UK.

Related Jobs