coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Postdoctoral Researcher and PhD positions at the University of Birmingham
Chronological Thread
- From: vincent rahli <vincent.rahli AT gmail.com>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Postdoctoral Researcher and PhD positions at the University of Birmingham
- Date: Fri, 10 Jun 2022 18:01:46 +0100
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=vincent.rahli AT gmail.com; spf=Pass smtp.mailfrom=vincent.rahli AT gmail.com; spf=None smtp.helo=postmaster AT mail-yb1-f169.google.com
- Ironport-data: A9a23:SlzkwKusR9Hr7RqpAXHVI/zeS+fnVG5YMUV32f8akzHdYApBsoF/q tZmKTuBbPreYTfwfdAkYIm/o0gE65HQx4I2GgBkrSxnFHwUgMeUXt7xwmXYb3rDdJWbJK5Ex 5xDMYeYdJhcolv0/ErF3m3J9CEkvU2wbuOgTraCYEidfCc8IMsboUsLd9UR38g52LBVPyvX4 Ymo+5OGYAf/s9JJGjt8B5yr+EsHUMva42twUmwWPZina3eD/5W9JMt3yZCZdxMUcKEMdgKJb 7qrIIWCw4/s10xF5uVJPVrMWhZirrb6ZWBig5fNMkSoqkAqSicais7XOBeAAKtao23hojx/9 DlCnbKyY14mOKCPpO4cdCloCXlHD4pf4oaSdBBTseTLp6HHW37lwvErHUtveINBpLcxDmZJ+ vgVbjsKa3hvhcrsmOP9GrQq3J1yapC1bevzuVk4pd3dJegnR5vORbmM/9ZY2DYYicVHHPKYb M0cAdZqRE2eP0AUYw9GYH44tMyY30D+SxJ7kw+QrvYW6Cvvx1xD9re4ZbI5ffTTHZkP9qqCn UrN+H28CRUHPvSE2D+d+zStgPXOlGX1Quov+KaQ8/drhBiCzDVWBkRIBB20pv62jkP4UNVaQ 6AJxsYwhYYw3hWkSNS+Yxe5h060pEYlaf1JCdRvvWlh1ZHoywqeA2EFSBtIZ9onqNI6SFQWO rmhz4OB6dtH4O39dJ6NyluHhWjtZnVNfAfucQdBHFRVuYCyyG0mpkuXFo4LLUKjsjHi9djNL 92iqSE/g/ACh5dO2fzlrBbIhDWjopWPRQkwjuk2Yo5HxlMoDGJGT9bwgbQ+0RqmBNjFJrVml CZZ8/VyFMhUUfmweNWlGY3h5o2B6fefKyH7ilVyBZQn/DnF0yf9INwPsWAifx82bZpsldrVj Kn76VM5CHh7bCvCUEOLS9/Z5zkClvS8T4u9CJg4kPIXMsEgLWdrAx2ClWbJhzy3+KTdua44P piffK6R4YUyWMxaIM6Nb75Fi9cDn3hgrUuKHMyT50n5jNK2OSHNIZ9YYQPmRr1ot8us/VSFm /4BbZfi40sEC4XWPHKHmbP/2HhQchDX87it+5IJHgNCSyI6cFwc5wj5m+94J9M7wvwLz48lP BiVAydl9bY2vlWfQS3iV5ypQOmHsU9XoS1pMCoyE0yv3nR/M4+j4L1OJZQydLgjsudkyKcsH fUCfsyBBNVJSyjGq2xNN8mj8NQ6eUT5nx+KMgqkfCM7IMxtSgnPzdnuIVni+SwIOSyouJZsu LanzA7aHcEOSl06XsbbYf6i1X2run0ZlL4gVkfEOIgBd0Dl8YwsICv016dlL8YJIBTF5z2by wfGWUdC9beR+9c4qYCbi7qFooGlF/pFMnBbR2SLv6yrMST6/3a4xdASXeuNewfbXjym9ainY 9JT0KigYvAKmVB9s718Haxu+qQw6oa9vLRd1AllQCzGYln3WLNtJn6KgZtGuqFXnOMLvAK3X gee8IAfN+zXaYXqF1keIAdjZeOGjKlGlj7X5PUzAUP7+C4no+bdABsKZ0GB2H5HMb94EII52 uN96sQY3Aqy10gxOdGcgyEIqmmBci4aX6M8us1ICYPnkFB3mFRLYJiZGyWvpZ/WNYQKPU4tL TuZwqHFgu0ElEbFdnMyE1nL3PZc1ctS4kEUlAdaKgTbgMfBi982wAZVrWY9QDNTw0gVyOl0I GVqaxB4KKjmE+2EXySfs71A2j2tBSF1PmT0wloN0XzTFgymDzKcamI6PumJ8QYS9Gc0kv23O l2H4D6NbNooVJiZMugOtYpNpPnqTNg3/QrH8CxiN9rQBIE0OFIJnYf3DVflaHLb7QcZi0jOp O0s9+F1AUE+2ej8vIVjY7SnOX8spNxo6YCMrTyNPE/EII0ERAyP5A==
- Ironport-hdrordr: A9a23:lNMJcqxws+1mFr/aY9ojKrPwIb1zdoMgy1knxilNoH1uA6ulfq WV9sjzuiWE6wr5NEtBpTniAsi9qBHnhPxICOAqVN/IYOCMghrMEGgN1/qH/9QiIUHDHyxmuJ uIv5IQNDQ4NzZHsfo=
- Ironport-phdr: A9a23:8WtuhR3XhtMirRLUsmDOFA4yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaEo6w01RSQBd6TwskHotKei7rnV20E7MTJm1E5W7sIaSU4j94LlRcrGs+PBB6zBvfraysnA JYKDwc9rDm0PkdPBcnxeUDZrGGs4j4OABX/Mhd+KvjoFoLIgMm7ye6/94fObwlVmTaxbq5+I Am4oA7MqsQYnIxuJ7orxBDUuHVIYeNWxW1pJVKXgRnx49q78YBg/SpNpf8v7tZMXqrmcas2S 7xYFykmPHsu5ML3rxnDTBCA6WUaX24LjxdHGQnF7BX9Xpfsriv3s/d21SeGMcHqS70/RDOt4 bp2SB/zkCcIKSI28H3ZhMx3iaJUuhOhpxpiyILQb4yYMP9yc6XAdt0YWGVBRN5cWCNBDI2yb IUBEvQPMvpDoobnu1cDtwGzCRWwCO7tzDJDm3/43bc90+QkCQzGwg0gH9QSv3vKqtX1KLoZU fqvw6nIyTXDbu5d1DDj6IjJdBAuve+DXbRsccbL00kgDQPFjlGRqYH+MDOV0/4Cs2mf7+Z6S e2vjGsnphh3rzOyycgilpPHiZgJylDY6yp52oA1KMWmRUN1btCqH4dcuj+GOoZ4X88vQnxlt Domx7AGuZO2fygExYgkyhPfb/GJfYyF7BL+WOuQPzp1mnBoday7ihuw90Wr1+PyVs6x0FlQr ypFlMHBuWsM1xzJ78iHS/19/kih2TmV0gDf8PtLLlwumarGKJ4t2rEwlpsPsUTDAy/5g1/6j K6Rdkgi5+Om6Pznb634qpOAM4J4kALzP6Q0lsChHOg1NhICU3Wa9Om40rDo4Ff3T69QjvIsl 6nUqJDaKtofpq6+GwJV15ws6xe7Dzu/0NUXhmQLIEtLeB6ajoXkP0vCIP//Dfe4jFSslClky +raMb3mB5XBNnnDkLH/crZh80NQ1hY/wNRF659XCrwNOuz/VlL1udDCExM0Mgi5z/7iCNpn1 4MeXWyPArWeMKPXqVKI+OMvI++Qa4ALvjb9N+Ip5+T0gn85nV8dfLKk3ZQSaH+iH/RmJ1+Vb mbrgtcECWsKuBExQ/TwiFKeST5Te2qyX6Uk6z0mEI6mF5vMRpixgLyd2ye2BoFZZmdfClyVD Xjoc5iEVOwXZSKJIs5hlyQEWqK7R48g0xGurg76xKB9Iura4C1L/a7kgdNy/qjYkQw43T1yF cWUlW+XHE9umWZdWT4w1615vQRnw1eH0OAsnf1eHtFV+7VTWwc+NLbTyuV7D5b5XQeXLYTBc 0qvXtjzWWJ5ddk22dJbPxcV87SKixnC23HvGLoJj/mQA4Ry9KvA3n/3LsI7ynDc1aBngUN1C tBXOziAgahyvxPWG5aPi1+Qwrirc68R2jKL7m6DyWums0RRUQo2WqLADjgEfkWDld3i/QvZS qO2T7EuMw9P08mHf7VLbNbki0kAXv7jPNX2bGe4mmP2DhGNlfuXdIS/XWIb0W3GDVQc1QAe+ XHTLQ8lGiKouH7TFhRrHFPrJlLmqKxw8S3qCEAzyA6OYgtq0L/dFgc9o/uaRrtT27sFvHxks DBoBBOm2MqQDdOcpg1ndaEaYNUn4V4B23iL/wp6doetKaxvnDt8O0x+ol/u2hNrC45Bjdlir XUkyxB3IL6Z11UJfi2R3JT5MLnaYmfo+xXnZ6nT01DYmNGYn8VHoOo5rV7uuh3vDEMi93RP3 Nxc0n/a7ZLPTUITXZ/3Tkcr5k1ivbiJB0t1r4jQ1HBqLey1qmqYg4NvVLZjkE/xOY4BYfDhd ke6CcARCsmwJfZ/nlGoaklBJ+VO7OsvONvgcfKa2amtNeImnTS8jG0B7poutyDEvyd6VOPM2 I4Ihv+C2Q7SHSn9ilystNyxg4lEYTA6EW+2yCyiD4lULP4XH85DGSK1Lsu7y88rzYDsXXVV8 kLlHVoG3M6Bdh+bbli71gpVnxdywzTviW6zyDp6lCssp6yU0XnVwujsQxEAP3ZCWGhoiVqEz ZGct9kBRwDoagEokEDg/kPm3+1Ao7w5KWDPQEBOdiywLmd4U6L2uKDQK8JI7Zopt21QXoHeK RiES7j2rh0GlTnqH29f7D8+fjCu/J7+mlR2hXmcI3B6sHfCMZsolFGPuZqGHK8Xh2RXDCBj7 FufTkCxJdyo4cmZm9/Yv+ayWnjgHpxffC/3zJ+R4S6y5GlkGxq6zJXR0pXsFQk31zO+1sE/D 32Z6kahJNOyhuLjb7M0GysgTEXx4Md7BIxkx445hZVLnGMfmo3Q5n0f12H6LdRc36v6KnsLX z8ChdDPs22HkAVuKGyEw4XhWzCT2MxkMpOkY2Ud1yQhqdpDCKOVxLNBlCpx5FG/qEiCBJo11 idY0vYo5HMA1qsXuQwmwyOBRKobHU1ZFSPpnhWMqdu5qe8EAQTnOaj13014k9e7CbiEqQwJQ 3f1dKApGipo59l+OlbBgzXjr5vpc97KYZcPpwWZxl3e2vNNJst7xZ9ozWJ3fHjwtno/x6sng AxyiNuk6ZOfJTwl/brlUEUFcGSkP4VJpm6r1eEEwo6Xx9z9QMknQG5QGsK2FbTwV2tD0Javf weWTG9i9DHCQeCZRUnHrx0+53PXT8L1aTfNeChfnY0kHF7HfARemFxGA298x8J/T1HwgpSmK RcchHhZ50ak+EQQjLsyal+nFD+Y/Vngay9oGsHHfFwPsV4EtwGNdpbHpuNrQ3MBocbn9V3Rb DTdP0MRUwRrEgSFHwyxZOH/o4mdtbHCVqzmaKKRKbSW9b4EDqnOmMLpi9o8uW7Lb5THP2E+X adihAwZBiE/QJ6fw3JWGkl132rbZsqf7n9Q4wVRqcayuLTuUQPrvs6UDqdKdM5o41awiLuCM OiZgGB4LyxZ39UC3y2Azr9Xx1MUhyx0ElvlWb0dqS7ASr7Rka5LHlYabS10Ls5B86M72EFEJ 8fajtr/0rMwgOQyDh9JUlnom8fhYsJvQSn1LFTcGEOCL6iLPxXOysDzJLK2EPhe1bsF8RK3v jmfHgnoOTHC3zjlWhazMP1d2SGWOBsN3eP1Oh1pCGXlUJfnckjhaI4x3WBwm+RlwCqUZD15U 3A0aU5Go7yO4DkNh/x+HzcE9X95NayfnD7f6eDEK5EQuP8tAyJulusc7m5prtkdpCxCWvFxn zPf69B0pFTz2PeOzDFqVgYIsD9LgIOjskBrOKGf/Z5FEyWhnlpF/SCLBhIGqsEwQMXooLxVw 8PTmbjbLT5D95fF95JZCZGKeYSIN30uNRevEznRRlhgL3bjJSTUgEpTl+uX/3ueo80hq5Tir 5EJT6dSSF0/Ev5y4qFNE9kLIZMxVTQhw+bzZCEg6n+3rR2XT8Jf7MmvvhO6BPzuLHOIh+ABa UJWkPX3KoMcMoC90EtnOAESoQ==
- Ironport-sdr: l+ORd/cAIHQYHfIeTilWE7a5iAHTfHXzLl8PyPAMwrxOTiohBo08DR3sq9DEIy/gxntBe0Ckc8 D9Kf151QRNKpkZTnQaFSL5es+PFvrsiw4siInC+sA4l/D3E7gF535Tj7NQ+/o+9Ujpxzwhgh3c Gi/fWm/+omZfikCQt8r6CnktfNQY3tCehIi2eIIy43kQe39jOgOnsLXXxG2imYs/F2Ne2sB1qJ cMlP9cCymZ9SS0c8gIU8PdZ+eUIUFlEaSz8PqnXl7gF8QQucEI9LS13/SZZXas+8jrZLjFsyPb pB4FQXzFBOxqUDiMgV5o1Lir
Dear all,
We would like to invite applications for both:
- an up to 3 years fully-funded postdoctoral position
- a fully-funded PhD position
within the School of Computer Science at the University of Birmingham.
The postdoctoral researcher and PhD students will contribute to an EPSRC-funded project aiming at designing and formally verifying distributed systems, in particular Byzantine fault-tolerant distributed systems as used for example in blockchain technology.
The start date is flexible, ideally around October 2022.
The environment:
----------------
The School of Computer Science has large and thriving Theory and Security research groups. Among our research interests related to this project are for example:
- Formal verification
- Proof assistants
- Model checking
- Blockchain Technology
- Security & Privacy
Both groups are very active, organising regular seminars, informal meetings, and actively participating in many events such as the Midlands Graduate School or the Cyber Security PhD Winter School. For more information see https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx and https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx.
How to apply:
-------------
Interested people are encouraged to contact me by email (V.Rahli AT bham.ac.uk) to discuss their research interests and details of the positions. Further information on how to apply to the PhD position is provided here: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/index.aspx
Best,
Vincent
--
We would like to invite applications for both:
- an up to 3 years fully-funded postdoctoral position
- a fully-funded PhD position
within the School of Computer Science at the University of Birmingham.
The postdoctoral researcher and PhD students will contribute to an EPSRC-funded project aiming at designing and formally verifying distributed systems, in particular Byzantine fault-tolerant distributed systems as used for example in blockchain technology.
The start date is flexible, ideally around October 2022.
The environment:
----------------
The School of Computer Science has large and thriving Theory and Security research groups. Among our research interests related to this project are for example:
- Formal verification
- Proof assistants
- Model checking
- Blockchain Technology
- Security & Privacy
Both groups are very active, organising regular seminars, informal meetings, and actively participating in many events such as the Midlands Graduate School or the Cyber Security PhD Winter School. For more information see https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx and https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx.
How to apply:
-------------
Interested people are encouraged to contact me by email (V.Rahli AT bham.ac.uk) to discuss their research interests and details of the positions. Further information on how to apply to the PhD position is provided here: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/index.aspx
Best,
Vincent
--
- [Coq-Club] Postdoctoral Researcher and PhD positions at the University of Birmingham, vincent rahli, 06/10/2022
Archive powered by MHonArc 2.6.19+.