coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Cécilia Pradic <c.pradic AT swansea.ac.uk>
- To: <coq-club AT inria.fr>
- Subject: [Coq-Club] Lectureship in Swansea
- Date: Thu, 18 May 2023 18:22:50 +0200
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=swansea.ac.uk; dmarc=pass action=none header.from=swansea.ac.uk; dkim=pass header.d=swansea.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=8L+UBGY//vCsLxVeP0Twt+1TzvyRW6Ph1cS2GQPZm8o=; b=F17OCNVORvFxGVpmsI5OwvHtkqTqHt2JNYAwGhBthEKlR4hZjxYC2r2mUGfBqMoQPDxdyY+GiBvxa7uLZukituu/ZNQU0JUJ5uCfjNUzqBditYdFCX5uXZt+d8Ud8YfwFwKET43ByIkeDu0ZsTOrKMP8lBlt7UE9thvXoM3+MF6NxwCrQgIdp6Qfnl9tU9PTs4ncgfsu+MvKoE2VhuFBhTqpn0xap1sUr4SZpV+iX4u9/WRs830PGkG8FxaJrgRyJN9yZKZp14uDvLmbOQ9+ilrTlut4dy5k0gX/Gr8KQ/otTu0lAcuNNrfC9qw4/O2IY13pb2ZeOCOZ5QJhfWwlLw==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector9901; d=microsoft.com; cv=none; b=HIW2DOW4eTQMogLNTDMrHiY4Aw/FrVWPq8NNTgzfYVI2ieq8XoDRiH9wB4MMa93OnM0P97ANJ2xw4DAcIyZ/voWy5TvBYPOr5gWM9uL3oJZmLVu6TaD0DT+/U7c2NIOjm7jnpspj4sOaFZZ8+7FEtxggIQFodsh1Uz9KeBdYuTO+dhWXIdJqFMxE9oejujoq5QXB3BVO0kF+KuL63Gz6xwBP4snobWEfWnd+zvG4nLCJpecx5zD7nZB79gb/SbmjbmzBkwdUIdtT+I3BbEW0sDYnJ/GS3Q1yGbaG8hDcdePbtcSWgP2b6QDMNT4tk18mKzm/tfaJ9UsNp/NKWccNOA==
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=c.pradic AT swansea.ac.uk; spf=Pass smtp.mailfrom=c.pradic AT swansea.ac.uk; spf=None smtp.helo=postmaster AT zeppo.swan.ac.uk
- Ironport-data: A9a23:CO3Rz6hEUV+bytc+PBmaiRDeX161VhQKZh0ujC45NGQN5FlHY01je htvDGvTPq6OMWT9LopzYYTi9E8BsZeBx9ZkQQFsqHhjE3ljpJueD7x1DG+gZnLIdpWroGFPt phFNIGYdKjYaleG+39B55C49SEUOZmgH+a6UqieUsxIbVcMYD87jh5+kPIOjIdtgNyoayuAo tqaT/f3YTdJ4BYqdDpMg06/gEk35q+q5WpI5gZWic1j5TcyqVFFVPrzGonqdxMUcqEMdsamS uDKyq2O/2+x13/B3fv4+lpTWhRiro/6ZWBiuFIOM0SRqkQqShgJ70oOHKF0hXG7JNm+t4sZJ N1l7fRcQOqyV0HGsLx1vxJwS0mSMUDakVNuzLfWXcG7liX7n3XQL/pGUmVuM4cCp8JOPD9k2 ds+I283dDuGmLfjqF67YrEEasULPsTzJIRZoW5py3fQBrA7QvgvQY2TvoAegGt235gWW6yEO KL1ahI3BPjESxYJIk0eBJM1tPy3j3/kfjQeoVnTuKlfD237kVItiee1aYa9ltqiS4JWhh26p 079w1ugAU02HeWg1Wah/Sf57gPItXinBt5LTefQGuRRqFaU3ykYDAAcfUCqpOGwzE+4QdNWb UIOkhfCtoAg+VSzSZ/mQBS+5neP+AMfMzZNLwEkwF+pkqTe+Vu9P1VaZBJmTtd5jtUdQCN/g zdlgOjVLTBotbSUT1eU+bGVsS6+NEApwYkqOXBsoewtuImLnW0jsv7cZos6TvTu07UZDRm1n 2jR8HNWa6A715Zj6kmtwbzQqx2GznQjZjUq7wPMU2vNAuhRX6f/D2BEwWfS6ftbRLt1o3GTs WAcnI6F8+kIS5iG0jGOKAnsIF1Lz6jbWNE/qQcxd3XEy9hL0yL+FWy3yGogTHqFyu5eJVfUj Lb74Gu9HqN7MnqwdrNQaImsEcksxqWIPY27BqyPMooUOcQgK1XvEMRSiai4gTiFfK8EzPBXB HtnWZzxVR729Iw4lmfoH79FuVPV7n1imj67qW/HI+SPiubAOCfME9/pwXOMZ+Y08OuZpgTL/ sxENtebgxNSTPL5eCq/zGLgBQ5iEJTPPriv85Y/XrfbfGJOQThxY9ePmulJU9I+wMxoehLgp SzVtrlwkwak2hUq6GyiNhheVV8Ydcom9ChjZXFxbQfANrpKSd/H0ZrzvqAfJdEPnNGPB9YtJ xXcU5XfUqZ8WX7c9i4DbJLwioVneV75zUiNJiepKnx3NZJpWwWDqJeucxrN5Rs+KHO9lfI/h Lm8iSLdY54IHDp5AOjsNfmA8lKWvFomotxUYXfmGNdoVX/XwNBYEBCp1v4TCOMQGCrH3Qqfh lq3Aw9HhOzjoL0V0djuhIKWo92HDuAkIEp+GkfZybCILwjb4WuR7otSW8mYfT3mdT3V+YfzQ c533v3DIPk8s1ISiLVFEpFv1rMY29vjg5R43zZUNizHQHrzA4wxP0Tc+9dEs5N844NwuCy0a xqpwcZbM7DYA/HVOgcdCyR9Z9vSyMxOvCfZ6Mk0B0DI5CVX2r6jemcKNjmujB1tFpdEALkH8 8wA5vFPsxeejyA0OOmolipXrmSADkIRWpUd6601PtXZtRoJ+HpjP7rsUjT78bOeWeVqa0MKG AKZtIDGprZbx3fBTUYNKGjw7bJdq6gj6BFu530eFmuNgevA16MW3gUO0DEZTTZ17xRg0sAtC FhBKEdkeLeCpRl1oM1tXUSqJRtgBQKYyGP12VAmhG3UdGj2d23vfUkWG/eBw1AdyE1YJgNkx bC/zH33dBrbZ+Tz43cCYlFkoPndUtBBzA3Ot8S5FcCjHZNhQz7aroKxRGgP8T3LPNgQgRDZm OxU4+pAU633GioOqakdCYPB97AxSgiBFVNSU8Na46IFMmHNSg6cgQHUBRiKRfpMAPjW/WuTK c9kfJtPXivj8he+lGkQAKpULoJkmPIs2sE5RYrqAmw44p+/tTtitazC+hfu3FELR8pcqudjC 4fzWQ/bLEmuqyp6p2v/ovNAGFKEWvgfRQil3OmK4OQDTJ0Cl+d3cHAN6Li/vlTLEQ1BpCOr4 RHxWILL/tNH1IhThIrIOYdADjWSNtncermp8geyktIWdvLJE57EmD00o2ndHTZ9HOUuSfUus prVq//x/kfOnIhuYlDjg5PbSpV4v5SjbtRYIufcDSd8nxLbfOTO/hFa2WSzCaIRoeNn/sP9G jeJMpqhR+U0BeVY6mZeMRVFMhAnDK/yUKfsiAW9o9mICTkfyQb3F8ymx1C4cVBkcjI0BLOmB j/Wo/qO4vVqnLZIDjIABNBkBMZ2HgayE+9uPdj8riKRAWSUk0uP8Omq3wYp7TbQTGKICoDm6 JbCXQLzbwm2pLqO9txCrohupVcCOR6RWwXrkp41oLaaSgxWDVLq6cwPPI0eDddPjSX0kpjzI izOBIfn5eMRQhwcGSgQIvy6NutcOgDKEszmLzoy8krSYizwGYDo7H5J6HJ7+3kvEtf85LjPF Dzdk0Ec+jCq3ZhvXusaoPWwx/pkrh8fKrTk5mil+/HP790i7XnmGZCv8MehlcAKLi0VqHj2G A==
- Ironport-hdrordr: A9a23:rNe5YqGg2V0AG5oxpLqFLpHXdLJyesId70hD6qkvc3xom52j9v xGws506faVskdzZJhSo6H5BEDgewK5yXcR2+Is1NiZLW/bUQeTXftfBOjZskLd8k/Fh4lgPM 5bGsAVZbGefDoK6PoSizPIburIruP3i5xAyd2utkuEGmpRGt1dBkpCe3GmO3wzYDMDKYsyFZ Ka6MYCjz28eU4PZsD+InUeReDMq/DCiZqjOHc9dlcawTjLqQntxK/xEhCe0BtbezRTwY06+W yAtwDi/K2sv9yy1xeZ/W7O6JZ9nsfn17J4dbqxo/lQDg+pphejZYxnVbHHlDcpoNu34FJvq9 XIqwdIBbUA11rhOkWO5Tf90Qjp1zgjr1X4z0WDvHflqcvlABonFston+tiA1HkwntlmOs5/L NA3mqfuZYSJwjHhj7B69/BUAwvvlaooEAljfUYgxVkIMAjgYdq3MAiFX5uYdg99HqQ0vFoLA AuNrCV2B9uSyLWU5iD1VMfgeBFXRwIb2S7qwY5y4yoOgNt7QBEJnsjtbIid0g7heMAorl/lp H52/dT5cVzp4ktHOFAONs=
- Ironport-phdr: A9a23:5jVxWRxkYHll+2DXCzJwwVBlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hGZvqs2xw6WFazgqNt6yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/6y9pHJbQhFhTSwbbx2I Ri0sA7cqtQYjYx+J6k+zRfEvmFGcPlMy2NyIlKTkRf85sOu85Nm7i9dpfEv+dNeXKvjZ6g3Q qBWAzogM2Au+c3krgLDQheV5nsdSWoZjBxFCBXY4R7gX5fxtiz6tvdh2CSfIMb7Q6w4VSik4 qx2ThLjlSUJOCMj8GzPlsN+j6xVrxy/qRJ/3oDbb5qYO+Bicq7HZ94WWWRMU8RXWidcAo28d YwPD+8ZMOtGtY7yu1oOrR+/BQa2Gejh0CVIiWXr0q07z+sqDAbL0xA6E9IWqnTbtsj6NKYOX u2u16nJwy/Mb/VN2Tjj8ofEaAouru2WUbJtcsrc0E8iHB7KgVuMs4LqJS+V1vgTvGiB6eptT f+ihmo7pg9/vDShycchh43Ii48JxV3J9it0zok0KNO2VUJ1YcCoHZRMui+VN4V6X90uTWFrt Sg017ELt5G1cTQMxZ86yRDfbPmHfJKJ4hLlTOuROjl5i2hjeLKkmRm961KsxffgWcWuzVZKr SxImcTPuHAVzxHf98aKR/ln8kqu1juDzR3f5v1YLUwui6bXNZwszqYumpcSrUjOECr7lFjqg KCMd0gp/+ml5/j7brjjqJKRNIF5hwT7P6gzlcGyB/kzPBIUUGiB4+u80aXu/U3nT7VOif07i qjYv47CJcQDoa61GRRV04g55Ba5FTupysgXkWMaLFJGYB6Hjo7pNE/SIP3gEPuyjVahnC1ky v3JJLHtH4nBImTZnLv/Y7pw6VZQyA8pwtBe45JUBKsBIPX2WkLpqNPUFAc5MxauzOn6CdVyy pgTWXmBA6CDNqPSqkGH6fg1L+aWeIAZoiv9K/s96/7olnA2gUUdcrWx3ZsLdHC4GexrL1iBb Xr2ntgBCXsKvhY5TOHylFKCVidTa2+uUKI4+zE0E5mrDZzDR4ComLyOxj23HpxQZmBcC1CDC 23kd4ueW6REVCXHdsRmi3kPUaWrY44nzxCn8gHgnelJNO3RrwaZvpPn1dE93/famRA5vWh/S dyH2m2MRElvgWoOXDI/mql051F+nATQmZNkiuBVQIQAr8hCVR03YMa0J41SDtnzXlmEZdKVU BO9Rc3gBzgtT9U3yttIYkBnGtzkgAqQlzGyDeozkLqGTIcx7rqax2L4cs0702zP2Kgqp0I5S 81UOGTgj6U56guAT5XRnRChnr2xPb8ZwDaL8W6CyWSUu0QNW0hoS6zJXHs3fVTfq8/07wXLR PmzCudvKRNPnOiFLKYCcdj1lRNGSfPkbczZeH60knysCAyg1L6UdI2sYHoU2mPUAw4ZkGj/5 F6gMg4zTmekqmPaV3l1EE73Jljr6a94oW+6SUk9y0eLaVdg3vy74Exdg/vUUP4V0r8e3UVp4 zxpAFaw2c7XANuctkJgeqtbe9Y0/FZA0yrQqQV8OpWqK60qiEQZdkx7uEbn1hM/DYsl84Bip zUy1gN+KKmwy0xIcSiV1Nb5MfvKKSi6/RyibbLXxkCLyMyfqcJtoLwzr1Tuuh3sF1J3qi44l YUJlSLEvtOQVlVBNPC5Glw6/BV7ubzANyw05oePkGZpLbHxqTjandQgGOoizB+kOdZZKqKNU gHoQKh4T4CjLvInn1+xY1cKJudXoeQ/edu8fveH04awI+9mhz+vy21Mpp1+mBHplWI0WqvT0 pAJzuvNlADBTy31gFaqmtvokIZfaDhUF2H51CuuV+szLuViOI0MD2mpOci+wN5z0oXsV3Bv/ 1mmH1oa2cWtdHJ+dnTF1BZLnQQSqH2jwm6jyiBs1ioutuyZ1TDPxOLrcFwGPHRKTS9slwWkL Y+xhtEcFE+mCmph3BDj/Vzzy6lQjL9gJm/ITE4OdiOwMmIqXqart7WEatJC89tx6noRDLj6O AjCDOSn/FMTyGv7EnFbxSwnej3P2N2xhBF8hG+HbT5yoHffZcBs1ELa7d3YS+RW22lOTy15h D/LQ1mkaoDyopPIy9Ga6rj4DTj+BfgxOWHxwIiNtTW2/zhvCBy7xLWon8H/VBM9yWn93sVrU iPBqFD9ZJPq3uK0K7ECHAEgCVni5s59Aow7nJE3gcRa0j4CnJyZ/HEvinj6N85W0OT3ZzwQR nRYprydqBigw0BlIn+TksjyEG2Hy8dgbPGhfWoQwS80qclBTrqXpu8h/2M9sh+zqgTfZuJ4l zEWxK416XIUtOoOvRIk0iSXBr1BVVkdJyHnkA6EqsyvtKgCLnj6aqC+jQAt+LLpRKHHuAxXX 2z1P4svDTMlpNsqK0rCiTX6uJPpYMHXK8kMvxvSmhyGkusdbZs1krBiaTNPH2X7sDVlzuc6i UcrxpSmpM2cLH0r+qulAxlePzmzZsUJ+zirg7wM1sCRl5uiGJlsAFBpFNPhUO6oHTQOtP/mK xfGETsyrW2eEKbeGgnX4VlvrnbGGZSmf3+NI3xRwdJnTRibbEtR5WJcFC09hYI8Hxu2ydbJY kph/jdX/UHxrF1FwaR1NFi3U2vSohupdiZhSJWbK0kzjEkK7EPUPMqCq+NrSngDodv98ErUc jTdPV4XXgRrEgSeClvuP6ej/4zF+umcXa+lKufWJK6JsapYXuuJwpSm1s1n+SyNP4OBJCoHb bVz10xdUHR+A8mclS8ITnldnGTVdceXpRyU4TJ+qNuy+bLiU0Ty5sHcbtkaecUq4B2wjaqZY qSIgz1lLD9Dyp4W7W3F0KAYmkUNgicofjLrDLdK5kuvBOrA36RQCRAccSZ6MsBFurk90gd6M snektrp17R8g5bd7n9eSlXngcygI8UBZXy+Zguv7KejJrmePTqN2N7+Z+W1QvtNj7cM3/Vfk S2EGkn4Mz3FnjKvShP9aIlx
- Ironport-sdr: 64665066_Sl3hcFCNwF66/5iWatIR7t2RDRqJOXXT64V0r+NOq/uG4Ak FG5khhlQEbBUqoYZPllHCOaTOPJskCy6xAynQbA==
Dear friends and colleagues,
There
is a permanent position as a Lecturer/Senior Lecturer in Applied
Formal Methods at Swansea University:
https://www.swansea.ac.uk/jobs-at-swansea/current-vacancies/details/?nPostingID=135966&nPostingTargetID=164854&ID=QHUFK026203F3VBQB7VLO8NXD&lg=UK&mask=suext
Closing date 14-06-2023
We are seeking candidates with
experience in applying formal methods in commercial and
industrial environments, namely, in adopting and scaling formal
methods to real world problems in collaboration with domain
experts. The focus of the post is to drive forward applied
formal methods research addressing the question of how to rise
formal methods to mature applicability in software development
processes.
We are open to a variety of
specialisms within the broad field of formal methods, especially
those that resonate with or complement the research expertise in
the department. We are particularly seeking applications from
candidates with expertise in applied/experimental aspects.
Current Swansea research in applied formal methods covers a wide
spectrum of domains such as system security, blockchain,
protocol verification, system safety, HCI, explainable AI, to
name just a few.
All the best, Cécilia |
- [Coq-Club] Lectureship in Swansea, Cécilia Pradic, 05/18/2023
Archive powered by MHonArc 2.6.19+.