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, UK
Chronological Thread
- From: vincent rahli <vincent.rahli AT gmail.com>
- To: types-announce AT lists.seas.upenn.edu, 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, coq-club AT inria.fr
- Subject: [Coq-Club] Postdoc position on design and/or verification of distributed systems at the University of Birmingham, UK
- Date: Mon, 3 Apr 2023 10:28:25 +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-ed1-f47.google.com
- Ironport-data: A9a23:ELGHXq7B7yWEKy7UU+SKegxRtOvDchMFZxGqfqrLsTDasY5as4F+v mAcWz2FMvrbZGT8ftsjOoznpB4PuZXWzdNhHVBvqX0xZn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhnglYgr414rZ8Ek05Kiq42tB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj669fTxENBL9DwOZMDW5n7 rtHJjQhXw/W0opawJrjIgVtrsEqLc2uMY9G/388knfWCvEpRZ2FSKLPjTNa9G1o14YeQLCEP 5pfNWUHgBfoO3WjPn8JCZQ1keG0wGP2czlZgF2QrKszpWPUyWSd1ZCwaYuFJYfRHa25mG6S9 2jtzVyjKCgROYOGxmakyXWiv+vmyHaTtIU6TeXkrJaGmma7zWsKTRYSSFGTuui8kkf4WtRFK kVS9DBGkEQp3EmiT924UhHh5XDY4VgTXN1fF+B84waIokbJ3+qHLjI1DW56Ue59js8NSTMDz RjWkdfFNCM65dV5Vkmh3ruTqDqzPw0cImkDeTIIQGM5Dz/L8N5bYvXnHoYLLUKlsjHmMWqvn G3S/UDSk51W3JFbjfzqlbzSq2v0/sChc+Ij2unAsouYAu5RYYekY8ml5QGe46ofaomeSVaFs T4PnM32AAEy4XOlxXHlrAYlRunBCxO53Nv03wAH834JqWTFxpJbVdoMiAyS3W8wWir+RRfnY VXIpSRa74JJMX2hYMdfOtzhU5h0lfK7Toi7D5g4i+aihLAhK2drGwk+NSatM5zFzSDAbIlla MzFKZb2ZZrkIfg/l2TeqxghPU8Dn3hinws/tLj0yBOo1bf2WZJmYeZtDbd6VchgtPnsiFyNr b53bpLWoz0CDrCWSnSIqeY7cwpWRVBlXsueg5IMJoa+zv9OQj5J5wn5muN/JeSIXs19yo/1w 51KchQEmQCu2yeecV3ih7IKQOqHYKuTZEkTZUQEVWtEEVB6CWp2xPZEL8kEbvM8+fZ9zPV5a fAAdo/SSr5MUznLsXBVJ5X0sIUoJlzhiBOsLhiVRmE1X6dhYAjVpf7iXA/krxcVAgSN6MARn ryH1yHge6QleThMNsjsVa+Q/wuDhkRFwONWdGnUE+ZXY3TpodRLKTSur/oZIPMsCBTkxxmc3 Tm4GR0z+OvH+dc01PLrhqm0iZijPMUjP0hdHkjdta2XMwuD9EWd4IZwasS6VhGDa3HVoYKJe vdw48znFsE+jHJmktZZAql666AT/P7trOJq9RtlF3D1cFibMLNsDX2Y181ptKcW5LtmlSape 0CI6P9IEK6oPZ77LVsvOwYVVOSP+vUKkD307/5uAkHb5jdyzYWXQ3dpIBiApyxMHoRbaLp/7 78ah/cXzAijhj4BENWM1HlU/lvRCE0wafwss5VCDbL7jgYu9Ep5XqXdLS3IsbWvcNRHN3c4L gCE3JTig6tu/WucUn4RO0WU489jq8Uvgj5owmUGBWy1ofvep/pu3BRu4TU9FQtU6RNc0tNMA GtgNmwrBKCC4wZXgNNnWkayETpgHzycwFT6kHESpV3aTm6pd23DF3I8MuCz53Ik83pQUzxY3 bOAwkPnbGrOUOTu+BAtAGhJhufGT9Nj0iHjwuWcANWjDZ02RRHHk52eTzMEhDW/CPxgmXCdg /dh+dhBTJHSNAkShvYeIJab37FBcyK0DjVObt859ZxYAFyGXi+53AWPDEWDesltAfju2m3gA uxMIvN/bTiP5BysnBs6W5FVe6RVmcQ37uUsYrnofG4Kk4WOpwpT7a7/yHLMu38Jcf5Pz+ANc pjcZhCTIFy23HF0oVLAnONAG2i/YOQHWjHC4fCIwL0JOa4u4OBIWmMu44SwpESQYVdG/QrLn QbtZJ327u1FyKZwrrToCYF8OQaREor2csiD7TLp4sp8N8PLFcLoqQkui0LGOj5ONuA7QOVHl rWqsf/20njavb0wbXvrppmZG4RN5uSwROByIOuvCFV7xAysANTN5TkH8ECGca15qstXvJSbd lHpefmOes4wcPYD4n9sMgx1MQsXUobzZYfe/RKNleyGUEUh4FaWPeGc1CHbaE9AfXU1ILz4M Aj/vsiu6v1+rIhhABwlBelsM6RnIW3MCLcXSNnsiQa2VmWYoEuOmr/HpyoS7TvmDnqlEsGj7 6ycF1K6PF63tbrTxd5Uj51qs1dFRDxhiO03ZQQG98Qwlzm+C3UcIP8ANYkdTKtZiTH2yIqyc QSlgLHO0skhdW8sndTADNXfssO3A+UPPpL0KmVs8R/LLSixA4yEDf1q8SIID7KavNf85LnPF D3c0iSY0tuNLlVBSuMa5/j9iuBirh8f7mxd4ljzyqQeHD5HaYjnFxVd8M5lWinOEsWLn0LOT YTwqaaoX2njIXPM/Q1cl7K51f3XUP4DD9nlUMtX/Ovihg==
- Ironport-hdrordr: A9a23:fjwfwa5wpu4zhERb9APXwOXXdLJyesId70hD6qkRc31om6Oj5q OTdZggvyMc6wx+ZJhDo7y90cC7KBu2yXcc2+ks1NyZMzUO1lHEEGmphbGSoQEJ2EXFh4tgPd 0LSdkYNDWqZ2IK6/oTpGKDYq0dKBzuytHNuQ8bp00dND2DrMlbnn9ENjo=
- Ironport-phdr: A9a23:Eq+SXxJWqNdsOFOj0tmcuIdvWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFuLM30gCCBN6TwskHotSVmpioYXYH75eFvSJKW713fDhBt/8rmRc9CtWOE0zxIa2iRSU7G MNfSA0tpCnjYgBaF8nkelLdvGC54yIMFRXjLwp1Ifn+FpLPg8it2O2+5Z3ebx9WiDe8Y75+I wi6oAvMvcQKnIVuLbo8xRTOrnZUYepd2HlmJUiUnxby58ew+IBs/iFNsP8/9MBOTLv3cb0gQ bNXEDopPWY15Nb2tRbYVguA+mEcUmQNnRVWBQXO8Qz3UY3wsiv+sep9xTWaMMjrRr06RTiu8 6FmQwLvhykaKj4563nXhdJsg6JHrhyhoBl/zJTVYIGTKfFyeqzQcNcfSWdHQ81fVTFOApmkY oQAD+QPM+VWoZTjqVQSthaxHxWgCfn1xzNUmnP736s32PkhHwHc2wwgGsoDsGrVrNXzKKgdT +a1zLXVxjXZdfxW2TP96InVeR0mv/GMXLRwftbPxkkpCwPJlE+QppblPzOR1+QAqGeb7+96W uKuj24rsR1+oj+qxso1jITCm40axEze+ypj3IY1OcO3SFR9YdO8DJddqj+XOopyT84jXm1lp Sc3x7kbtJO5fyUHzJQpyRHQZvKJfIWF4wzvWeieLzpmmn9oZrCyihiz/EW9xODxWc+520tEo CpCl9nDrHEN1xrL58ecS/t95EKh2TeJ1wDc6uFLO0U0mbDBJJE92LIwi5kTvVzEHi/sgkr5k KuWeVs49eis7OTnf6jpqoWAOI9zjwHyKqsums2jAeQ4LwgBRHKX+eW71LDl4Eb3Q61Kg+Uon qXFtJ3WP8cWq66jDwNLzoou6AyzAjik3dkegHIJNkhKeAidgIjsI1zOIO73DfO4g1m0lTdk3 fHGPrn4DprTM3fPja7tfbhy5kNe0gYzwtdf55VbCrEFPv3/QFP+tNvdDhMhMgy0xfjoCMll2 48ARW6CBrWVPaDSvFOS+O4jP+qBaJUatTv/M/Ql4uThjX49mV8TZ6mp2p4XZWimHvRnJUWWf WTjgtEdEWsQpAoxVuzqiFmDUTNIaHayWrgz5jA/CI68EYjDQYWtjKSH3CigBpJWfHxJCkiQE Xf0cIWJQ+oAZDqIIsB9ijwESaShS4g52B6ysw/60qNrIfbQ+i0Frp3uz8N15u3WlREq7zN4F cWd02eXT2F1hGwEXTE23Los6XB6n0uSyaVjxvVeE9tO4fhEegM7LoLHifd3Asu0RxrMeNHPR Vq7Bp29HSkZS9s62JkOfAB0EJO/jVSLxDKuGJcRlqeXH9o//6TAmXf1LoB0wDDb1+1phlYqS +NLNHa6neh09wHXAoPTiAOCmuLifqBZ3TXE/mqHyWfLoVpVShVYVaTeQWtZbULT693yoF7BC /elDq1iOQ9cw+aDLLFLY5vnlwZoXvDmbcrfZWm8nXv4Hx+IwrLEOJTrfW4Q2jmbEkEElwE78 nOPNAx4DSCk9TGNRAdyHE7iNhu/udJ1r2m2GxNlp+nrR0ho1r7uvwUQmeTZUPQLmLQNpCYmr TxwWle7xdPfTdSa9EJ6ZKsJR9Q77R9c0H7B8RRnN8m+LqZpi1gCNR5+v0fv/xpyA4RE18Mtq SBi1xJ8fJqRy0gJbDaExdb1M7zTJHP1+UWxaqjd11fClsyf+qMOwPs9olTn+gquExlq6G1ph v9S1XbU/ZDWFEwSXJb2B14w7AR/rqrGbzMV4orV0ThhPfDxvGOdnd0uA+Qhx1CreNI33LqsM gj0HoVaAsGvLLdvgF21dlcfO/gU8qcoPsSgfv/A2aixPe8mkij0xWJAqJtw1E6B7U8eAqbBw ooFzveE3wCGSya0jVGvtdrykJxFYjdaF3S2yCztDopcLqNoeoNDBWCrKsyxjtJw4vylE2BZ8 lWuAU9AwsapfRu6YFn03AkW3kMS4DSmlSa+0z1ogmQxtKPMuU6Gi+/mdRcBJitKXDw41Qaqc dXy1YhKGhT3PG1L3FO/6E33xrZWvvF6JmjXGgJTejTuanplSu22v6aDZMhG7NUptz9WWaKye wP/KPa1rh0E3ifkB2Ybyio8cmTgpJT/lBF8lCSHJXZ3rVLWfMhxwVHU49mWFpszlnIWATJ1j zXaHA32Idiv9tiSi9HZu+C6VkquU5RSdW/gyobK507ZrSV6RBa4mf60gNjuFwM3hDT629ddX iLNtB/gY4Pv2sxWKMpfd1JzTB/54st+QcRll5cowYoXwT4cj4mU+nwOlSHyN89a0OTwdihFS TkOyt/TqA/rvS8rZmyIwYn0UGnb2MJhY9iSbWYf2yZ75MdPQKuZ971LmyJpr0Hw91qAJ6gg2 G1Fmb1ytzYTmKkRtRAozzmBD7x3fwEQJiHqmxmSrpi/oKhReGezYO213Ut6k8qmCeLKqQVdV XDlP5Y6SHUov4MvbRSWiC21tt63HbuYJcgevRCVjRra2u1cKZZq0+EPmTIiImXl+3ss1+88i xVqm5C8pomObWt3r8fbSlZVMCP4Y8QL93Tjl6Fby4yI3oakE5N9XC8CXJ/pZf2tGTMW8//gM kzddV904mfeArfZEQKFvQ14rnTEHpa3cWueJH0Y5dpnTRiZYkdYhUpHOVdy1o58HQesysv7d U5/7T1E/V/0pCxHzedwPgX+WGPS90+4Ly05Q5+FIF9K/xlPsg3LZNeG4Ls5TEQ6ttWx6RaAI WuBa0FUAHEVDwaaUkv7MODm5MGcobPFQLPvd72UPerI8asEC7+J3c79jNcgpW3XcJzRZj86S KRqvygLFXFhR5aHxXNWE3ZRz2SVKJTD7Bakpn8p8IblrKWtCFqpvczVU/NTKYk9pErw2PvFb r/Kwn4+cGY9tNtExGeUmudDmgdI1mc2MWHqSOpItDaRHvuIyukOUEFdO2Urc5ERp6MkglsUZ pWd04KpkOY+1rlsVTInHRTggp37P5RbZTHgcgqdVADTc+3ZbTzTn5OtOP36FO0W1bQO8UX34 GfTEle/bG7ayX+zDEHparsK1GbCbXk88MmrexJpQwAPVfrAbRu2eJ9yhDwymvgvg2/ScHUbK X56el9MqbuZ6WVZhO9+EipP9CgtK+7MgCuf4+TCT/Re+fJ2HiR5kf5b63Um2vNU6i9DXvl8h CrVqJZnvVinluCFzjcvXgBJr35Hg4eCvEMqPqu8lNEIQXHf4BcE9nmdETwPrtphT9Dj4uVel oeJm6X0JzNPtdnT+IpUBsTZLt6GLGt0MRftH22xbkNNRjqqOGfDwk1FxavKpzvF895g8siqx MVdL90THEY4Hf4bFEl/SdkLIZMsGyghjabel8kQo3y3sBjWQsxe+JHBTPObR/v1e1P7xfFJY QUFxbTgIMEdLIr+jgZ8a19xkYLWXVDZXdRMiiJkZw4w5k5K9TItKw97k1KgcQ6r7HIJQLSsm QUqjwJlfek33DLl4lNyK1aT4SVszw8+ntLqhT3Xezn0ZvTVP8keG2//sE4/NYn+SgB+YFipn EBqAzzDQqpYk7pqcW0DYO70vJJOHbtRQfQBbkNPg/6QYPos3BJXrSD1nSevCsPKDJJjkE0hd pv+9hqoPipsadc0IerbI68bljBt
- Ironport-sdr: 642a9c45_DAIfc7DMTlzvtRe4RFJB2SWn2P8CDf2TT0LjgyVvtJwh8iA FMhJle5Y+IqE2DaHrWxo8fqOcDBNhw0WERJcb4Q==
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://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 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, UK, vincent rahli, 04/03/2023
Archive powered by MHonArc 2.6.19+.