coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Research Associate at the University of Glasgow - Closing Date 17th July
Chronological Thread
- From: Ornela Dardha <ornela.dardha AT gmail.com>
- To: haskell AT haskell.org, agda AT lists.chalmers.se, coq-club AT inria.fr, caml-list AT inria.fr
- Subject: [Coq-Club] Research Associate at the University of Glasgow - Closing Date 17th July
- Date: Wed, 28 Jun 2023 17:12:34 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ornela.dardha AT gmail.com; spf=Pass smtp.mailfrom=ornela.dardha AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f51.google.com
- Ironport-data: A9a23:JIT/36kRtazP7SezC9BicYzo5gxiIkRdPkR7XQ2eYbSJt1+Wr1Gzt xJMUTiBOfiMMWr2ed8lb9/ioBsC7MDRx9ZkHQo9/Co9QltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayajt8B56r8ks156ys4mNA5DTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1AUF9sJbwK1txMDGMT/ 8AzIg8XSRe60rfeLLKTEoGAh+wmJcjveZwF4zRukGifAvEhTpTOBa7N4Le03h9q3pEITauYP ZBAL2c2BPjDS0Un1lM/D4g4keOhwHX2aTFYoXqaoKM25y7YywkZPL3FboKNJIPaH5U9ckCwp X/72X77MAojG4ay2WSZ802JvO/xtHauMG4VPOTgqqQCbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xYA5/UmvC938RAGQu2+BphdaWtxKEuR85hvl90bPywOQB2xBUSQYLdJ77Yk5Qjsl0 lLPlNTsbdByjFGLYVzB6O2MnCGeAxMYLzIIWQQOchEi5OC29enfkSnzZtpkFae0iPj8Fjfx3 y2GoUACa1M73Z5jO0KTrQCvvt68mnTaZlVquViPDwpJ+is8NdH1PdX5gbTOxa8YdN7xc7WXg JQTdyGjAA0mCJiMkGmSWrxIEuzwofmCNzLYjBhkGJxJG9WRF5yLLdg4DNJWfh8B3iM4ldnBP hS7VeR5usQ7AZdSRfUrC79d8uxzpUQaKfzrV+rPcv1FaYVreQmM8UlGPBDAgDC8yBZ2wfxhY f93lPpA615KWcyLKxLmF48gPUMDm0jSOEuJFc6glEv3uVZgTCDIFe1t3KSyghARtfvY+m05A v5QMMyFzxg3bQENSni/zGLnFnhTdSJTLcmu9aR/L7ffSiI4Qj1JI6GKmtsJJdc195m5Y8+So RlRrGcDmASh7ZAGQC3WAk1ehETHBs0k9iJgZnBzZz5FGRELOO6S0UvWTLNvFZFPyQCp5acco yAtKp7YUMdcAC/K4SocZpTbpYlvPkbjzwGXMibvJHB1c5d8TkabspXpbyn+xhkoVyCXjMoZp 6H/9wX5RZFYeR9uIvyLY92SznSwn0MnpsRMY2XyLOJ+Qn7cqLpRF3Spj9scAd09FhHY9z7Li yeUGUg5oMfOka8U8f7Ip6aOkKmxGcAjHEAAR2j/xpS1PBn84WCM79JhUuGJXDaFT0Ly2vyoS tt0xsHGEs8svQh1oaslNJ1034cS2sDJm4ZK6ihFQFDacEWNCJ57B3uNgPl0qaxGw4FGtTuMW k6g/sdQPZOLMpjHFGE9CRUEbOOR8+M9gRjXsOoIJXvl6B9N/LaoVVtYOz+Ognd/KJp3KIYU/ vczivUJ6gCQigsYDfjet3p6r1+zF30nV7krkro4A4Wx0woi9QxkUKzmUyTz5MmCVsVIPkwUO QSrvavlhYoN4mrZcnE2K2rB4voFu7QKpyJx7QEjI3anp4P7o8EZjTxrzCQPbwVKzx94/fp5F Up1OmZUe6if3Tdaq/JSfmKrGgt+KgWT0RWqwFkkiF/bclmMU2DTJjcxItS2oUITqTpdWhN5/ 7io7nnvfhi3XcP23wo0AVVErd66R/NP1wTyouKVNOXbIIsffhzknb6IWWoEjzDFEPEBrhTLi scy9dkhdJChEzAbppMKLrWz1JMSeUiiH3NDS/Qwx5E5NzjQVx/q0AffNn3rXN1GIsHL1kqKC 8ZOAMZrfDbm3QasqgErP4I9E4VWrtUIuuVbIqjKIFQYuYSxtjBq6ZLc1hbvjV8RHulBr5wPF ZPzRRmjTEqg3WBZik3cnvliY2CYW+QJVCf4/eKy8dgKKa49jfFRQRkM9YWw7lqoM1pB3hOLv Qn8Sbfc4M58xK9NwYb9MKVxKD+lCNH0VdbSqQC6jMtTXImeLebPqAInhV31NCtGPbYqeopWl JbclPXVzU/6rLINfGSBoKa4Fo5N/tSUYOVMF9DedV12oHOnY9D9xDcm4EW6GIxtvPIGwff/X Cq+Ss+7VeBNaudn3HcPNhRvSUcMOZr4foLLhH2Yvf+TLjM/zAaeDtes1UGxXFFhbiVSZqHPU F7lic2PuOJdgp9HXiIfJvdcBJR9Hl/vdI0me/D1thiaFmOYuUyDiJSziSsf7Sz3NVfcHPbY+ Z7lQj3MRCa2sozMz/BbtNV8gERGRjI1y+w9ZVkU9NNKmii3RjxOZ/gUNZIdTIpYiGru3ZX/f yvAd3YmFT67ZzlfbBHg+572a29z3ADV1gvRfVTFPn94ahtawKuFCbplszh6ujJ4J2Klw+agJ tUTvHb3O3BdB32vqfk7vpSGbSVPn5s2BU7kPWjylsXzB1AVBrBiOLlJAl9WTSKeey3SvByjG IX2LFyohGm0TEfwFYBrfHs99NT1et/w521AUBpjC+ozd2lWICOsBRE/1yzOPmU/Ufk3
- Ironport-hdrordr: A9a23:ulCZp6utodvzhifYDA1Ub06c7skDTdV00zEX/kB9WHVpm62j5q KTdZEgvyMc5wxhPk3I9erwW5VoP0mskqKdkLNhWItKNTOO0ADJEGgL1+rfKlbbaknDH4BmpN 5dmmtFZOEYz2IWsS832maF+q4bsaG6GWmT69vj8w==
- Ironport-phdr: A9a23:YASUxR2KeBvj/fwdsmDOfw0yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaBo603xw6UFcWDsrQY0beQ6/ihEUU7or+/81k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba1zI RmssQndqMYajI9iJ60szhfFvmZEd/5ZyG92JV+fhQrw6tu18JV+7ylepvUt+tJPXqn9Y6k2V 6FTAi48M2Ay6s3rtB3DQhWK63ABTGgYkQdGDhbc4h3iUZj/riX1tuxm2CmHJsL2Vqw7WS6j7 6hwVhDljjoMOiMj/2HWjsxwi79boA6kqhdizYPYfJ2ZOfxjdazaYN0aWHFBXt5PWCNdHoOyY YwPD+8bMuZZqYn2ul8CoBS6CAWpAu7k1z1GiWLs3aAi0+ouDQ7J0hEjEdwArnraq874O70OX eCw1qTIzSnPYvFQ1Dzg6IbIaBchofSUULxpa8rRz1cgFwffgV6Np4LqJSmV2fkNs2eB8uFtU uWvi3Qhqw5vpjig3N0ghZTTiYIP11/E9T92zZ06Jd29UkF7YNqkHIFMuCGdMot7W8UvSHxnt ygm0LMJo4K7fDQUx5Q9wR7Sc+KLfomU7h/jUOufISl1iXJldb+8hhu+7VWsxO3+W8S0zltEo TdIn8TSu34DyhDe6NaLR/hg80q9xzqC1Q7d5v9CLEspm6TbLJshzaQxlpoVqUnDESv2l1/sg KCMakoo4PWo6+f/brr6oZ+cLZF7igHkMqg0hsO/BuE4PhABX2ia5eS81KDj8lbjTLVLif06i rXZsZ7bJcQHuq62HRVV3pw/5Ba4Cjer1skTk3ofLF9dZh6Lk4zkN0vNLf34F/uznUqgnCpxy /3GI7HtGojBI3bfnLv7Y7px90pRxBAtwd1Q6Z9YEKwNLfz9V0L3qdfWFAU2MxauzObiENh91 p0RWWaIAqKBNaPdq16I5uY2L+iCfo8ZpS/xK/Yl6vLzl3M5llgdfa6m3ZsTdn+0BOhpI0KcY Xb0g9cBF3kFvhYmQeD0lFGPVSRfanWyUq4m+D03Fp+qAZ3DS4ywmLCB2T20HpxSZmBIEFCMF nLoep2DW/cWbiKdPMthnSYeWbe8UYAhzwyhtA/gxLd8IerU/zcXtZPn1NRv++LTkhQy+SRyD 8uGy26NVX17nnsURz8q26ByuVJxxk+Z0adkm/xYCcBT5/RRXwgmMp7c1vV2BMz2WgLcZdiEU 02mQ9WjATEpVN092d4OY0BnG9WjlB/PxSSqA6UNm7yRGJM06r7c32T2J8tl13nJzqwhj10/T stLNG2mnbJ/+hPIB4/JlkWZj7yleb4d3C7L7meDzHCBsFtWUA5qAu35WiUfb1DVoND9zkPLV LyjDbBhNRFOjYaLJadDQtnolkldAvzjMdDbbniq3Xy9QV6DwarJZ473cU0c2j/cAQ4KiURb9 n+DMU06Bzy9i2PYFj1nU1z1MG329uwrj2m9Q0s9hy2DdUFh3vLh/QQTiPiVDf8axL4EsQ8ur jx1GBC22NeAWInInBZoYKgJOYB121xAz2+M610V1v2IKqljggVbaAFrpwb10A0xDIxckM8sp XdszQxoKKve3kkSPyiA08XWPbvaYnL34Ajpc7Tfj1bE1tuS8+ED4e40q1zLswSgF05k+HJig JFOy3XJ3pzRF0IJVI7pFEM+9hx0vbbfNy4n4Y7Q3DtgOLO4sjbq1NcgBe9jwRGlLJ9EKK3RM gj0HoUBAtS2buwnn1/8dhUfIOVb77I5JeujfvqCnbGxZaNuwWvggmNA74RwlEmL8kKQU8bu2 JAIi7Gd1wqDDHLniUu599vwgcZCbC0TGWy2zW7lApRQb+t8Z9RDD2DmOMCxythk4vylE3dF6 F6uAU8H0861aFKTaVL6xwhZyUUQpzSuhyK5yzV+lzxhoLCY2WTCxOHrdRxPPWAuJiEqik3qL Iy9ydwTRkSoZiAmkRKk4QDxwK0a7KVzIm/PQFtZKjDsJjIHMOP4vb6DbshTrZIw5H8PAaLsP BbAEOe7/kJJtkGrV3FTzz06aTyw75DwnhghzXmYMG42t33BP8d52RbY4tXYA/9XxDsPAidi2 ly1ThCxOcek+dKMmtLNqOe7AiimTJtedSCtwYqauCuyzWJvCBy72fu0n5e0dGpymT++zNRsW SjS+Vz7eI/m0638Pet9cklhLFD54st+XIp5l8Fj4fNYkWhfjZKT830dlG71OtgOwqPyYk0GQ jsTysLU6gzosKF6BkqA3JmxFnCUw886IsK/fntTwSUlqcZDFKaT6rVA2ypzuFux6wzLM7Bxm TIUyP1m73B/4alBvxArwyGURLwbB0VYNATjkh2J65a1q6AfaGu0cLe23VZzhpj7VODE8lwaA iygPMp7VSZrpt1yKlfNzGH+5uSGMJHLYNQfuwfV2xbMgu5JKY4gw/8DhC5pI2X47jUuz+82i wAr3Inv5tDWbTUwuvjjW1gFb26QBYtb4DzmgKdAk9zD2omuGs4kATAXRN7zSuruFjsOtPPhP gLIETsmq37dF6CMeG3XoEpgsX/LFIimcn+NI3xMh9J4QhSZLQpTiRoYXDwSkZswFwTsz8vkO hQchHhZ9hvjpx1Ax/g9fR7lVGrbrUGkYy04SJG3Ix9f7wUE7EDQe5/7jKo7D2RT+ZuvqxaII 2qQalFTDG0HbUeDAkjqIrik4dSTu/jdHOe1KOHCJKmfseELHend3oqhi8E1mlTEftXKJHRpC Oc3n1ZOTWwsUdqMgC0BEmQWj36fNJPd/UbkvHcr8Ybnt663EAP3udnRV/0Iao4pok7ux//Eb r/15m4xKC4EhM1SgyaQkv5HmgZV0XkmdiHxQ+pe83SRHeSAwukPSERDIyJraJkXteRlgk8Ua JSd0pSshtsaxrY0EwsXCgCnw5v0I5RMeybkahvGHBrZbezWY2SUnIenJ/v7E+QYjf0I5UTv4 nDCQhOlZnLb0GC3MnLneeBU0HPBZE0Y6Nz7K0w9TzCkFY2uawXnYoUu03trkftt1ymMbSlFY HB9ax8f9OTOq3kD07MkQSoZqSM0SIvM0zCQ6+2SQnoPmd1sBCk81+dT4XBhjqBQ8DkBX/tt3 i3bst9ppVii1OiJ0DtuFhRU+H5Ng8qQsENuNL+8lNEIUGvY/B8L8WSbCggb79pjBNr1vqlMy 9/J3KvtITZG+tjQ8IMSHc/RYM6ANXMgN1LuFlu2REMdSiW3MGjEm0FHuPSb93nQsYJj75axw dwBTbhUUFFzHfQfSwxkENEEPJZrT2YknLqc36tqrTK1qBjcQtkfv4iSDKrDR6WybmzD1P8ZP khto/uwN4kYO4zl1lY3b1B7mN+PAE/MRZVWpTUnaAYooUJL+Xw4T2sp2kujZBn+hR1bXfOyg BMyjRNzJOo38zK5qVAtIFfOrW08mVM9mdzNjjWYcTq3J6C1F9IzaWK8pw0qP5X3ThwgJxW1h lBhPSzYSqh5irJhcSV0klaZt8YWX/FbSqJAbVkbwvTdNJBKmRxM7y6gw0FA/+7MD5BvwRArf ZCbpHVFwwt/bdQxKMQ4xYJMx1lUw72U52qmi7l3zwgZKEIAtmiVfXxQ0KTtHrYjLiusuOdr7 F7a89OsUGcJXvsu5Plt8xFkU9k=
- Ironport-sdr: 649c5bf5_P+jnhyZBVNq4o8Nr6kArOvQ/3pBz3dEID2NPG1wU/9oF0e+ idZmWi3+Ld49t9ikgAPiC8z7kr0x4YmasdaznaQ==
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)
For more information on the University of Glasgow’s, School of Computing Science, please visit https://www.gla.ac.uk/schools/computing/
For more information and to apply online: https://my.corehr.com/pls/uogrecruit/erq_jobspec_version_4.jobspec?p_id=119368
Closing date: 17th July 2023
- [Coq-Club] Research Associate at the University of Glasgow - Closing Date 17th July, Ornela Dardha, 06/28/2023
Archive powered by MHonArc 2.6.19+.