[TYPES/announce] Assistant/Associate Professor positions in Computer Science at the University of Birmingham, UK
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear Colleagues The University of Birmingham is recruiting a number of academics at assistant/associate professor level in the School of Computer Science: https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DCA296/assistant-professor__;!!IBzWLUs!QsMKA3mhG-QZHqrHfmJI_KvDygn8YZ49EY9Af0tWjFovVHMFVtYtiFulyt3B59pnWOSxwW7gO9Tgqt_GgxmuV4V3BnlzCP1Nsst78g$ https://urldefense.com/v3/__https://www.jobs.ac.uk/job/DCA300/associate-professor__;!!IBzWLUs!QsMKA3mhG-QZHqrHfmJI_KvDygn8YZ49EY9Af0tWjFovVHMFVtYtiFulyt3B59pnWOSxwW7gO9Tgqt_GgxmuV4V3BnlzCP0TQSfYgg$ The Theory of Computation group at Birmingham is world-renowned, and we have been actively recruiting new researchers for some years now. More information about the group is here: https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx__;!!IBzWLUs!QsMKA3mhG-QZHqrHfmJI_KvDygn8YZ49EY9Af0tWjFovVHMFVtYtiFulyt3B59pnWOSxwW7gO9Tgqt_GgxmuV4V3BnlzCP06d-DqdA$ Please encourage interested students, postdocs and colleagues to apply! For informal enquiries, please contact Dr Anupam Das and/or any other member of the group if you intend to make an application. On behalf of the Theory group, Vincent -- https://urldefense.com/v3/__https://vrahli.github.io/__;!!IBzWLUs!QsMKA3mhG-QZHqrHfmJI_KvDygn8YZ49EY9Af0tWjFovVHMFVtYtiFulyt3B59pnWOSxwW7gO9Tgqt_GgxmuV4V3BnlzCP2dUBOlEQ$
[TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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 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://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx__;!!IBzWLUs!Wt5sZQhaDkOtNQgCh84c3HnWmTFwBYXaMToH36fe2RrEyJoMM-Y8h6n1Z8NaxCalsb-Lepu_Rc4fhLrFfUwEmYt79-kMO3Xr3nfQpA$ and https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx__;!!IBzWLUs!Wt5sZQhaDkOtNQgCh84c3HnWmTFwBYXaMToH36fe2RrEyJoMM-Y8h6n1Z8NaxCalsb-Lepu_Rc4fhLrFfUwEmYt79-kMO3XSKLSctQ$ . How to apply: - Interested people are encouraged to contact me by email (v.ra...@bham.ac.uk) to discuss their research interests and details of the positions. Further information on how to apply is available here: https://urldefense.com/v3/__https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/521/?utm_medium=jobshare__;!!IBzWLUs!Wt5sZQhaDkOtNQgCh84c3HnWmTFwBYXaMToH36fe2RrEyJoMM-Y8h6n1Z8NaxCalsb-Lepu_Rc4fhLrFfUwEmYt79-kMO3U_X8mBgg$ Best, Vincent Rahli -- https://urldefense.com/v3/__https://vrahli.github.io/__;!!IBzWLUs!Wt5sZQhaDkOtNQgCh84c3HnWmTFwBYXaMToH36fe2RrEyJoMM-Y8h6n1Z8NaxCalsb-Lepu_Rc4fhLrFfUwEmYt79-kMO3Xx2mKSMg$
[TYPES/announce] Postdoc position on design and/or verification of distributed systems at the University of Birmingham
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx__;!!IBzWLUs!SSgJ1Dw0cckQWAKG8L5LQFSNyaJHo0uSzOg8cQDtC4hJs3hivj0uDkoTLKFv5wduk8PF_1ZP1LtwNRQzoJ3djV2EgndTqDVdipbdZg$ and https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx__;!!IBzWLUs!SSgJ1Dw0cckQWAKG8L5LQFSNyaJHo0uSzOg8cQDtC4hJs3hivj0uDkoTLKFv5wduk8PF_1ZP1LtwNRQzoJ3djV2EgndTqDWOyOH0SA$ . How to apply: - Interested people are encouraged to contact me by email (v.ra...@bham.ac.uk) to discuss their research interests and details of the positions. Further information on how to apply is available here: https://urldefense.com/v3/__https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/521/?utm_medium=jobshare__;!!IBzWLUs!SSgJ1Dw0cckQWAKG8L5LQFSNyaJHo0uSzOg8cQDtC4hJs3hivj0uDkoTLKFv5wduk8PF_1ZP1LtwNRQzoJ3djV2EgndTqDXKLFqEIA$ Best, Vincent Rahli -- https://urldefense.com/v3/__https://vrahli.github.io/__;!!IBzWLUs!SSgJ1Dw0cckQWAKG8L5LQFSNyaJHo0uSzOg8cQDtC4hJs3hivj0uDkoTLKFv5wduk8PF_1ZP1LtwNRQzoJ3djV2EgndTqDXsfAlIZA$
[TYPES/announce] Assistant/Associate Professor positions in Computer Science at the University of Birmingham, UK
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear colleagues, The University of Birmingham is recruiting a number of academics at assistant/associate professor level in the School of Computer Science: https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CVR578/assistant-professor-research-and-education__;!!IBzWLUs!TZzb9my6Qth4_j_ER9xUvJQdSeNjIe7sRVZ_eieMlOz64sVjDPymEplx9T9sDU1CmPeLTMAFUn3E9CSVuaQ43gTlD3SjWBpo3wlHUg$ https://urldefense.com/v3/__https://www.jobs.ac.uk/job/CVL993/associate-professor-research-and-education__;!!IBzWLUs!TZzb9my6Qth4_j_ER9xUvJQdSeNjIe7sRVZ_eieMlOz64sVjDPymEplx9T9sDU1CmPeLTMAFUn3E9CSVuaQ43gTlD3SjWBroyYxlPQ$ The Theory of Computation group at Birmingham is world-renowned, and we have been actively recruiting new researchers for some years now. More information about the group is here: https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx__;!!IBzWLUs!TZzb9my6Qth4_j_ER9xUvJQdSeNjIe7sRVZ_eieMlOz64sVjDPymEplx9T9sDU1CmPeLTMAFUn3E9CSVuaQ43gTlD3SjWBp4CUJZLg$ Please encourage interested postdocs and students to apply! For informal enquiries, please contact Dr Anupam Das and/or any other member of the group if you intend to make an application. Best, On behalf of the Theory group, Vincent -- https://urldefense.com/v3/__https://vrahli.github.io/__;!!IBzWLUs!TZzb9my6Qth4_j_ER9xUvJQdSeNjIe7sRVZ_eieMlOz64sVjDPymEplx9T9sDU1CmPeLTMAFUn3E9CSVuaQ43gTlD3SjWBp2VXU58Q$
[TYPES/announce] Postdoc position at the University of Birmingham
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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 early 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://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx__;!!IBzWLUs!SsBU8jzeb7Ri4jp5CtqTIN-gUh5ws5PVmfdk_l008d-sSn-OAbC6X35XnpcZQBwfeWKn5IupCrxw49Qta1V1t0iMoeJe913wK6jJcw$ and https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx__;!!IBzWLUs!SsBU8jzeb7Ri4jp5CtqTIN-gUh5ws5PVmfdk_l008d-sSn-OAbC6X35XnpcZQBwfeWKn5IupCrxw49Qta1V1t0iMoeJe9101EC3pIg$ . How to apply: - Interested people are encouraged to contact me by email (v.ra...@bham.ac.uk) to discuss their research interests and details of the positions. Further information on how to apply is available here: https://urldefense.com/v3/__https://edzz.fa.em3.oraclecloud.com/hcmUI/CandidateExperience/en/sites/CX_6001/job/521/?utm_medium=jobshare__;!!IBzWLUs!SsBU8jzeb7Ri4jp5CtqTIN-gUh5ws5PVmfdk_l008d-sSn-OAbC6X35XnpcZQBwfeWKn5IupCrxw49Qta1V1t0iMoeJe9128nRwokA$ Best, Vincent Rahli -- https://urldefense.com/v3/__https://vrahli.github.io/__;!!IBzWLUs!SsBU8jzeb7Ri4jp5CtqTIN-gUh5ws5PVmfdk_l008d-sSn-OAbC6X35XnpcZQBwfeWKn5IupCrxw49Qta1V1t0iMoeJe9118X27sDQ$
[TYPES/announce] Postdoc and PhD positions at the University of Birmingham
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] 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://urldefense.com/v3/__https://www.birmingham.ac.uk/research/activity/computer-science/theory-of-computation/index.aspx__;!!IBzWLUs!WM0cerion4CkM3VPag2J2QYDOERCciCPkKf3RtJewsMqRs49NkLU8nlf8Kv-AEdCZUGgLPBtW745zwWBRTxy3KKh0gBsAAjBIkhC0g$ and https://urldefense.com/v3/__https://www.birmingham.ac.uk/research/centre-for-cyber-security-and-privacy/index.aspx__;!!IBzWLUs!WM0cerion4CkM3VPag2J2QYDOERCciCPkKf3RtJewsMqRs49NkLU8nlf8Kv-AEdCZUGgLPBtW745zwWBRTxy3KKh0gBsAAjXQBN5jA$ . How to apply: - Interested people are encouraged to contact me by email (v.ra...@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://urldefense.com/v3/__https://bham.taleo.net/careersection/redeploy/jobdetail.ftl?job=220001FU__;!!IBzWLUs!WM0cerion4CkM3VPag2J2QYDOERCciCPkKf3RtJewsMqRs49NkLU8nlf8Kv-AEdCZUGgLPBtW745zwWBRTxy3KKh0gBsAAiDXijI1Q$ - PhD position: https://urldefense.com/v3/__https://www.birmingham.ac.uk/schools/computer-science/postgraduate-research/index.aspx__;!!IBzWLUs!WM0cerion4CkM3VPag2J2QYDOERCciCPkKf3RtJewsMqRs49NkLU8nlf8Kv-AEdCZUGgLPBtW745zwWBRTxy3KKh0gBsAAhPF6srug$ Best, Vincent Rahli -- https://urldefense.com/v3/__https://vrahli.github.io/__;!!IBzWLUs!WM0cerion4CkM3VPag2J2QYDOERCciCPkKf3RtJewsMqRs49NkLU8nlf8Kv-AEdCZUGgLPBtW745zwWBRTxy3KKh0gBsAAhYGqd32w$
[TYPES/announce] PhD opportunities in formal foundations and verification of distributed systems at the University of Birmingham, UK
[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ] Dear all, The School of Computer Science at the University of Birmingham, UK, is continuously looking for strong PhD candidates. One particular field of interest is formal methods applied to distributed systems. Students broadly interested in this field of research are strongly encouraged to apply. Topics of particular interest are, for example: * Formal verification of Byzantine fault-tolerant systems * Probabilistic formal verification of distributed real-time systems * Using knowledge reasoning to verify distributed systems * Using type theory to verify distributed systems * Logical foundations of distributed systems Applicants must hold (or be about to obtain) a Masters or Bachelor degree in Computer Science. In addition, they must have a strong background in one of the following areas: * Formal methods * Distributed systems * Programming languages * Type theory PhD positions are typically for 3.5 years and are fully funded, covering tuition fees and a bursary. Please, do not hesitate to contact me for further details: v.ra...@bham.ac.uk. In addition, feel free to browse my webpage for more information on my research interests: https://www.cs.bham.ac.uk/~rahliv/. The two following papers are especially relevant: * ESOP'18: http://www.cs.bham.ac.uk/~rahliv/articles/velisarios.pdf * OOPSLA'19: http://www.cs.bham.ac.uk/~rahliv/articles/asphalion.pdf Additionally, the following page contains useful information regarding our lively theory group, which the successfully candidate would be part of: http://www.cs.bham.ac.uk/research/groupings/theory/. Vincent Rahli -- https://vrahli.github.io/