Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)


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 mta.ca, spls AT lists.cent.gla.ac.uk
  • Subject: [Coq-Club] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct)
  • Date: Mon, 10 Oct 2022 14:00:27 +0100
  • 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=mquwCLXX+yyZ3Re2Z3iTMN08YK2KQDzfxoPqHKokgGE=; b=f6BIYs2cxYb7CPhonqkTUBielNoybIKxSKDH8DZoI6jQpVgXxWIGG6v4t/w/BDlHy+ZwSWXRiVgbxgL5QrHJaByqjkYjTAxIbhO2c9cLQqSCVkdvCS/+7qETXGhqVevI+04pKV/mwZu/pyEOQoonuDB18ekaXyNbSu5GXlajR4E5rJX/QXB+VaUFPDbCPixEp8j+2AEEYGLKO05ftwxOTKsC4k68mS5NKDqvn/AwOO4OopTDjA/3gQ5mwJxKAWA3gMriMHzgLE+JWUn0jXUF/SpE2rt54H7JAz+Nj+/YelJGlavMGHS48kYkmOTmbUQRdsEmKMOa6lZUYfCtSTmekA==
  • Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=odc3cB96lol81e7olDJ5I9M54eYhj7d6KyKkc2kAon6jTkyPBTDp5VxwRsnIx0ow1aYQDKMEEMRFYWguZnlLCkU3uZ+gfhZzE8ZIj8YvxgcBuHoRlcAm/wze1LUquOYYTf2SuL2fvONxBTxGJh5wE3OlM0rnnnnlbmK9bn0THLygQKCuErkYyFDYS1++pDACjtl/qb00nlhTjt8AOnPtM+dLz7+2RuvRvl/FWDRt8d25rTh4RJY4RhPJ0qTg+ECaiFtG7YdjMe/AaZI6EY6kOQtFvAb6GQ35e3/owGPJqMdSgdnxgsR69KJ7E/vJcZ1iG8eDUyWTdYLHMX6ngnOTsg==
  • Authentication-results: mail3-smtp-sop.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-CWL-obe.outbound.protection.outlook.com
  • Ironport-data: A9a23:3kl1EqjGZ2HizPHWATOmOFCzX161HRsKZh0ujC45NGQN5FlHY01je htvWzvSPqyPZTbwftFxaoW2pEhSvZXSzYRjSAtq+SA0QntjpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqicUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYpdDNJg06/gEk35q6r4GpA5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVPKCSDXjCCd86HJWyGr88pSB3w6B4IVxaU0IDt87 /kXFT9YO3hvh8ruqF66YsZGvJx6aeLUGMYYsHwmyizFB/E7R5yFW7/N+dJTwDY3gIZJAOraY M0aLzFoaXwsYTUTYhFOUM14xb7u1ieXnz5w8Dp5oYI5+WXf1g1ylr7qKtbLc9iOAMtShF2Sq 3jJ13/lGBgGNJqWwnyY8RpAg8eVwHKlCN1IRdVU8NZai1SqymUIGCZPbniA+/nkiBKwVYhAf hl8Fi0G9vFprxTyFLERRSaQq3md+xUYRtB4CPw/8AjLy6zO4g/fCHJsc9JaQNkvtctzTiMu2 VWTx4ruA2Y34OPTTm+B/LCJqz/0ITISMWIJeS4DS00C/sXnp4YwyBnIS76PDZJZkPWvXgHP/ zu3oBIxiopQzu9R5b++8m3I1mfESofyciY54QDeX2SA5wx/ZZK4a4HA1bQ9xaYeRGp+ZgnR1 EXoi/Ry/8hTVMzXzH3lrPElWerzv63aWNHJqQQ3d6TN4QhB7FaMV+i8ChlVLV1lM8gKEdMCS GT94F85CHN7A3KuYLQfXm5cI8EjzKylHsvhWfrONoNJZMIpJFHB+zxyb0mN2WyriFIrjaw0J Zacd4CrEGoeDqNkijGxQo/xMIPHJAhhmgs/priik3xLNIZyglbJEN/p13PSPogEAFus+lm9z jqmH5LiJ+9jeOP/eDLL1oUYMEoHK3M2bbiv9ZIKLbLbeFE8Rj1/YxM0/V/HU9w690iyvreZl kxRpmcCkDITeFWcdl/XOyo9NNsDo74u/S9hZkTAwmpEK1B4ON30tP5FH3fGVbwm//Zk1vl6U 7EMadiaD5xypsfvqlwggW3GhNU6LnyD3FrQVwL8OWRXV8M+G2Thp4G1FiOxrnVmJnTs76MW/ eb/vj43tLJYGmyO+u6NNKnwp75w1FBB8N9Ps7zgeYcNIBm3qtY7cUQcTJYfeqkxFPkK/RPCv y7+PPvSjbOlT1YdoYOX15OX5ZykCfV/FUd8FmzWp+T+fyrD82bphccKXO+UdHqPHCn56YezV 9VzlvvcCfwgmEoVkoxeF70w87kyyeGyrJBnzyNlPk7xUXKVNp1aLEKr5/J/7p92+ucBuC+de F6+xd1BCLDYZOLnCAEwISQmXMSi1NYVuCvezdY1LGr1+R5I2aeLbl5TGzKuiyVtCqR/H6144 OUmue8QsxeejDhzOPm4rylkzUa+BV1ebLcG77Y0WJTKjCgvwXF8Oa3sMDf8usyzWo8dI3sUL S+xr4ucobZln27pUWc5TFrJ1spj3aU+gghAlgI+Fg7Yi+j+p6EF2TNK+m4KVSVT9BJM1txzN kVNN0FYIaav/S9itPNcXlKDSh1wOxmExnPfk1c5tnXVb02NZFz/KGcQPeWs/kdA/VlMIRld3 rWTk1j+XRjQIcre4yoVWGxekcLFc+BfzAP4pZ2YL5y3JKViOTvBqY2yVFUMsCriUJ8QhlWYh OxE/9RQSKzcNAwCr40ZC4W12qkhdzWZKFNZQNVK3qAALUfDch6chBmMLEGQfJtWBvroqEWXN e1nFvhtZT+fihmcj2k8K/YXArlWmPUJ2oIzSonzLzRbj4rF/ytbjp3A0wPf2kkpeoxKuuQgI NrzczmiLDShtUFMkTWQkPgea3uKWvhaVgjSx+vvzf4oEagEu+RScU0f9Lu4knGWEQl/9SKvo wLxSP7K/tNm1LhTsdPgIodbCyWwDOHDZuCC3QSwktZJNN30IZjvsSERoQLZJAh4B+YadOl2s rWvi+TJ+n35kow4aE3nvqWQNrJo4JyyVdVHM8isI3h9mzCDafDW4BAC2j6ZKpBirdF09u2aY TuEQ5KuRNsoRt0G+iVkbnkHGRMkFq/XTLnsih2/o9uIFBIcjBLLHOm8/yW4d0VeUDECALzlK wrOo/31zMtpnIdNIx4lBv9dHJ5zJmH4a5Ymb9HcsTq5DHGip0Gr45/OtEMHwi7aLGuHC+P47 oD1fQf/fxGMp6349tFVnIhstBkxDnwmo+0PUm8C2txxmRaoJXUnKLkDDJA4FZ1kqCz++5Xmb jXrbmF5KyHcXyxBQCrs8ubYQQaTKewfCOjXfgVz0RuvVB63I4ecDJ9K1CRquS52cwS+6tCXE 4gV/3moMyWhxp1se/0o2cW6puVZl8PqnidCvQi3lsHpGB8RDIkbzHErTkIHSSXDFNqLj0nRY 3Q8QWdfWkygVErtCoBadmVIHA0C9ibap9nygfxjHP6E02la8AFB9BE7E87Z6OVaKe81APsJT 36xQHaR6WeL3HBVobEup98ina5zD7SMA9S+K6jgAwYVmslcL0w5atgak3NnoN4KoWZi/5H1z 1FAIETSwGyeNFpYxL3QwA5P5pEZvrckEWTSlACmzdPZuUVR8jUaEiRGCCrgNYv5t6iltk4eX TR6gIN9ZbGJnGOMmASSfcj3arBK7Q/92JUEvu0VokvOryqR
  • Ironport-hdrordr: A9a23:La2o8Kwy9jGSbSGL6xyyKrPx1uskLtp133Aq2lEZdPULSKGlfp GV9sjziyWetN9wYh4dcKO7Scy9qBTnhOZICOgqTM6ftWzd1FdAQ7sSjrcKrweQfxEWldQtqJ uIEZIfNDSYNzET46fHCWGDYqwdKbK8gceVbInlvhFQpE1RGsNdB1ATMHfhLqQ6fngyObMJUL 6nouZXrTupfnoaKuy9G3k+RuDG4/nGjojvbxIqDwMurFDmt0Le1JfKVzyjmjsOWTJGxrkvtU DDjgzC/62m99W20AXV2WP/54lf3PHh1txALsqRjdV9EESZti+YIKBaH5GStjE8p++irH4sjd n3uh8le/9+7nvAF1vF0SfF6k3F6nID+nXiwViXjT/IusriXg83DMJHmMZwbgbZw1BIhqA27I t7m0ai87ZHBxLJmyrwo/LSUQtxq0ayqX0+1cYOkn1kV5cEYrM5l/1WwKpsKuZMIMvG0vFqLA E3Z/usq8q+MGnqJkwxh1MfiuBFBR8Ib1m7qktrgL3l79EZpgE586Ii/r1gop4xzuNAd3B63Z W6Dk1JrsA8ciZEV9MOOA5Ge7rANlDw
  • Ironport-phdr: A9a23:BXaBvhyWkAT0KjvXCzLRxFBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z heZvqoxxwKSFazgqNt8w9LMtK7hXWFSqb2gi1slNKJ2ahkelM8NlBYhCsPWQWfyLfrtcjBoV J8aDAwt8H60K1VaF9jjbFPOvHKy8SQSGhLiPgZpO+j5AIHfg9q52uyo9ZDeYQpFiDW9bL58M R67sRjfus4KjIV4N60/0AHJonxGe+RXwWNnO1eelAvi68mz4ZBu7T1et+ou+MBcX6r6eb84T aFDAzQ9L281/szrugLdQgaJ+3ART38ZkhtMAwjC8RH6QpL8uTb0u+ZhxCWXO9D9QKsqUjq+8 ahkVB7oiD8GNzEn9mHXltdwh79frB64uhBz35LYbISTOfFjfK3SYMkaSHJCUMhfWSNPAp6yY ZUTAOQOMulVtJX9qlkUoBeiGQWhCuHixzlVjXH2x6061OEhHBnG0gw6Ad0BrW7UrNT2NKwPS e61y7PIwijdb/xM3Tf97JXDfBAmofGWRrJ/atTeyVMgFwjYiViQp5blMC2I2eQXsmib7PBsV eSoi249tg5xvCKgxsMoioXQiIIVzUrE9T5iz4krP924R1V2YcW4EJtKrS6aK4t2Ttk4TG50o io6174GtIe9cSMXx5sp2wTRZOabc4iU/B3jTuCRLC9kiX95Zb+yhBi8/0egx+HiUsS53kpGo yhKnNTMqHwBywLe5tSZRvZ540qtxCiC2h3d5O9KL005ianWJ4Igz7ItkJcYrErNHijzmErsj a+WcF0p+uqv6+v8ebXqvIWTOJNuhgHjMaQigte/AfgiMgcUQ2ib+f6w26f/8kHjXbVKjfs7m bTavpDCPckWqbK1DxVI3oo/6RuzFSqq3MkCkXQELV9JYAyLgon1N1zAJf30EOuzjE6tnTpux v3KIqHtD5DTInfZkbrseLNw5k5axQEu195Q/YhUBasEIP/rWk/+qtjYDhghPgK13uvpFMlx2 p4HVW+RAqCXNrresViT6e0xOeWMY5IVuCrmJPgi+v7ui2I2lUUFfamz2psXdG63Eeh6I0WYZ nrshM0NEWAXvgoiSOzqj1qCUT1Ja3muWKI84yk3CIOgDYjdWoCgmLOM0DuhEpFLemxLCEqAH Wr1e4meWPoBaTqeIsp7nTwFUbihRZUh1RartALixbpnNPTb9TACtZLi19h5/evTlRYo9TNpE cSSyWWNT2VtkmMGQD82xrt/rldjxVeZ3qh1mOdYFcBJ5/xTTgc6NYTQwPZmBNzoRwLBfc+FS FC9Tdq+GzE+Usoxw8MSY0Z6A9iukwjP3zC2DL8Ni7yLGJs0/7rA0Hj2PsZx0mrJ1K08j1Y9W cZPLm2nhqtn9wfJHYLJkkOZl7yrdasGxiLN+n2DniKyuxRTVxc1WqHYV1geYFHXpJL3/AeKZ rCiAPwiOwpFyMiNYq9LccGh2VxJSP7LPNXFf3n3kGe5AROF3KjKd4e8Py0BzT3QEw0NlQYU4 HCNOCA6Bzy9uCTFATV1U0/3bkXqt+RytTfzSkg7zgqiakR91/yo/B9Qj/uaTbUf0/ZMuCAkr ClzBEehzsrbF9qNoBBwVKpbZtw57Vhd0n/BrEp2OZnkZ6trmlMRdB52sljG0gl+TI5J1YAxt Hcx5A5zMr6DllhMcS/e0pT5fLTcbHTxrz61bKuD9EvT3MyX+e8p7+40tVznuEmHEVA5+Xh93 JEB3WGR6o/LD0wUVoj9TE8z8110oKvBaCQn6KvPyWdlLanyuzSExtF/V7ht8QqpY9oKaPDML wT1CcBPQpH2cITC+nCsZxMAZ6VJ8bIsetihb72A0bKqO+BpmHSni35G6cZzyBHE7DJyH8jP2 ZtN2PSExk2fTT6pgk2svtr2msZCYiseAGO7zW3qA5RKbKBocq4QFX2nP83xz944mp2+E2VA+ gubDkgdkNSsZQLUalX82QNK0kFCr2aqlTG5zHpylCslsKOb2GnAxP75fhcdNUZQWHNrkVeqK IPyktNJFFOwYV0RnQC+rV3/27AdpKl7KDzLRlxUeiHtM2x4eoSajOLbJuVwzNYvuygRV/mga 1eHTLK7uwEdzy7oA2pZwnY8ai2uvZL62Rd9jQpxNV5Vq3zUMYF1zBbbv5nHQOJJmyEBXG9+g CXWAV61O5+o+8+VntHNqLL2UWXpTZBVfSTxqOHI/CKm+W1nBwG+lPGvi5XmFwY9yyryy9htU 23Bsh/9ZoDh06nyP/hgewFkA1r16swyHY8b8MN4iosd1WIbhdOT+mALj273NZBV3rjlZncXS hYQ38Tc/Aij0UYlM3HIj4P1W3OBw9dwMsGgazBzuGp15MRLBaGIqb1cyHct5APg8kSIOL4tw GR4q7Nm8nMRjuAXtRB4yyycButXBkxEJWn3kAzO6dmiraJRbWLpcL6q1UM4k8ryadPK6gxaR nv9fY8vWCFq6cAqelzW3XHp64Kift7KYcwashnRnRDalOJYMp0ZjeYQjDZnf2v2+2Amgb1e7 1QmzdShsY6LJn84tqyjDxJCNz6zYcQJ9i/kiaIbkMGMxIqiBJpJASkRVYfoC/ujVi8R/6eCV U7GAHg3rXGVHqDaFAmU5RJ9rn7BJJusMmmeOHgTydgKqAC1HEVEm0hUWTw7msV8DQW23In6d 18/4DkN51n+ox8Ky+RyNhC5XH2N7Auvbz41TtCYIn80pklM/UrZK82dqOR0BS1G95ml6QKKM HeRah5HJXoVQEWYBxbqNf+z5pHM/vOZCey3M/bVBNfG4bAGEa7QmtT2i802oX6FLY2XM2NnD uEn10YLRn1/F8nD2n0ORyERiyPRfpuerRa49Ddwq5PakryjUwbu6I2TTrpKZIk3vUnu3uHab qjA2nUcS34QzJ4HyH7WxaJK2VcTj3orbDyxCfEbsjaLSqvMm6hRBhpdaiVpNcIO4bhvu2sFc cPdlN7x0aZ1y/AvDFIQH1L7l82zZM9MJWanOE3OAELOOrOcPjfG2c7fer+mQKFQyuxf8QCz8 2X+cQerLnGYmj/lWgr6e+9WgS2BPR8YvoanfghkDWymQtX8cRe2KtBfliEsyKE0wHrBc3Mfe 2sZEQsFvvib6iVWhe96EmpK4y9+LOWKrC2e6vHRNpcctfY4SjQxje9R5242jqdE9CwRDuIgg zPc95Q9xjPu2vnK0DdsVwBC7ypGlJ7e91s3Ir3Xr9FBQSqWoEpLvD/WU1JS4II4Qtz35/IMk p6WzP21cHEatIuKmKlUT8nMdJDaajx4aUKvQHiMS1JZBT+zaTOG3xAbzK7UrjvN6cFl4pn0x shUQ+cCBgVsT6EUVhw9To5FfMcSPHtskKbF3pQBvSPs9UCIFssG5suVBLXOUL3uMGjL17AcP klRmOqqI9hLbd+rgxQ6OAs9wdyveQKYXMgT8HdoNlZm+RwUonYiFjZh0Bq9MlH/pyJKXf+sw Exsg1MnM710rWXivw9sdFSS/HNiwg5sw7CHyXiQdjX1Mau9D5pOBSayr1I2Lp7wXwdya0u1g FBgMzDHAblWivMlfGRvwmcwoLN3EOVHBe1BaR4UnrSMYukwlE9bsmOhzFNG4u3MDd1jkhEre NiitSAI1wVmZd8zbaveQcgBhkBXnb6LtzS02/oZ7yUkfx9I21y2PSkCtQoPK6UsIDeu8qp08 wueljBfeW8KEf03vvZt8UB7MOOFqkCom7JOMUG+MeWDIrjR5zCGzJbXBAppkBNW30BetaB7y 8Iib1aZWwg0wb2dGg5IfcvOJAdJbtZDoXjeeSHd1IeFiZlxPoi7CqXpVbrS7OBN2h3iRV9vT 9pfi6ZJVoOh20zZM8r9ebsMyBF2oR/uOE3AF/NRPhSCjDYApci7ip5xx4hUYD8HUgAfeW264 Kjaoggyjb+NRtAzNz0URIYILHM1Hsu9gSJHtnBESTewyPkTxRKNxyTgvC3MDH/1ZJx+Z73HA HEkQMHz4jg5/6Ws3BTP9Y7CImjhKdl4kvDl07tD4r24L7ZTR7Q7tFrAkY5FQXDsS3TIDdO+O 5n3bc8rcMDwDXG5FFe4jnhmKqW5dMboJa+OjwbyQI9Su4TOxzEvO/i2ETQGEgtxreUOt+psI BcOaJ0hbVv0phwzYuahdRyA3IzkEAPPYXNGCuNSxuKga/lLwjowO6WknWA4QMhyzvHroxJVA sBQyEmYnbH6OsFfSXShRiQbIl2Q43J/zy84aINQiq8+2E+a7ANaamjTMrQvMCsd45k9HQ/Ae C0qTDZnAQfa1c2avUatx+5ApSIFxoQNiLQXviSm5s2NJ278Pc7j4ZTN7Xh6ZIB/8fQoaN7tf pPd5sGZwm2XTYGO4FeMCHfoTqMDyNYMeHkKEKEQwTN3fpFe3OgJoUspCJVkLuQWWvB1/+KkN WI/XyVKlXdLBcTdhXQDmrnugbKCz0XJKc1wPkBc68dM2oNFAXwxP3l7xufrVoPdk3KIRzoQO AkfqxxW4x4NnZNxeeaj55fUSJhLyHhdpPc8FyLPEtMAH77TUX2MiET4Dvyq1fGqj1o6JB3Ey cUBUQJ/T0FWgftVxBJAwFBfBIMq5tePmQCsMETwsSTq1fesI0RXxYvMbVrkAYHZtG36FCoB5 XkTQowJw3baR816rg==
  • Ironport-sdr: 6344176f_8ukIG6tu1HiqjzfycUDREvflJ6dpEM/WgdoxExzp1870v4F I5dYSjEnYnTG1sCw0C4eJ6gxfw9u8derJMnwzLQ==

Dear friends,

The Department of Computer and Information Sciences at the University of
Strathclyde, Glasgow, is currently advertising permanent positions at
the Lecturer or Senior Lecturer level (Assistant and Associate Professor respectively in American English) with an initial five-year reduced teaching load:

https://www.jobs.ac.uk/job/CTO120/strathclyde-chancellors-fellow-in-computer-and-information-sciences-434447

The application deadline is *Sunday 23 October 2022*.

You will see that the ad asks for expertise connected with Trusted AI
and Data Analytics, but this should be understood broadly. In
particular, we believe that type theory, category theory and logic are excellent technologies for establishing trust, and the Mathematically Structured Programming group welcomes applications from type theorists, dependently typed programmers, category theorists, and logicians; we would be happy to help you develop an application. Please contact Head of Department and fellow category theorist Neil Ghani <neil.ghani AT strath.ac.uk> if you are interested, or of course me or anyone else from the group if you have questions. (I'm employed as a Chancellor's Fellow, so would be happy to share my experience of this particular position.)

You can find our group website at http://msp.cis.strath.ac.uk/ .

For opportunities to join us at more senior levels (Reader and Professor), please contact Neil Ghani directly. We also have an opening for our next Head of Department!

https://www.jobs.ac.uk/job/CTN847/head-of-department-and-professor-in-computer-and-information-services-479106

Best wishes,
Fredrik


  • [Coq-Club] Permanent Chancellor's Fellow positions at the University of Strathclyde (application deadline 23 Oct), Fredrik Nordvall Forsberg, 10/10/2022

Archive powered by MHonArc 2.6.19+.

Top of Page