[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.dar...@glasgow.ac.uk
<mailto:ornela.dar...@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$
>
