coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Postdoc position on design and/or verification of distributed systems at the University of Birmingham
Chronological Thread
- From: vincent rahli <vincent.rahli AT gmail.com>
- To: types-announce AT lists.seas.upenn.edu, coq-club AT inria.fr, stp AT macs.hw.ac.uk, spls AT lists.cent.gla.ac.uk, agda AT lists.chalmers.se, cl-isabelle-users AT lists.cam.ac.uk
- Subject: [Coq-Club] Postdoc position on design and/or verification of distributed systems at the University of Birmingham
- Date: Thu, 2 Feb 2023 18:30:08 +0000
- 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-ej1-f42.google.com
- Ironport-data: A9a23:FdFzKa0b0FVcrlc0kfbD5QB1kn2cJEfYwER7XKvMYLTBsI5bpzNWn GYZW26DbP3eN2Knc9B2YITgoU0A7ZTTzdEwTgRq3Hw8FHgiRejtVY3IdB+oV8+xBpSeFxw/t 512hv3odp1coqr0/0/1WlTZhSAgk/vOH9IQMcacUghpXwhoVSw9vhxqnu89k+ZAjMOwa++3k YqaT/b3ZRn0hFaYDkpOs/jY8Ek35qyp0N8llgVWic5j7Ae2e0Y9V8p3yZGZdxPQXoRSF+imc OfPpJnRErTxon/Bovv8+lrKWhViroz6ZWBiuVIKM0SWuSWukwRpukoN2FXwXm8M49mBt4gZJ NygLvVcQy9xVkHHsLx1vxW1j0iSlECJkVPKCSHXjCCd86HJW3vQ3aplExg6BqJb9994AF1+q eEXGT9YO3hvh8ruqF66Yuxlh8BmIcuyeY1D4DdvyjbWCftgSpfGK0nIzYUAjXFg24YURKaYO 5BxhTlHNHwsZzVRO1EcBZQi2v2hhn3+WzJdoVOR46Ew5gA/ySQtjue2aYeEI7RmQ+1rw2bGi k30pF+jXAhLNeS1832O7UKz07qncSTTAdpOTtVU7MVCi1qKg2cXFRc+Tkq+ufD/i0ikWtsZJ VZ8x8Y1ha079UjuQ9ukGhPk+jiLuRkTX9cWGOo/gO2Q9kbKywalGDcPUWdNU/NlufY5RAAai kKGrty8UFSDr4apYX6a876Vqxa7Ni4UMXIOaEc4oe0ts4mLTGYb3kKnczpzLEKmpoaqRmyok lhmuAB71upD15dav0mu1Qmf22rEm3TfcuIiCuzqso+N6wp4YMuoZdXt5wSBq/lHK4mdQx+Ku 31sdymiAAImXcrleM+lGr1l8FSVCxCtbmK0bblHQcdJythV0yT/Fb28GRknTKuTDu4KeCXyf GjYsh5L6ZlYMROCNPEoPtjuVZ5xlvK6SbwJs8w4iPIeMvCdkyfXrElTibK4gggBbWB2wP9na M7HGSpSJShAV/oPIMWKqxc1iOd3nEjSNEvcQpf0yxnP7FZtTC/9dFvxC3PXNrpRxPrc/m39q o8DX+PXlUg3eLChOkH/r9RPRXhUdiNTLc6t+6RqmhureFUO9JcJUK+Pn9vMuuVNw8xoqws/1 irlBB8FmACl2iKvxMfjQikLVY4DlK1X9RoTVRHA937xs5T6Sdf0tPUsZNEscKM59edu6/dxQ rNXM4+DG/lDAHCPsTgUcZC3/sQoeQWJlDC+GXOvQAE+WJp8GC3P2NvvJTX0+Ac0UyGYiMoZo p+b7D39f6YtfQpYMZvpWKqd9G/p5Xk5s8BubnTMOehWKRnN8pA1Cinfjc0XAsArKDfFzAS0z wy9XBUS/7HMh6QX89D5o7+OgKn0Mul5H2tcR3L665TvPwbk32OT+61ye8fWQiL8DUTf57eHS dhO6c3FINkrvQpvopVtNbRG1oc87IbfnKBbxQFaA3n7VVSnJbd+KH2g38MUlKly6pJGmAmxS GSd08J7POiXBcbbD1IhHgopQeCd3/UymDOJz/AUIl3/1RBn7oi8TkReEBmduhNzdIIvHtse/ t4gn8oK5yiUqBkgaI+Ghx8J0VW8FCULVqF/u6wKBIPutBEQ9WhDRp7iWwvW+5CEbutePnY6e gG0gLXwvJUC507gXUdqK13z87t8v6kegDFL014IGHqRkPXnmPIc/UNc4BY3fCtv3zRF1ON5B UZzPWYsIayM0itahvFSe2WgBQsbCAarwRHzwQFRlUnybUqhZkrSJkITZMeP+0E49TpHXz55p bu39kfsYQzITurQgBQgfFFDquPya+Bx+inputGVL+7cE7YUOTPa07KTP0wWoB7ZMOYNrUzgp 9gy2t1vaKf+ZBUik4diB6a0jb0vGQ25fkpcSvRc/YQML2HWWBe2/ROsc0mRWMd8F8bmwH+CK f5FB5xwDkyl9SO0sDokK7YGIOZ0kN4X9dMyQO7XClBcgYSPjAhCkcz2xnDliX4JUudet583C rnsegKoFk2SgnppmFHxkvRUB1rgYfQ5YFzT4ePk1sQICJMJj890e24QzLafniuYISlnzT2ur SLBYK7klbViwLtzgrq2Q7liBhq1G/z3Ru+n4AC+iPUQTNLtYOPllRIZlUnjBCtSZYAuYtVQk a+cluL4x2bXle8Sf12BvqKeBo5lwN6XXttHFu7Wd15kxTCjXu3o6Ds9o1GIE4RDyo5h15P2V jmGZ9uVXv9LfsVW21l+STVUSjQZAITJNpbQnzu39amwO0JMwD78DY2V8FHyZjtmbQ4OAZr1D zH0t9uI5tx1qIdtBgcON8p5Aq1XcUPSZq87S+Lf7TWoLHGkoleniIvQkRAN7TLqCH7dHvijs NiBDlL7eQ+psa7F8MBBvsYg9lcLBXJ6mq8rclhb59dyjCugAXUbKfgGd68LEYxQjje4waSQi Osht4f+IX6VsfV4nRTADBDLWw6eAqkDOI68KGBzuUyTbCiyCcWLB74JGuKMJZtpUmOL8Q1lA Yh2Fr7M0tyZzZRgROJV7fu+6Qui7u2P3WoGoCgRjOSrayvzwtw2OLhJEw9EVCiBGMbI/KkOy a7ZWkgcKHyGpYXN/QqMtpKb9Nz1fN8i8tnwURqy/Q==
- Ironport-hdrordr: A9a23:K4fu9KjI0KbZpmAiiApBuWs3O3BQXtcji2hC6mlwRA09TyX4rb HIoB1/73XJYVkqKRIdcLy7WJVoIkm8yXcW2/hyAV7KZmCP01dAR7sSiLcKrQeQfxEWNdQw6U 6jScVD4RHLYmSSRPyV3DWF
- Ironport-phdr: A9a23:HU+qLRxkks466z3XCzI8w1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z hGZvK49xwaRDc3y0LFttan/i+jYQ2sO4JKM4jgpUadncFs7s/gQhBEqG8WfCEf2f7bAZi0+G 9leBhc+pynoeUdaF9zjaFLMv3a88SAdGgnlNQpyO+/5BpPeg9642uys+5DfeRhEiTS+bL99M Rm6sQbcvdQKjIV/Lao81hTGrnxUdupM2GhmP0iTnxHy5sex+J5s7SFdsO8/+sBDTKv3Yb02Q aRXAzo6PW814tbrtQTYQguU+nQcSGQWnQFWDAXD8Rr3Q43+sir+tup6xSmaIcj7Rq06VDi+8 6tmTgLjhyAaOT4k62HXktJ/g75HoByvoBx/xpTbYICTNPFjeq/QctcXSW9HU81MVSJOH5m8Y pMAAOQBM+hWrJTzqUUSohalHwagGPnixyVUinPq36A31fkqHwHc3AwnGtIDqGrUrNTzNKgOT ++1yrXIxijZb/xM2Tf97InIeQ0mrPGSXLJwd9bexlcpFwPZlFmQs5bqPzOR1uQMqGWb4O9gW viui24jsQ1+vj+vxsI1h4TPm4kaxUzK+z9jz4YpOd23VlR7Ydi8HZdMqiyXKYp7T8cjTm11p Ss3y7kLtIO5cSUJzJkpxxHRZvOJfYWH4x/vSuicLzhmiX97Zr+yhRi//Em9x+DyWcS51ktBo CRCktnJrH8N1hrT59CcRft85Eeh3DeP1wbc6uFEO080kLDXJIQ9zbIqi5oTslzPHijsmErsk KCWclsr9fSs6+Tgf7Xpu4WQOJNzigH7Kqgulc2/Afg4MggTRGeX4+W81Lrl8EbkQ7tKluU7n rfFvJ3eP8gWpa60DxVL3oo+6BuzFTir3MoekHIaNlxKYgiHgJLsO1zWIPD3E/O/g1O0nTdu3 f/GP7nhDozTIXjBjbvtZLh95kFCxAYpwtBf4JVUCr4FIP3tQEP+qNvYDhohPwy1xeboFsl92 5sAVW6TBqKVKqDfvF+S6u4xPuWBZ5UZtTnjJ/Q94v7hl345mVsTfamz2psXbWi1HupnI0Wff XXjnNEBEXsQsgokVuPqiFmCUT9Iana9WqIz/DA7CIa8AYjfQYCthaSN3CGgEZJOfGBJFkiME Wv0d4WDQ/oAdTqeItV9nTwcSbihV4gh2Amyuw/90rprN/bb+ikFtZ34z9V1/O3SlRQq9TNuF cid0meNT3t1nmwSXTM20rp/8gRBzQKfwLB1mLlRE9pU+vVCXy8+NIXA1KphBtnpHB/Zc9GPD luqX5HuCjYoC9k13tUmYkBnGtzkgAqHlzG2G5cQnreQQpwrtKvXmWXyY45m03Ld/K0glEU9B MBCM3Hgiap2sQHYQZPK1w2QmKqjXaAdxzLWsmyDxG6LsVtDFhV9Fe3OWTUefULcoND96wbfV LK0EpwjMxBd0oiJI64MY9avkFYVau3kPYHAYmS6lmGsTQyBxreNJN70emMW0SPBTlINkwQS1 XmDPAk6QCympjSNX3RVCVvzbha0oqFFo3ShQxponmliDmVk3ruxoVsOgOCEDugUxvQCsTsgr DN9GBC82cjXApyOvVkpZ71SNPU65loPzmfFr0plJJX1MaFkjVMYb0JttkPq1j14D4xBlY4hq 3Z5hBFqJ/eg2UhaPyidwYi2P7TWLmfo+xX6da/Q0VzYzJCM86cL6dw3rlziuEeiEU9xu25/3 Yxz1H2Rro7PEBJUUZ/1VRMv8ANmorjBfiQnz4bd1HkpPKvt9zGegZQmA+wqzhvmdNBaWE+dP Cn1FcBSR82nKehx3kOscgpBJ+dKsqg9I8KhcfKCnq+tJudp2jy83yxB58hm30SA+jAZKKaA1 osZw/yewgqMVivtxFanvMftnIlYZDYUVmOhwCngDYRVa+V8Z4EOQWupJsS2wJ15ifuPEzZG9 VioClUantWgeR6TR1P41AxUk08QpD3vmCe1ySB1jyB8trCWj0msi6zpcBsKPHIORXE31w+9Z 9jpyYpDDA70NVtM9lPt/0vxyqlFqb4qKmDSRRwNZC3qNyR5VbP2sLOeYslJ4ZdusCNNUe36b 0rJL9y16xYczS7nGHNTgT4hcDT/8Iv4mRd3jn7bNn9zqHvxdsR5xBOZ79vZD600vHJOVGxjh D/bC0Lpdceo+96ZkYuFqOm+U2OJWZhacC2txoSF/njehyUiEVi0mPa9ncfiGA4x3Hrg1tVkY i7PqQ71fojh06nS3ftPRkBzHxe87sN7Hto7iY4snNQL3mBcgJyJ/H0BmGO1MNNB2Ku4YmBfD TIMxtfU5kDi1igBZjqXxoTyW3OBhNFoZ927SmwT0yM5qctNDe+Y4adFki18vlej5ViJML4tw 3FHkKtotCRSivpBoAc3yySBHr0eeCsQdTfhkRiF9ZH2ralaYnqubanl0UN/md67C7TR6gpYW Xv/ZtIjBXoqtpQ5YA+KiiSjrN2+K7yyJZoJuxaZkgnNlb1QIZM1zb8RgDZ/fHn6pTsjwvI6i hpn2de7upKGIiNj5vHcYFYQOzvrascU4jyog7xZm5PcwYGpFZhnBnMRVZvsTNqnFTsTsbLsM APEQ1he4j+LXKHSGwOS8hIssXPJGJ2tKzeNLXkdzP1tQRCcIApUhwVeD1BY1tYpUwutwsLma kJw4Dscs0X5phV7weVtLxDjU23bqVTgenIuRZOYNhYT8hBa6hKfL5mF9uwqVXI9nNXpvEmXJ 2ecfQgNEWwZRhnOGQX4Jrf3rdjYr7rDW6znfqOIO+nR77QZDavAxIrzgNU6uWzXbYPWYCEkV 7piiy8hFTh4A5iLxWtJEnRN0XqLN4nB/F+94nEl8J75qqi6HlK3o9PIUeMaMM0zqU/sx/7fc bfB3mAhbm8Is/FEjX7QlOpAgBhL0XwoL3/1Vu1e/S/VEPCJwv8RVkFELXM1bIwStuo9xlUfY JGAzIqkivggyKZyUgkgNxSpm9n1N5ZSciftaRWeXhbNbPPfenXK252lO/riD+AAyrwF7Vvo/ m/KW077YmbZzmevDUv+d7oWynncZU072sn1ZB9pDSKLoMvOTBq9PZc3iDQ3xeZxnXbWLSsHN iA6dUpRr7qW5Cceg/NlGmUH4GA3Ze+D0z2U6eXVMPN0+bNiHzh0muRG4X8716od7SdKQ+Zwk TfTqdgmqk+vk+2GwD5qGBRUrTMDiIWOtERkcaLXk/sIEW7D5w4I5H6MBg4iotJkDpjiufkVx ISV0q30LzhG/pTf+s5dT8nYJcSbMWYwZBrkHDmHaWlNBTWvNGzZmwlciKTIrizT/sV88MG83 sZUGdo5HBQvG/gXC1poBokHKZZzBXY/lKKDydUP/Ty4pQXQQ8NTutbGUOiTCLPhMmX87/EMa h0WzLf/NYlWOJf83hkodFh8l4nMBwzKVNBJowVuawY1pANG9300HQhRkwr1Lxig5nMeD6v+h hktlg53evgg7h/p6lYzY1fI/W4+zBN3ltLijjScNjX2Ke3jOOMeQzqxvE83PJThRg9zZgDnh k1oOgDPQLdJhqdhf2Rm4OczkZRKEP9YC6ZDZU1JrRl2T/Ah0FAZpyf+gEEbv63KDpxtkAZse pmp/SooM+dLY9s8JKiWL61MnAA4uw==
- Ironport-sdr: 63dc013c_p69YbrxXKMCEkMP86jey7CMu2zboFMIsyvavzg8mlOByOx1 nsB8hu02UieikFh6bI3ejhkTAG0MYbQ9HHBmnfw==
Dear all,
We would like to invite applications for an up to 3 years fully-funded postdoctoral position within the School of Computer Science at the University of Birmingham (see below for details on how to apply).
The successful candidate 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 April 2023.
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 is available here:
https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/521/?utm_medium=jobshare
Best,
Vincent Rahli
--
We would like to invite applications for an up to 3 years fully-funded postdoctoral position within the School of Computer Science at the University of Birmingham (see below for details on how to apply).
The successful candidate 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 April 2023.
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 is available here:
https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/521/?utm_medium=jobshare
Best,
Vincent Rahli
--
- [Coq-Club] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, vincent rahli, 02/02/2023
Archive powered by MHonArc 2.6.19+.