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
- Subject: [Coq-Club] Postdoc position at the University of Birmingham
- Date: Fri, 28 Oct 2022 22:34:53 +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-ej1-f45.google.com
- Ironport-data: A9a23:fe3vIa/RzDW/7pUYBlwpDrUDQHqTJUtcMsCJ2f8bNWPcYEJGY0x3n TBJWmGBP66Na2L1fIglPIu3/U4G7MTRy9ZqTAtspClEQiMRo6IpJ/zJdxaqZ3v6wu7rFR88s Z1GMrEsCOhuExcwcz/0auCJQUFUjP3OHPykYAL9EngZbRd+Tys8gg5Ulec8g4p56fC0GArlV ena+qUzA3f4nW8pWo4ow/jb8kk25K6i4GhwUmEWPJingneOzxH5M7pEfcldH1OgKqFIE+izQ fr0zb3R1gs1KD9wYj8Nuu+TnnwiGtY+DyDW4pZlc/TKbix5m8AH+v1T2Mzwxqtgo27hc9hZk L2hvHErIOsjFvWkdO81C3G0H8ziVEFL0OevHJSxjSCc527rU1Hh78RPNgI/YIkG0MF8Ckhc1 PNNfVjhbjjb7w636LeyS+0pi8Z6ace3YcUQvXZvyTyfBvEjKXzBa/+StJkIgXFq35AIQau2i 8kxMVKDaDzeYhtEN1ELTog3nOOprnb6ejxc7lmSoMLb5kCMllUpiuWwYLI5fPSMefR8pWSG9 17f2GTZC0pGaf+c1yu8pyfEaujnxHunAur+DoaQ/flzxVaX22Y7EwwTTVL9oP+ji0f4Vcg3F qAP0i8nrKx3+U7yC9ehAlu3p3mLuhNaUN1VewEn1O2T4on5wyyUKlkldH1INdg4nug9ThU49 1DcyrsFGgdTmLGSTHuc8JKdojWzJTUZIAc+WMMUcecWy4K8/9xr33ojWv4mQfHl1ISkcd3l6 2nS9HBWulkFsSIcO0yGEb3vhjutot3ETFdw6FmKGG2i6Qx9aciuYInABbnnARRofd7xorqp5 iBsdy2iAAYmU8zleMulHrhlIV1Rz6zZWAAweHY2d3Xbyxyj+mS4Yadb6yxkKUFiP64sIGG3P h6D4FMLtcIDZRNGiJObharhVKzGKoCwSrzYugz8M7Kin7ArJVDdpX4+DaJu9zyzzBJEfV4D1 WezKJ7wVx72+Ixoyz25Q+p17FPY7nFW+I8nfriil07P+ePGOha9EO5ZWHPTML1RxP7b+G39r YwDX+PUkE43eLOlMkHqHXs7dw9iwY4TXsCo9aS6t4erfmJbJY3WI6aAkOp+JtQ5w/49eyWh1 ijVZ3K0AWHX3RXvQThmoFg6AF82dcck9SAILmY3MEy22nMuR4+q4e1NP9E0ZLQrvqgrh/J9U /BPKY3KD+VtWwb33W0XTaD8i4h+KzWtpwaFZBS+bBYFIpVPeg3u+/3fRDXJyhUgNCSMmPUbn 6yBzSLeGJoKeBRjBp3ZadWp1FKAgkIek+NTAWrNe9laR1rwwrdtOwjOv6cRGJwKI0+SwDG16 hunW0YEhOjSor0a9MvCqrCEoryITcp/PBt+NEvK4YmmMRL1+jKY/rZBd+KTbxXxZXjR+pj+V d5Kzvr5DuILrGxKv6V4Dbxv66A0vPnrmJN30SVmGy/tQ2mwK7Y9PESD49ZDhpdNypBdpwGyf ECFofteGLeRPfLaAEwjHxUkYsuDxMMrtGHrt9ptG3rD5Qhz4LajemdRNUPViCVicZ1EALl8y uIl4MMr+wizjyQxCem/jwdWyTWoDmcBWKAZpJ0lENfVqg40+GpjP73YKAHLua+qVfsdE3MEA DGugIj6u4993WvHKno6KmjM17FShLMIoxF782UBLFWoxPvAiuMG4xlK1TERUA5u7w5m1thrM TNBLHxFJqSp/hZpivNcXmuqJRpzOR2B9mH1yHoLjGf8TXT0ckDoM0sGJr+r0G0C1mBTbBx33 eu983n0dyTucOXa/DoAaWQ8p9PNFdVOpxD/wua5FMG7LrwGSDvCgIr1QEEXqhHiUPgDtGeeq cZEpO9POLDGbwgOqKgGCq6f57QaaDaAAEdgGfhB3qc4LVvwSQGI+wqlCh6OI5tWBvnw70WHJ dRkJZtPWzSAxS++lG0nKpBWEYBkvswCxYQkSuvwKH8koomviGNjkKjt+xjUgE4pRNRTkvgBF L7BSgLaLEuugSp7pmyciuhFJWuyXvccbiLewu2e0bsEBrADgs5WYGAw1bqG5SyVOTR44iPO7 R/iZrDX/cNm249Dj4vhKYQdJgSWePfYdvWEzxC3iPtKNejwCMbpsxgEjGXoJCFEFOI1d+kvs I+Sofnb+Vjgvocmd0z4wL6/T7Jo4+e2V8ppavPHFmFQx3a+aZW98ik99HCdAr0XtcFW+e2MZ RayMem0fv4rA+Zt/mVfMXViIkxMGpbMT/nSoA2mpK6xETkb6wvMKe2n+VLPbW12ciwpOYX0O jTrusSBt8xpk4BROCAqX/1WIYd0AFvGa5sUc9fcsTq5DG7xjG3b6/Gm3VAl5CrQA3aJLNfi7 NiXDlLifRC1o+fTwMsfr4V2uQYNAW1ghfUrOHgQ4MNylyvwGVtuwT7x6nnaIso8fu3OOJDEi PXlaWIjDWDwX20Bf0mhptvkWQibC6oFPdKRyvnFOa+LQ3/eOW9CKOIJGuRcD7NedT7qzeXhI tYbkpE1Fgbk2YlnHI7/+dTi6dqKBZrmKrYg9kX0ksi0CBEbaVnPOLqNAyIVPRH6/wrxeIkn6 IT7qa2ogK12dKIpLftdRg==
- Ironport-hdrordr: A9a23:hkIoFK+SMkiK3VKWFbVuk+DVI+orL9Y04lQ7vn2ZKCYlFfBw8v rFoB11726WtN98YhEdcLO7WZVoI0msl6KdiLN5VdyftWLdyQ6Vxe9ZnO/fKv7bdxEWNNQx6U 6tScdD4RTLY2RHsQ==
- Ironport-phdr: A9a23:aX69uBTXDO66jZWV3xaa3gebB9psotCWAWYlg6HPa5pwe6iut67vI FbYra00ygOTAcODtbkd1bKe8/i5HzBautDZ6DFKWacPfidNsd8RkQ0kDZzNImzAB9muURYHG t9fXkRu5XCxPBsdMs//Y1rPvi/6tmZKSV3wOgVvO+v6BJPZgdip2OCu4Z3TZBhDiCagbb9oI xi6swrcutMKjYZjJao91xrErmdVcOhS2W9kOEifkhni6sq+5pJv7zhct/c8/MNcTKv2eLg1Q 6ZFBzo8KWA148PrtRjHTQSR43YXT3sbnBlVDQXb9R/2Rpj+vDf0uep7wymaINb5TasoVjS47 qdkUwHnhSEaPDMk6m7Xi8hwjKVGoBK9ohF03oDZbJ2JOPd4Y6jSes4URXdaXsZJSSNOHp+8Y YUID+oEJ+lYro/9rEYKoRaxAQSgAeXiwSJKiHDrx603y+suHwHI0gIjAtwArmjboc7vO6sOS +241rXEwSnBYv5QxDzz6JLIchckofyUQ7JwcMzRxlUxGAPDklWbtJblMCmV1uQJsmiQ8u1tV fyui24htw5+vD6vxts2honTnI0VylTE9SRizYY6IN23Uk97Ydq+HJRMsCGaMpJ7T8U/SG5np Cg00KcJuYKnfCcU0pQnwQbSZ+CafoWW4x/uUOecLSpliX9kfL+ymhS//Eukx+P8Wce531hEo yVEn9XSuH0D2ALe59aZR/Z/8Eqs2CuC2g7c5+xCPEs6m63bK5s7zb4xkJoeqV/MHi7smEXzj a+WcEok+uiy5OTieLnpvIOTO5VpigH9Kqgunda/Dv4kPQgKQWeU5eC81Lr+/ULkWrlFkvo2k qzBvJDVJMQbuq65AxJO3Yo56ha/CDGr28kbk3kfNF9JZg6LgozzN1zNIP30F+mzj0mvnTtxy P3LPrvsCYjXIHfZirfuZ7N95lZcyAUtydBf4IpZCrQbL/LyXk/9rcLXDh0kPwCtzebqB9Vw2 pkRWWKIBa+ZP6fSvkGS6u0zJOmMYZcZuDf7K/c7+/7jlWE1lUMZcKWz3pYaaGq0Eup7L0iae 3bhjdcMHX8PvgUkTezqjFOCUSRUZ3a3R688+DA7CIS6AojdQICtnKaN3D2hEZ1WYmBGC0uBE Xjtd4qeWvcMbDieLdNmkjwBTbShTZQu2gm0tADm07pnMvbU+ioAuJ7+zNR1/fHclQku9TxoC MSQy32CT2Ztnm8RWzA22L1/rldmx1eY0al4huRYGsZJ6/NIVAc6L5/cwPZgB9D8QAKSNuuOH V2hW5CtBSw7ZtM32d4HJUhnSPu4iRWWwSusCLITi/SRDZww8+qIwXn3LMt71zDc3akljnEpR 8JOMSutgasppFubPJLAj0jMz/XiTq8bxiOYqDbrJQumuUhZVFQ1SqDZRTUFYUCQq93l50TER rvoCLI9MwIHx9TRYrBSZIjPilNLDOzmJMyYe3i4znmxAx2FwK/KdoPqf2Q10yDUCUxCmAcWr j6dLQZrPi66uCrFCSB2U1fmYkfi6+57/W26SEQ5yR3MdURh07ud9RschPjaQPQWjfofoCl0j TJyER6m2s7OTdqNow00ZKJHfdY0+0tKz0rcvg15e5GiduVs2gNYfANwsEfjkR5wD+2siOAMq 3UnhEp3IKOcihZaci+AmIr3MfvRI3Xz+xamb+jX3Evf2ZCY4PVH7vNwsFjlsAyzcyhqu3x6z 9lY1Wed7ZTWHUITV5z2SEM+6xl9ofnTfCA844re0XAkP7Ozt3fO3NcgBe1tzRjFHZ8XLqKCH wL0D4sADsiqKcQlnlGoalQPO+UTvK84MsW6dueXjbaxNbUF/nruhmBG7YZhl0OUonAkG6iYg tBfmqHeglbUMlW0xE2suc32h41eMDQbH27ljDPhGJYUfKp5O4ACFWapJcSzgNR4nZ/kHXBCp zvBTxsL3tGkfR2KYhnzxwpVgA4JoHqslC2kiSZ9kzUohqWa1S3Khe/lcVBUXwwDDHknllrqL YWu2poEXU6jYg410gGs5UL776deraV7aWLURA0bGkq+Z3EnWay2uL2YZsdJ4559qiRbXtO3Z lWCQ6L8qR8Xu8/6N1NX3ytzNzSju5Gj2gd/lHrYNnF46nzQZcB3wx7bot3aX/9YmDQcFmF0j jzeB170ONfMn53ciZbFue24SyS7X51XcAHkyIqBsG2w4mgiDRCknv+1k8HqCkBgiX69h4QsD 3yY6kqhKoDwn7y3K+dmYlVlCDqeo4JhF4dyn5FxzJAc1H4Gh4mEqH8OkGP9K9Jeiur1aHsAQ yJOwsaAulC0nh0+aCjQl8SlCyb4oIMpfdSxb2II1zho6slLDP3R97lYhW5vpVH+qwvNYP97l zNbyP006Xdcjfta3WhlhiibHL0WGlFVeCL2kBHdpc6/qq5aYnrpa7Gw0EtWktWoDbXEqQZZE iWcGN9qDWpr48NzPUiZmmPy7IrpfsWWd9sTshy8nBLJjuwTI5U03Klv52IvKSf2unsrzPQ+h Bpl0MShvYSJHG5q+bqwHh9SMjCmL9NW4DzmirxS29qHx436VIs0AS0FBdG7KJDgWCJXr/nsM ByCVSExumvOU6SKBheRsQ9nty6dSM3tbiDPYiNFkpM6A0PBbE1H3FJKAHNgxcV/T17ygpSmK RYchHhZ50ak+EUSjLswbV+nFD+Y/l/gay9oGsbBakAKv0cSvwGNdpbGpuNrQ3MHpNv48ErUe zbdP0MRXQRrEgSFHwyxYeXovIOdtbDeXq3ncbPPeenc8LQOEa7XmtT/lNMhpW/EN93TbCA9V LtiixYFBTYhXJ2H/ldHAy0Py3CXN5/d9Er6o3cn6Jj4qaujWRqzt9HWVf0PYZM2qkrw2eDaZ qaRnHorc28GkMlXlDmTkv5HmwdD7kMmPy+kFbBK3cLUZITXnKIfTxsSaicpcdBN87p5xA5Gf 8jSltLy0Ld8yP8zEVZME1L7yImvYoQRLmexOUmiZg7DPamaJTDN38D8YL+tAbxWguJOshSsu DGdW0b9NzWHnjPtWlihK+ZJxC2cORVfvsm6fHMPQSD7S8n6bxSgLNJtpTg/wLlxi3GTcGBAb H5zdERCqrDW5iRdw71+F2FH8nt5PLyEliKevIy6Yt4dtfpmBDgxlvoPuixrjesIqnsdFLopx Xi3zJYmuVytn+iRxyAyVRNPrmwOn4eXpQB4Pq6f8JBcWHHC9RZL7GOKCh1MqcE2b7+n861W1 NXLk7r+bTlY9NeBt9UdAcPZLt7BKnMhNRvBFzvdDQ9DRjmufzK65QQVgLSJ+3uZo4Jv4IDrg 4YLQ6RHWUYdE/obDgFoHoVHLssqGDwjlrGfgYgD4n/0/3yzDI1K+5vAUPyVG/DmLj2U2KJFa xU/yrT9NY0PN4f/1iSKi3F/lYXOXkfSBJVD/nAnYQgzr0FAtnN5Sz9rs6oAQgyo6X4XU/Wzm 0xu4uORSeso/TbopVwwIwiTzBY=
- Ironport-sdr: 635c4b09_/70zjADG1t0qCNcqV+IF/oTkRhiA5z4QcCy2sTFlQVQ1Paj YWdeOuadvASZV3nCdzYm7/sQtrQkPdE8UesqOQw==
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://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,
--
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://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 at the University of Birmingham, vincent rahli, 10/28/2022
Archive powered by MHonArc 2.6.19+.