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.
Responsibilities
* Make a leading contribution to the project “End to End Verification for Constraint Programming”, working with Dr Ciaran McCreesh and other project collaborators.
* Lead software engineering activities, maintain and extend software for solving constraint programming and optimisation problems, and verify correctness.
* Apply algorithm engineering and formal methods, develop mathematically rigorous and performant software.
* Contribute to research publications and proposals, and help manage and direct the project as opportunities allow.
Qualifications
* Excellent programming skills and substantial prior software development experience.
* Experience with modern C++, Rust, and CakeML.
* Strong analytical and algorithmic thinking.
Additional Information
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: www.gov.uk/skilled-worker-visa
This post is full time (35 hours per week) and has funding available until 30th September 2027.
Apply online at: www.jobs.gla.ac.uk/job/technician-software-developer?source=gla.ac.uk
It is the University of Glasgow’s mission to foster an inclusive climate, which ensures equality in our working, learning, research and teaching environment.
We strongly endorse the principles of Athena SWAN, including a supportive and flexible working environment, with commitment from all levels of the organisation in promoting gender equality.
The University of Glasgow, charity number SC004401.
£41,064 to £46,049 per annum (Grade 7)
#J-18808-Ljbffr