coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: vincent rahli <vincent.rahli AT gmail.com>
- To: coq-club AT inria.fr, types-announce AT lists.seas.upenn.edu
- Subject: [Coq-Club] Postdoc and PhD positions at the University of Birmingham
- Date: Fri, 29 Jul 2022 16:33:56 +0100
- Authentication-results: mail2-smtp-roc.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-f178.google.com
- Ironport-data: A9a23:KiyOoaJlbDzj/L4QFE+R6ZMlxSXFcZb7ZxGr2PjKsXjdYENShDQOy DRLW22BaPyPYGbwctt1b9++oBsP68OEyt4yTFQd+CA2RRqmi+KVXIXDdh+Y0wC6d5CYEho/t 63yTvGacajYm1eF/k/F3oDJ9CU6jefSLlbFILas1hpZHGeIcw98z0M48wIFqtQw24LhXFnc4 YmaT/D3YTdJ5RYkagr41IrY8HuDjNyq0N/PlgFWiVhj5TcyplFNZH4tDfnZw0jQHuG4KtWHq 9Prl9lVyI92EyAFUbtJmp6jGqEDryW70QKm0hK6UID66vROS7BbPqsTbJIhhUlrZzqhg90s8 fBXibKLFAIxfZf+mMReTQtAKnQrVUFG0OevzXmXtMWSywjXeSKpzawxXAc5OooX/usxCmZLn RAaAGpVP1bT2qTsmeP9E7Y87iggBJGD0Ic3pHBmxjzfEbA8SJDHQo3F4NZZ2HE7gcUm8fP2O 5VFMWo0NkqojxtnOEYmLJkQp8mTjCfGUxllog+f4rox2j2GpOB2+OG1bIC9lsaxbc5ShwOTo n/M13/oBwkTct2Z0zuMtHy27tIjhgv+UYMWUayyr7tk2QLDgGMUDxISWB2wpvzRZlOCt8x3N 0FJww80kYYJqUmzDePPXz37vmych0tJMzZPKNES5AaIw6vSxg+WAGkYUzJMAODKUudmFVTGM XfZz7vU6SxTXK69Ei3Cq+/Fxd+mEW1Ecj9YPH5soR4tuoG7+OkOYgTzosGP+ZNZY/XwEDD0h iGA9W0w3upDy8EM0Kq/8BbMhDfESnn1ouwdtli/soGNtFsRiGuZi2qAtwOzARFoctrxc7V5l CJY8/VyFchXZX13qASDQf8WAJai7OufPTvXjDZHRsd8pmz2oCb5IN0MuVmSwXuF1O5UKVcFh 2eD6WtsCGN7YRNGkIcsPt3tW5xwpUQePY21CayLBjaxXnSBXFbfoHsGib+40Gfqn0wh+ZzTy r/KGftA+U0yUPw9pBLvH7l1+eZymkgWmD2OLbimkEzP+efPPBa9FOZeWHPTP7BRxP3e/G39r Y0EX+PUkEU3bQELSnOImWLlBQtacyZT6FGfg5A/S9Nv1SI8QDF/U6aNnOl/E2Gn9owM/tr1E riGchcw4DLCabfvcG1ms1hvN+HiW4hRt3U+MXB+NFqkwSlxboOm7aNZfJwyJOF1+OtmxP9yb v8EZ8TQWqQVGmqbo2wQPcvnsYhvVBW3ngbRbSeoZT4IeZQ/FQHE/9nTeBTiqXsVBS2tuMpi+ LCtj1uJQZcKSwl4ItzRbfajkwG4sXQHybB9WkLJJp9Yf0C1qNpmLCn4j/kWJcAQKEWblmHKi VrOWRpB/LvDuY449tXNlJuolYbxHrssBFdeEkna8a2yanvX82+l9olKD7SFcDXbY2Xrofnwa OhQycb8B/0JhlN9tYRxTuRwxqUk6tqz/rJXw1g2HHjPaFj3WLpsLmPcgZtKv6xJg65T4E64A x3fvNZdPrqNNYXuF1tIfFgpaeGK1Pc1nDjO7KRqfB+runcvpLfXA19POxSsiTBGKOcnOo0Sx +p86tUd7Bayi0Z3P9va3DpY8X+Aci4JX6k97M1IBYbqjk86wAgHb8WDWmn555aAb9gKOU4ve 2fGiK3HjrVa50zDb3tjSiSXjLQF3cwD6EJQ0VsPB1WVgd6Z1PU56xtcrGYsRQNPwxQbju9+N wCH7aGuyXliItupuCRCY4xoMwRIBRnc60aojlVQyz2fQE6vWWjAamY6PI5hOazfH310JlBmE HOwkQ4JkgoGuOn+2yIzXQhurPmLoRlZ6FjZgM7+dyiaN8BSXNcm65NCoUIHrhLmBYU6g0ivS SyGOgpvQfWTCBP8aJHXx2VXOXr8hfxEyKF/rSldwZ40
- Ironport-hdrordr: A9a23:L/h6n6h9Q7FLuXQ0jCZwLgGt+3BQXtcji2hC6mlwRA09TyX4rb HIoB1/73XJYVkqKRIdcLy7WJVoIkm8yXcW2/hyAV7KZmCP01dAR7sSiLcKrQeQfxEWNdQw6U 6jScVD4RHLYmSSRPyV3DWF
- Ironport-phdr: A9a23:jGkvjBW5yCk/mOsHzbzval2I1eXV8KyPXDF92vMcY1JmTK2v8tzYM VDF4r011RmVB96dsasbwLuO+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpV O5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxtGiTanf79+M Re7oQrVu8UKnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3Q rJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6 bpgRxj1hicaLD456H/YhdBsjKxVpxKhogZww4/SYIqIMPZzcafQcdYcSGFcXMheSjZBD5uzY IUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB8wOsHXSrNrpKqgSV /y1x7TSzTrZb/NW3Tb945XPfxA/oPGMW65/ftTXyUkzDQ/FlE+fqYzhPzOUzekNvG2b4PBhV eKrkWIotwZxoj22y8oql4LGiZ4bxEre+iVl3IY6O8e4SEhjbNCkH5Zdqy+XO5d5T84+Qmxlv Dg3x6EatJO6YCQHx4oqywLBZ/KIb4SF4A7vWeWNLDl2i3xod66yiwu8/0WuxODxUNS/3lhNr ipAiNbMt3YN2gTI5ciGUPt9+0ah2TCA1wDT8O5EJFo4mrDHJJI7374wlYIfsVjZES/yhkr2i 7WadkM69ei08+jnbbTmpoOcN49pkQ7yKKUumsu5DO8lMQYOR3CW9fqg2LDn50H0Q7VHgucon qXEtJ3WP9kXq6y6DgJTz40t8QywDy2839QdhXQHLExKeBaAj4XxPlHBOvH4DfOmj1Wsizhn2 unKPrP8DpjPLXXPirjhfbF6605TzAo808pT6I5TCrEEOP7zW0nxu8LEDhIhLQC43+LqBM9+2 44eQ26DHLKVPafIvVOV5O8iIPGAZIoPtzb8L/gl6eTujXg8mVIFY6mp3J0XZ2ymEfRgP0WVe 2Dsjc0BEWcOvwozV+PqiFiYXj5SY3a+Rb4z5jY+CI6+C4fMXZiigKad0yejAp1WemdGB0iRH XvwbYWLR+8MaD6OIs9mijELSb+hS5Y42R6ysA/61qFoI/HP+iwYsJLjzMJ66/fSlRE07zx0D t6S33uDT2FuzSs0QGo927k6qkhgwH+C17J5irpWD5gb++JRXxx/PJjayPF8AN3aXgPaYszPU 1uvWZO7GTw3SJQ8z8JdTVx6HoC8jxbI0iy2S6Ucl7iKTMgq86TX0n7tYdx0y3LH/KYkhlgiB MBIMDv11eZE6wHPCtuRwA2inKGwePFAjUYllU+GxGuK5gRDVRJoFL/CVjYZb1fXqtLw4gXDS aWvAPIpKFgJ0taMf41NbNChllBaXLH7It2LfWO3kGq2GVCSz7OIbaLlfmwc2GPWD01X2xsL8 yO+PBMlTjykv3qYCTVvEVz1ZEa57+h4o369UgkuxgGObmVu0rO0/lgegvnPA+gL0OcivyEs4 y5xAE7739/SDI+YoBF9eaxHfd4nyFJO1GacpgYke5L5cPAkiVkZfAB6+Ujp0n2bE61mls4n5 DMvxQt2c+eD1U9ZMimf1tb2M6HWLW/7+FaubbTX0xfQyoTe/KBH8/k+p1j52WPhXkM/73Vq1 cVU2HqA993LCgQVS5f4Tkcw8VBzubjbZiA3446c22drNOG4tTrL2tRhA+VAqF7oYdZZO66CC EnoGs0eBuChLeUrnx6iaRdFdOFe+agoPt+3IuOc0f3OXq4olzangGJbpYFlhxjUpmwsF6iSh sdDmq7IjW7lH3/mgVyss976g9VBbDAWRC+kzDT8QZRWbet0dJoKDmGnJ4u2wM9/jtjjQS09l hbrClUY1cuuYRfXYUb62Fgay0URqnGhhW2ixjxwkhkmq6Oe2GrFxOGoJ39lciZbAXJvi1vhO 93+kdEcV0Wuc04znRuh5G71wqFaoOJ0KGyZEiIqN2DmamplVKW3rL+LZcVCvYgpvStgW+O5e VmGS7T5rnP2ygvbFnBFjHA+fjCu4NDimgBizXiaJzB1pWbYfsd5wVHe4sbdTLhfxGhOSC59g DjRTl+yWrvhtcuVkZzOtPz4TWuhUpx7fizizIfGvyy+rWFnGhywmfmvl8avS1Brl3+mkYMzB GOR80a0a5KOtezyKe99e0h0GFLwo9F3HI1ziMp4hZ0d32QbmoTA+HMGlWnpNtAIvMC2JHEJR DMN35vU+F2/gBwlfi/PnduoECzCkpgEBZHyeG4d1yMj4tofDa6V6OYBhi5puh+iqgmXZ/Fhn zAbwP9o6XgAguhPthB+q0fVSr0UA0RcOjTh0hqS6NXr5rtWYm2id6T2zkN+mdGJA7SLowUaU 3H8MMRHf2c4/oBkPVTA3WemoJ/lftLda85VrBSUlxbogO1cKZZ3nf0Pz3kCWyq1rTguzOg1i gZr1Jexsd2cKmljy6m+BwZRKjz/Y85AsiGol6tVmdyampy+Bpg0UCteR4PmFLj7dVBa/eSiL QuFFycw72uWCaaKVxHK819o9jrOC8z5bCzRfShBi48+G1/FYxYDyAEMAGdkwthjTVvsnZK5N h8+v2F0hBawqwMQmLw2cUCnCCGH4l/vMG98SYDDfkQIqFsetgGFaYrGqbgrVyBAos/+9krUd irCNl4OVSZQCinmTxjiJuX8uoWGqrLFQLL4d7yXP/2PsbAMDq/Yg8vwjc02uW7LbJzHP2E+X aRkgQwaDCw/Q4KB3GxRLk5f3yPVM5zB/Eb6qnAx95rvtqysAV2n5JPTWeELb5Myq1bv0P3Fb 6nJ1W54MWoKjMpSgyWTmf5EhhhKzHg/ElvlWaIJsSqHJE7JsolQCRNTKyZ6Nc8Sqrk5whEII 8nQzNX8yr9/iPcxTVZDT13o3M+zN4QMJCmmOVXLCVzuVvzOLCDXw8zxfaK3SKFBxORSuRqqv D+HEkjldj2dnjjtXhqrPKlCliaedBBZvYi8dF5qBw2BBJr+bQanNdZskTAs6bg9h3ePJGRFd DYlLBMLobqX4idVxP54Hi0J73ZoK/WFhzfM7+TcLcVz07MjCSB1muRGpXUinuENvWcUGbovw XqU94E+8DTE2qGVxzFqUQRDsGNOjYOP5wB5PLnBs4NHUjDC9Q4M6mOZD1ILocFkA5vhofM1q JCHmaTtJTNF69+R89EbAp2eNsOBO3cnLVzzET7QDSMKSDeqMSfUgEkXw5TwvjWF64M3rJThg s9EUrhASFk8De8XEGxgFd0GZYZ9B3YqyOHLysEP4nW6oV/aQ8AQ7fWlHrqCRP7oLjiel7xNY RAFlKj5IYokPYr+w0V+a1N+kewi/mLfWNlMpmtqaQpm+C2lH1BxS2Qy3wTubQb/uRf79Naxl x8yzxp0OKEjrWi8pVgwIVXOqW07l0xjwb3Y
- Ironport-sdr: j4bGk6HlbPof8ofACF0nkTeAKCQtttJx/ZrnuhLOT7TqfsvoI1xXIU5VdRHAFOltyhWb9peA71 62ygZGXQHC0plNYHZDVEloOxl/i7RDKGUttXNS0ul0Wxb/fY0oegub/9/RQ7GTIsF+Pyq6vZr4 BOeZvB1IplRBFq1JAcHcOKQYlt7M5HUw0t8ZfzKHbCvI4YCLB1uv+0nRhZ9XpAcNDmQ40tSW08 kB3WhmtCw7uEErbT85Z3SVT+0Us9Ovm6Ko8/E4H6YskOUYkzYyNQTjYDIUBaeHsfaycFjqZbYM LJfYLWIEQnw1Cd3kJYX2GBqV
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 (see below for details on how to apply).
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 is available here:
- postdoctoral position: https://bham.taleo.net/careersection/redeploy/jobdetail.ftl?job=220001FU
- PhD position: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/index.aspx
Best,
Vincent Rahli
--
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 (see below for details on how to apply).
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 is available here:
- postdoctoral position: https://bham.taleo.net/careersection/redeploy/jobdetail.ftl?job=220001FU
- PhD position: https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/index.aspx
Best,
Vincent Rahli
--
- [Coq-Club] Postdoc and PhD positions at the University of Birmingham, vincent rahli, 07/29/2022
Archive powered by MHonArc 2.6.19+.