Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Postdoc position at the University of Strathclyde

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Postdoc position at the University of Strathclyde


Chronological Thread 
  • From: Fredrik Nordvall Forsberg <fredrik.nordvall-forsberg AT strath.ac.uk>
  • To: coq-club AT inria.fr, Agda mailing list <agda AT lists.chalmers.se>, types-announce AT lists.seas.upenn.edu, logic AT math.uni-bonn.de, homotopytypetheory AT googlegroups.com, categories AT mq.edu.au, spls AT lists.cent.gla.ac.uk, msp-interest <msp-interest AT cis.strath.ac.uk>
  • Subject: [Coq-Club] Postdoc position at the University of Strathclyde
  • Date: Thu, 14 Mar 2024 16:08:35 +0000
  • Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=strath.ac.uk; dmarc=pass action=none header.from=strath.ac.uk; dkim=pass header.d=strath.ac.uk; arc=none
  • Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector9901; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=7LbJyc27CUkEA9/utS6fl9tNI4SeIX/8Scsih2dKlRM=; b=aeoC+ESFbqGmBqO+tyUS13TSPfAXLI8LZRyJkvDRNS/WcVUxW0PoINh+Rhk9K1IkbgDlI5c48LwI7WRADCzgR5WAwr6Y68TrDtFkNOf/PU119QVRogBbAoSjXro1dj8MMhRN9rMK3iay8+3EHRncCqnabu8df6og/ywsZJCjXIqTfQi/6iUY6ki2HKJ9wiOb2TAZH4nL7LvvjvHD9t6RAjwzOEWg+OtO+UnmDTsNMvafw12dymnSCnWsFBCl99GwdHBFWhPN1mBfSbZvrEocAbaveniYIDldwg1FaJ0YZPueypCl/hPDe36OKeSuzRZOCZB5CtvVWAGCcTsbq5ANAA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=mbQiPXRb0MKNuNW/WGiBrjtoDspQf4v+x+XfDD9zwD3PuoD+YVP7Snkv92xOOAxvWHuULvdQFBlGOPtBTDJXdQ5KOzN8DiL12QL4eJVavobwWlYYzge4Y6LGbGYcQS46QyeTqsYBLWw3/Br6Za9YH+1kl6uzzGTn11OX7jAmxHLMtf747gqdTPdi857QsvBw2j8b2MbUPh0BXo80mUUbkF7oIkWJOt9/RAo1NGajK7Mz0tWnWiEf4UT7ct2xURC8U7aaz8pQS0iQOLPUxbRZsuVOS8+WllweHxeUdL/TVuq2m0ug6PB8qq+PLjagYK1o83IOd5uQjcwuNYhBRYB9vA==
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=fredrik.nordvall-forsberg AT strath.ac.uk; spf=Pass smtp.mailfrom=fredrik.nordvall-forsberg AT strath.ac.uk; spf=Pass smtp.helo=postmaster AT GBR01-CWX-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:O8FxKao+DKr6DTdpV9BWRTtwWhBeBmIDbhIvgKrLsJaIsI4StFCzt garIBnXO/zYZWb1LdggOYzk80lS7cTUm99nSQZppXs2QXsW+ePIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSs/3rRC9H5qyo5GtD5wBmPJingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2k6D4sxo98uLF0N3 uQGLCEqXAmmjqGflefTpulE3qzPLeHEFrlH4zRL8gGcCvwrB5feX6/N+NlUmi8qgdxDFurfY MxfbidzaBPHYFtEPVJ/5JAWwL/u3yGgNWQC8RTM//VfD2v7lGSd1JDjKtfZYN2JA8NShEqGr 2bCumr+GAoQOcaQ4SGZ6HuwhqnGlmXmW+r+EZXhq6A12QbMnjR75Bs+Vn6/s6mCjU2ECt98M W4U2xAK85po6xn+JjX6d0bj+iLb1vIGYPJbFPR/4wWQwILP8gOBDy4FSCRAYZoorqcLqScC0 1aIm5biGixguqfNEHWbrO7O8nW1JDQfKnIEaWkcVwwZ7tL/oYY1yBXSUtJkF63zhdrwcd3t/ 9yUhCQMgZxKtJcm6+aQ5U7DkhWev73ADSdgs207QVmZxg9+YYekYamh5l7a8etMIe6lor+p7 Clsdy+2vLFmMH2dqBFhVtnhC5mGzZ643ND0hFduG9wq6CSi8WT7JIdWumgkewFuL9oOfiLvb AnLowRN6ZRPPXysK6hqf4a2DMdsxq/lfTgEahw2RoUVCnSSXFbdlM2LWaJ29zy8+KTLufxnU ap3ie72UR4n5V1PlVJavds1374x3TwZzmjOX539xBnP+ePBPSbOFOtbbgfSM7FRAEa4TOP9o o432yyimk03bQECSnKJod57wa0icSZkWcum85w/mhCrc1c9QDFJ5wDtLUMJINc/w/s9ehbg+ 3C2QEhDz1TjzXbAMx3iV5yQQOKHYHqLllpiZXZEFQ/whRALON/zhI9BLcdfVed8roRLk6UrJ 8Tpju3bX5yjvBycp29CBXQ8xaQ+HCmWafWmZXb/PWZjIsE4HGQkOLbMJ2PSycXHNQLv3eNWn lFq/lqzrUMrHlw4VpTle7i0wkmvvHMQvut3UgGaapNQYUjguswiYSD4kvZ9cYlGJATh1wmq8 V+cIS4Zgu3R/K4z0t3C3p6fo6mTTuBRI0t9Hkvg14iQCxX0xGSY7LFlbPepZhHYDWP9x7Wjb 75aztb6K/w2o2xJuItdTZdowYkD5fL/g4J8/jtPRWv6amm2AOheekiDjJBFs5RQzZ97pweZZ ECD1d1EM7TUJs/VKkUbfls/SuGly/svuyLz6M4tKx7Q/x5H/7ugUGRTMSKTiSdbEqBHDYM9z colu+8U8waamDNzFvqn1wd/6HWqPH8bdqcopKEhH47gjzQ0xmF4YZDzDjH85LeNYY5uNnYGD yC1hq3QoaZ13WvHLmQOEEbS0dpnhZghvA5AyHkALQ+rnvvHnvoG4w1Dww8oTwh6zgR17MwrA zJFb3ZKHKSp+ytkoONhXGr2QgFIO0C/y3zLklAMkDXUclmsWmnzN1YCAOeq/n0C0mdibzNer aC5ymHkbG7QR/vP/BAOAGxrl/+yauZK1FzmuNumFMG7DZUFcWLboquxV1Ep9TrjI+0M3XPim 8c70tp0W6PBMQwon5YaEKifjLQZdwCFLjdNQNZn56I4IlvfczCThxmIDRi6f+0VLteX8X6pV pVnN+NUdhGEzC3VhCsqNa0NBL5VnfAS+9sJfI3wF1MGq7eyqjlIsora0yrD2F8QXNRllPgiJ rPrdz6tFnKagV1WkTTvqPZoF3WZY95eQiHBx8Gwrfs0EqwcvNFWcU0d1qW+u1OXOlBF+zOWp AbyWL/E/dd9yIhDn5reLYsbPl+acejMbeWv9By/l/9sbtmVaMfHiF4zm2ndZg9TOeMcZsRzm bGzq+XI5ULivostcmXnipKERrho58KzYbJtCfjJDkJmxAmMZMy9xCE42TGcCYdIm9Zj9MWYV 1OGSM+vR+U0BfZZ5lNoMhZ7LThMKp7ZTKnaoQGFk8+tETkYiAzOE8Om/yTmbEZdbS45BKf9A Q7V5deowIhTqaoUDTRZB8B3XsZxMX74eK4cb9aqnyKpPmqppVKju7XZihsr7w/QOESECMrX5 ZHkRAD0URaP5JHz09BStrJtsi0tDHpShfc6emQf8YVUjw+WIXEnL+NHF7k7EbBRzzLP0a/na AH3bGcNDTv3WRJGe07e5PXhRgKuOfwcCOzmJzAG/1KmVAnuPdmuWIBezyZH52t6XhDBz+v9c NEXxSDWDyiLm5psQb4e2+y/jeJZ3cjl/3Mv+33mssnMEh0bUKQr1ntgIVJ3bhb5MfrxzWfFG WtkYlp/YhCLeRakW4IoMXtYAwoQsz7T3i0lJ3XHisrWv4KAivZM0rvjMuX0yacOd9kOOKVIf 37sWm+R+CqD7xT/Y0fyVw4B2seYyM5nH/RW6IfMbzdKxuSb1VRiOMkP2y0SUMsl5QhTVUvHk SWh6GQ/A0LDL11N3LqRykMC/JcZvrckEWTSlACmzdPZuUVR8jQbU0HCIMHHxVXYsLT5tllYB j4ZKluSy7FTnCWxviFw75z3uXTeafz81hD4vuQAVY/omwusDmZWUq1iu63/OxS971Ucrrhpm G2tPxnRNW5psu5jH+wpoTvBXoVakg==
  • Ironport-hdrordr: A9a23:UzIx3a5Iq7AuXmxPoAPXwTKBI+orL9Y04lQ7vn2ZFiY5TiXIra qTdaogviMc6Ax/ZJhSo6HnBEDmewKlyXcV2/hpAV7GZmXbUQSTXeJfBOfZsljd8k7Fh5NgPM VbE5SWYeeYZTYasS+T2njDLz9K+qjizEnHv5a4854gd3AJV0k2hD0JcTpzX3cGMTVuNN4cLt 6x98BHrz2vdTA+adm6PGAMW6zmq8fQnJzrTBYaD1p/gTP++g+A2frfKVy1zx0eWzRAzfML9n XEqRXw4uGGv+ugwhHR+mfP59B9mcfnyPFEGMuQ4/JlXgnEu0KNXsBMSreCtDc6rKWG70srqs DFp1MaM8F6+xrqDxGIiCqo/zOl/Ccl6nfkx1Pdq2Dku9bFSDUzDNcErZ5FczPCgnBQ9+1U4e Zu5Sa0ppBXBRTPkGDW/N7TTSxnkUKyvD4LjfMTtXpCSoETAYUh5bD3xHklXavoIRiKpLzOSI JVfY7hDbdtABqnhknizyNSKIfGZAV8Iv+EKnJyy/B9nQIm3UyR9HFouvD3rk1wiK7VdKM0mN gsEp4Y542mHfVmH56VQt1xN/eKNg==
  • Ironport-phdr: A9a23:RnbAbhwrXsMND0XXCzIlxFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z h2Zuqom3AaBdL6YwswHotKViZyoYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Znebx9KiTe/br9/L wi6phjNu8cLhodvNqk+xhzVr3VSfOhY2X1mLk+JkRbm4cew8p9j8yBOtP8k6sVNT6b0cbkmQ LJBFDgpPHw768PttRnYUAuA/WAcXXkMkhpJGAfK8hf3VYrsvyTgt+p93C6aPdDqTb0xRD+v4 btnRAPuhSwaLDMy7n3ZhdJsg6JauBKhpgJww4jIYIGOKfFyerrRcc4GSWZdW8pcUTFKDIGhY IsVF+cPPuhWoIf9qVUTsxWxGQaiC+z0xz9UhHL7x7E23/g/HQzE2gErAtIAsG7TrNXwLKocU fq1w7fVwjXZbvNW2ir25pDPchA7vP6MQ6h/cc7VyUIyFw3FiU+QqZf+MDyLzOQNvHWQ4u1uV eK1lWEothtxojmsxss2jInJgZgVxU3a9SpjxIY1IcS0SEB8Yd6+C5tfrD+VN5F5Qs45WGFop Dw6xacauZ67ZiQF0ogoywTCa/yEaoWF5A/oW+mNLzlinn1lZK6/iAio8Uim0uDxSMa63EpJo ydKltTBuHEA2RLP58WaSvZx41ut1ziB2g7d6uxJJV04mKvFJ5MvwLM9i4cevFjBEyH5mEj7k rOae0M58eam7OTnZ6/ppp6aN4JskQH+Lr4uldajAeQ4KAQBRXSU9f6h1L3g5UH2XrNKjvIsn anWrp/VP9gbprWjDwBJ1YYv8Qu/DzSg3d8FnncHNEpIdR2bg4TzJl3CPPL1Ae2ij1iyjTtn3 e3KMqPjD5nVMHTOkavtcLh45kJB1AY819FS6pdVB70dPP7+X1H9u8bZAxI8NgG5w+DqA8hj2 4MaRGKPGbOZP73IsVGV5+IuIveDaZcJtDv7NvMr/eThjWUjll8YZaSp3YUYaHS/Hvl+IkuUf GbijsscHWsToAcxTO3lhESFUTFIeXm+RaU85iwnCI29CofDW4atj6Gb0CejBJ1WYXxGBU6QH nf0doWEXPEMZDiVIs98jjwEUb+hS4gi1R20qAD6zL9nIvLV+i0eq53jyMB46uLPmR0o6DB4E 8aQ33uQQ21qg28EXSI60L59rEBlz1eMy6l4g/hWFdxJ4PNJVx83NZDGz+NkFt/yQAPBftSTR FagRdWmGyw+TswrzN8KZ0ZxAtuijhfZ3yqxGLAaiaaLBJMv/6LHw3jxPdxyy2rG1KU7lVYpX tFDNXClhqJn8QjcHJbGk1+FmKayaaQcwCnN+X+ewWaWpkFXTBZwUbnZXXAYfkbZsdP55lrbQ 7CyDbQnLxBOxNWZKqpKb93plU9JSO3iONTYeWKxmn2/CQyGxrOWP8LWfDAW2zyYA0wZmSgS+ 2yHPE4wHGPpim3SBXRrHFPrYkXjue1/s2/zGkY7wwiia0x6y6Hz8R4cgfmRUehVxb9S/G89u i15BxO02dTRFtyLqiJlfb5AepUm7V5ck3/Bugp7eJGsMuQqglkRcg9fukry11NqDIQFm88sq jUmwU46KaWd109GbyKEzIj9Jr3aLXPj1B+obKHS117E18uO4eEE7/F8417qoAymEVAj/m5P1 sAT3neBoJzXSEIJSZbqekI27ARh4brXZDV76Ifdk3Rnd7S39nfHwMpsBe05xwytZMsXZKafD ErzFdEXHcW1NMQhmkPvdQ4eNfxSsqc/ed6lIaiowqmuach6kT68jGcPxodn3lyF8y40ZOnSx JwI2f7QigWdWjvmjVTntMftlZ5NYTVXEG2l0iLpHoF5fbFodJoLT26lZdC0kIYtz6XxUmJVo QbwT2gN39WkLF/LNwSVNWx40E0WpSbigi6k13lulDpvqKOD3SvIyuCkdRwdO2cNSnMxxUz0L 92SiNYXFFOtcxBvjAGssEjgyqRBpac5KW7JTVlBeyyzIWZ4SaG9rLWqeNJV4Y8o9yxcFvm/M hiBUrComxIByGv4GndGgjUydjWkoJL8yhJghW6HLXU1qn3Ddd95wROa6tvGXvRcxDUuXzVig CXXQFG3ecSqrp2Pj5mWiumlTCq6U4FLNynmyYTVrCyg+WhjGgGyhdicsOe/SE0R7h++0NNnE yLVsBz7f4/nkbygNv5qdVVpA1m67NdmHoZ5kc07g5R4NWEyoJKT8DJHlG7yNY8ewqfidD8XQ jVNxdfJ4Q/j0UklL3STxou/WG/Pis1mL8K3ZG8bwEdfp4hDFbuU4bpYnCB0vkvwrATfZuJ4l ysczv1m4WATguUAsg4ghiuHBbVaEU5dNC3q3xOGirL25KtNaWq1cLv20k1kkc6oCLXHrAZGQ 3z0YJgKBjNq59l/dlvHlmDwq8nldNTWcdMPp0iMiR6T6oodYJk1l/cMmW9mITeh5Tt8k7F91 EY3m8jg49viSS0l5q+yDx9GOyegYsoS/muolqNChoOM2IvpGJx9GzINVZ+uTPSyETtUu+60U mTGWDA6tHqfHqLSWAGF70Iz5XzVHpyxNnLRIn4DwctrQB3YKktFmwoZRjoShYIjHxyqgsXqN lp6rGN0hBawul5Xx+RkOgOqGGnFqQuyazRyTp+FIARf6gUH6UDPKsaT9O1bBD1C94Gh6gWGb HGYLVctbylBSgmPAFbtOaOr7N/L/r2DB+awGPDJZK2Hte1UU/rgKYuH6oJ95H7MM8yOOiMnF Pgnwg9ZWns/Hc3FmjIJQihRliTXbsfdqg3usiFwq8m+9rzsVmeNrcOBEbZeK9RsvRaxm6udP uqUwSh+My1S24kD7WTU0rED3BgbgGdzdHGhHK8BuijEUK/L/80fR0JDLXora40Rtft6h1MSc cfAwsv4zLt5kuI4Bx9eWFrtl9voLc0GLmehNU/WUUOCNbCIPzrOkKSVKeu3TbxdivkRtgXl5 W7dShe8eG3Zzn+wDU/8VIMExDuWNxFfpoynJxNkCGy5CcnjdgX+Kth8yzs/3bwzgHrOc28aK zl1NU1X/djypWtVhOtyH2tZ4z9rN+6BzmyX9eTUMJcV9/1sGChqnuZepXo90aBf4TtLbOdpg iLOrphnqBe7kaPcr1gvGAoLsTtNiI+R6A9sI6jV7JhDH3DD5h4T5GGUThoNvcBvB8fgk7tM0 NHTlOT6I3Ff8JiHmKlUT9iRI8WBPn07NBPvEzOBFwoJQwmgMmTHjlBcmvWfpTWF64I3oZ/2l N8SW6dWARYrQ+gCBB0vT7lgaN9nGykpmrmBgIsU6Gqi+VPPEd5CsMmPV+rOU6m3bmfDy+ECP 1xRnPv5NdhBatW9ghQ9LAE8xMOTRS+yFZhMunEzM1Vy+R0VtiA4Fipqhwrkcl//uSdPU6Lr2 EZw0kwnPqws7Gm+uV5vfwiT/XJinhVpwYe3xmzBFVy5ZKaoA9MMAnKt5RFoa8H1H14uP1/1w R0sNS+aFehY1+IyLDky2gGA4cAdSaYEFf8WJ0JJoJPfL/QwjwYGo33+lxYevLnLVcM5xgByK cb+/TUdgkpidIBnf6WIffgQlwECiP7W5X2mjrhpkl1ZehxFtWqWfGRgVFUgDrA9PGLo++Vt7 VbHgD5fYC0WUPFspPt290Q7MuDGziT60rcFJFrjf+CYKqqYvSDHm6vqChso0VgUkkBe4bVs+ egJSRLNEmsQ/P6WHRlPMtfeIwZIacYU7GLUYSuFreTKx9RyIpm5EefrC+SJscN2ygqoER0oE IIF8skaVsX0lhiAcoG+dudDkE9yrA3wbE2IFvFIZA6GnH8crsezwYU2lYhRKzcBAHlsZCW64 rGEw21iyPGHXdowfjIbRt5YbjRvAJL8wnQA+S0aU2rSsKpR0gWJ4j7iqz6FCTD9a4Amf/KIf VZ2D9rw/zwj8q+wgFqR85PEJmi8O84x372Hoe4cuZuDDOtZCLdntEKJ0YdCSnCwUm2JF9mvK 4b5b41pY9vuEXy3SFOXkC4vRtvxet+maLWLy1KNJ84coMyA0TYvONXoXCkZAAt1rvof6bhUS ic5O8N+SiHY8gM0Ouq4PRuS1cioTyC1MzxKQvJDzOK8IbtK0y4raez8w3wlBMJfraH/4QsGQ 5cEiQvbzPCoatxFUCT9LXdafh3GuSszk2UyfvZ32Oo0xwnE9EUNKz3ePvI8c3RK5ptvYDHaa WUzEGczQEWQyJbO8hL5la5H5DNTxp5VybEX7CC478WZOHT0H/X24ZTN73h8NZ5/+/I3acq7Z ZLY0fGW1j3HEMuN6EvcCHb8T7wC3YEMaCNAHKsRwT1jZZNA4cwZrhNuHsYmee4VAfF19OnzM GhqUXZKn31eC9PlvnRKg//iieHTzk7CKc17YhJY6M4Q0JxBAmZ3en1M/qb7DtePzjbWRDRTe 1VDtVwUtlBHy9YVHKit4ZKWHsVFk2cE+qstACWXTsI6/AOjEjPExgWhAPS5zb7z1FoLnqu1i 4sVBEYkW0YFn74ExAx1cvkyIq0U9OYiUxenX3mi5SfG99vjI1Ncj8rJa1f/EYzJ83LmVTER8 mEVQokJz2zDEZMVkExyb6N5/T2kz6i9Zlz3+zxizo8vArrqDKhDIn4+sWwPWyfsGtEHFuI06 Drq
  • Ironport-sdr: 65f32106_sdfYdCB4j+9qMLHRsAPC8XxPAWwmDkM/tLGKIeu/Z31RkJt 2mI6ZmAXOlTeI7PWQcHcgyS1JRRlCDfvh5qIHFA==

Dear colleagues,

We are looking to recruit a postdoctoral researcher to work with us at the University of Strathclyde (Glasgow, Scotland) on our EPSRC grant EP/Y000455/1 A Correct-by-Construction Approach to Approximate Computation. This research is aiming at combining techniques from logics, model theory, type theory, category theory, continuous mathematics and AI for developing the foundations of approximate (quantitative) computation and apply this to programming and learning paradigms.

More details about the project can be found here:
https://personal.cis.strath.ac.uk/r.mardare/projects.htm

The call for this position, with a deadline of 31 March, can be found here:
https://strathvacancies.engageats.co.uk/Vacancies/W/5820/0/421067/15019/research-fellow-599328

Kind regards,
Radu Mardare
Neil Ghani
Fredrik Nordvall Forsberg



  • [Coq-Club] Postdoc position at the University of Strathclyde, Fredrik Nordvall Forsberg, 03/14/2024

Archive powered by MHonArc 2.6.19+.

Top of Page