[TYPES/announce] Research Associate position at the University of Glasgow

[Ornela Dardha]

Hi everyone,

I am advertising for a Research Associate position for 3 years. Details below.
Please get in touch with me if you are interested or have any questions. Also share the ad with anyone you think might be interested. Thanks!


Relocation assistance will be provided where appropriate.

The School of Computing Science is looking to recruit a Research Associate to make a leading contribution to the EPSRC project “Uni-pi: safety, adaptability and resilience in distributed ecosystems, by design” working with Dr Ornela Dardha and industrial partners SingularityNET (Seattle) and Actyx AG (Munich).

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 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. The candidate will also contribute to engagement activities, such as Knowledge Exchange Workshops or tech summits.

Informal enquiries about the role are welcomed, and should be addressed to Dr Ornela Dardha (Ornela.Dardha at glasgow.ac.uk <mailto:Ornela.Dardha at glasgow.ac.uk>)   

For more information on the University of Glasgow’s, School of Computing Science, please visit https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLt5cuCEdg$  <https://urldefense.com/v3/__https://www.gla.ac.uk/schools/computing/__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLt5cuCEdg$ >
For more information and to apply online: https://urldefense.com/v3/__https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=119368__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLuD67dj0g$  <https://urldefense.com/v3/__https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=119368__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLuD67dj0g$ >
Closing date: 11 July 2023



All the best,

Ornela

—
Dr Ornela Dardha
Senior Lecturer (Associate Professor)
School of Computing Science | University of Glasgow, UK
Website <https://urldefense.com/v3/__http://www.dcs.gla.ac.uk/*ornela/__;fg!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLtbN2FvIg$ > | CoLab <https://urldefense.com/v3/__https://colab-glasgow.github.io/__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLuYfdMhSg$ > | Twitter <https://urldefense.com/v3/__https://twitter.com/OrnelaDardha__;!!IBzWLUs!X0dJz93IMtCwM3ZRnIeiETJVPHogq07BRtitzOP2awPN1FSP4qM4hRScE-ReI8qIhoKqm2Y5-f9sqx_o3c6WePBbcuQ_xLskjVIHBw$ >



-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20230615/7577cdae/attachment-0001.htm>