Research Assistant/Associate

This post is full time, and has funding for up to 29 months.

The School of Computing Science is looking for a Research Assistant/Associate to contribute to/make a leading contribution to a project titled Uni-pi: safety, adaptability and resilience in distributed ecosystems, by design working with Dr Ornela Dardha and industrial partners SingularityNET and Actyx AG. The aim of the project is to develop, and mechanise via a proof assistant like Agda, a unified formal model (Uni-pi) based on the pi-calculus and session/linear types for the verification of safety, adaptability and resilience properties, while maintaining a realistic view of distributed software systems in the presence of failures, message inconsistencies or service degradation. The successful candidate will also be expected to contribute to the formulation and submission of research publications and research proposals as well as help manage and direct this complex and challenging project as opportunities allow.

To be considered for an appointment at Grade 7, you must be able to perform the duties as listed for a Research Assistant position with a higher degree of independence, leadership, and responsibility, particularly in relation to planning, funding, collaborating and publishing research, and mentoring colleagues. You must also have a Scottish Credit and Qualification Framework level 12 (PhD) with at least 2 years’ post-doctoral experience in a similar or related role(s), or alternatively possess the equivalent in professional qualifications and experience.

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

For informal discussions about the role, please contact Dr. Ornela Dardha, (Ornela.Dardha@glasgow.ac.uk)

For further information the on the University of Glasgow’s School of Computing Science, please visit: www.gla.ac.uk/schools/computing

For more information and to apply online: www.jobs.gla.ac.uk/job/research-assistant-slash-associate-11?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.

Advert information