coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)
Chronological Thread
- From: "Achim D. Brucker" <adbrucker AT 0x5f.org>
- To: coq-club AT inria.fr
- Subject: [Coq-Club] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31)
- Date: Wed, 20 Mar 2024 16:39:59 +0000
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=adbrucker AT 0x5f.org; spf=Pass smtp.mailfrom=adbrucker AT 0x5f.org; spf=None smtp.helo=postmaster AT smtp.0x5f.org
- Ironport-data: A9a23:wPtNA6zqWHT65vy8vIR6t+d0wirEfRIJ4+MujC+fZmUNrF6WrkVRm jRKUT3TPPmONjfxf4h+Ot618ExSu5HcyoRqGVZtrVhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjg2Ec3l48sfrZ9Es05qyq4lv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFOwnPItAEUNGbQ26796UUBr0 cVJD2gSO0Xra+KemNpXS8F3g9g7apH7YY1ZvWtvpd3bJap7B8mYGeOQuYIehm9v7ixNNa62i 84xYDZldgnLYBBVEg8HVZx4m/2n7pX6W2QF9wzL9fRtuwA/yiQo7rLpF/T/ReaXap58nVuGm Ejp02vmV0Ry2Nu3k2LeryrEavX0tSj8QccZEKCy3uV7hUWagG0VEhwfE1WhycRVkWalXs5Hb RQEpyRoqrI9nKC2cjXjd0Hnpz2IuiU4YvRBSuBqySSp8/vzuxnMUwDoUQV9hMwaWN4eHGNzj g7SxIK4VVRSXKuppWW12pr8kN9TBcT2BTVYDcP8ZVFZi+QPWalq5v8PJ/46eEJPsvX7GCvr3 xeBpzUkirMYgKYjjvripQCY2Gry+saRF2bZAzk7uEr7v2uVg6b7N+SVBaTzt60efe51s3HR4 yBYw6ByEshVU8HS/MByfAn9NOvxvKvdWNEtqVhiA5I873yi/nSjFb28ExkhTHqE868sJ1fUX aMkkVgPvsMLYiP6NvEfjkDYI51C8JUM3O/NDpj8BueiqLAoHONe1HAzNRyjzCr2nVIykKoyH 56efIz+RTwZEKlrhn7+DesUzbZhlGh0yHLxVKLL6U2t8YOfQ3qJFpYDEl+FNd4i4I2+/Q76z td4Numx8St5btHQWCfs3LQoHQg4FkRjXZHSgO5LR9GHOTtjST0ACeeO4LYPeL5FvqVyl8bX8 12DX2tdmUvNlFzcCACwcns4QqjebZV+inMaPCIXIlej3UY4U7uv9Ksyc5gWf6Et0e5ekc5PU PgOfvufDsR1Sjjo/yoXab//ptdAcCuHqB2vPS3/RhQCZL9lGhL0/+H7cjvV9CUhCjS9se08q eaC0iLZWZ8yeBRwPv3Jaf6Az0KDglZFobhcB3D3G9h0fFng1KNIKCar1/8+HJwqGCX5nzCf0 16bPAccqezzuLQKydjuh52fjoKXAuB7T1t7HW7a0O6MDhPk3FGfmK1ObOXZWgrmdjLQ2L6jb uBr3f3DIKU5vFJVgbFdTZdv74wDvuXKmZEL7z5ZDE3qbkuqAIxOOnOp/9dCnYwTy657uTmZY FOu+N5bMu/QYMjOTEEcCDQgSuHSxMMFuyLz6M4tKx7Q/x5H/7ugUGRTMSKTiSdbEqBHDYM9z colu+8U8waamDNzFvqn1wd6r3+tKF4EWIUZ7qAqOpfh0FcX+wsTcK7iBT/Ty7DRTdd1a20BA CKe3YjGjJRinnvySWI5TyXx7LAMlKY1mU54yXEZLA60gfvDvPg82SNR/RkRTgh4yhZm0fp5C lN0Nn9adLm/wDN1uPdtB2ycORlNJBm8yHzDz1EkkG74TU7xckfvKGY7G/iG/WFH0mZ6UwVYw oqlyzfeYW63RP3y4yo8Yl46ivrBSdcqyBbOtvr6FOu4Hr47QwHfvImQWUQypSHaXPwB3H/8m bEy/cJbS7HKCioLkqhqV6iYzesxTT6HFkxjQNZg3bwEMV/ZXDTjyAqfCluQf/lVLKfg6n6IC M1JJ+NOWS+h1S2IkCspOK4UL5Jwn98r/NAneI63FVUZsrCakCVlgKjQ+gf6mmUvZddkyuQ5F a/8aBOAFTa2qUZPumqQsvRBBHW0UeMEaCL4wuqx1ucDTLAHkeN0dHANwqmGhGqUPCRn7iCrk lv6PYGO9NNbyKNog4fIOYdADV/tKdrMCcK5wDrquNFKNd7yIcPCsj0OkWbePiNUAKAwXupmn rHcof/120L45IwNaV77oKXYNad15pSVZtF1Y/LHdCwQ2WPIXcL3+BIM9lypMZEDwpsX+sCjQ BD+c8eqM8IcX9BG3nBOdixCCFAnBr/qarv77zaIxxhW5sPxDSScRD9myZPoUY2fXjQNJ4W4U h+ptbCp/N8wQEGgwvMbL6kOPnO6CAaLtWgamxnZ7SnFAC+vmFzqVn7Ki0878T+SYpWbOJ+S3 H8GLyQSsDzqqPzGitZDvOSee/HR4GlV2YENQ67WxzK6Z/1WwoLLwSTx/Kjq0q1prxE=
- Ironport-hdrordr: A9a23:CUzhVKmoVPsPvpqpBbTAHrDLdKPpDfId3DAbv31ZSRFFG/Fwz/ re+cjzpiWE7Ar5OUtQ4exoV5PhfZqxz/NICOoqTMyftWvdyQiVxehZhOOIqQEIWReOlNK1vp 0OT0EKMrzN5C9B4/oSjjPVLz9q+qjhzEnhv5a5855Cd3ASV51d
- Ironport-phdr: A9a23:ycdV8R29kzUAOpmBsmDOOw8yDhhOgF0UFjAc5pdvsb9SaKPrp82kY BaOo6Qxxw+YFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/94PXbglSgDewbrx+I RayoA7MqsQYnIxuJ7o+xRfOvnZGYeNay392K1mOhRj8/MCw/JBi8yRUpf0s8tNLXLv5caolU 7FWFSwqPG8p6sLlsxnDVhaP6WAHUmoKiBpIAhPK4w/8U5zsryb1rOt92C2dPc3rUbA5XCmp4 ql3RBP0jioMKjg0+3zVhMNtlqJWuByvqRxhzYDJY4+aO+Zxcb7Sc94BWWpMXd1fWzBdDo+gb YYCCfcKM+ZCr4n6olsDtRWyCBWwC+Pvyz9Ig2L906Mg3+88DAzGxhEgEM4NsHvKttX5OroZX Oevw6bV1jrDde5W1iv+6IfWaBAsuu2AXL1wfMrf00UvEBnFjlqJpIHjIjia2fgDvXKB4Op8S eKglXQnqwdprzWs2soiipfEi40Lx17L6yh13Jo4KcG3RkN1b9CpDoVcuzyVOYZ3X84vQm9lt SYmx7MJpZO2figHxps7yhPCZfGKdZWD7BzkVOaUOzh4hXRldaqhiBe970eg1vPzVtOu3FlQs iVJiMTMtnMV2xPJ98eHV/598l2v2TaVzwzc8ftEIV0omqrYNZEh2KQ8mYYTsUjbGi/2n0r2j K6KeUo+/uio6/7obanlpp+dMY90hRvyPbgpmsy6B+kzLwsAX3CD9Omz1LDv51D1TbtUgvEsj KXUv5DXKd4FqqKlAQJZyoQu5hWlAzqoztgUh3sKIE5fdB6ZgIXkO1fDK+3mAPe7nlSsiytry O7cPrP8A5XML2bMna/8cbt79kVS0hA8zcpF6JJRErwBIOz8Wkv2tNHAFR85NhC0w/79BNlh2 YITWWyPDrWeMKPIvl+E/uMvI++Sa48JoDvwJPgo6+TzgXI3h1MRZ7el0JQXZXyiAPhqP0eUb WLpgtgbEGcKugQ+TPbtiF2HSTNcfWu9ULkm5jEmFI2mDpnMRpq2jbCd0ya2HpNWanpBClCWH nfkb4OEVOwUZyKIPsBhiiAEVaSmS4I5yB2irBX6xKZ/LurI5i0Ysoru28Ry5+3KjB096Th0D 9mG3GyWVGF1nmYIRycs06xloEx9zE2D0alijPBCG9xT/aABbgBvPpnFiud+FtraWwTbf97PR kz1bM+hBGR7Z9kxwtpGTwA1Mc+/hRPOxWDiV7YZnaaWD5856IqEzyX/YcFnxCCVh+Eak1A6T 54XZiWdjall+l2Lb2aou0CQlqLwML8ZwDaI7mCIi2yHoEBfVgd0F6TDR3EWIEXM/pzi/k2Xa bioBPw8NxdZj9aYI/5DZtfzkF5FSe3LYMSDbSS2gWjjTQ2QyOa0ZZHxM34YwD2bDUEFlw4J+ nPTPAQ0HDqqoG/EJGR+SFypZFnjoqFlsH3uaEgywkmRalF5kbq4/hlAnfuHV/Yaxa4Jog86r ilsWg6tgtyQDMCPz+Z4VINbZ951oFJO1GaD8hd4IoTlNadpwFgXbwVwuUrqkRRxEIRJ18Yw/ jssy0JpJKSU3UkkFXvQ1I3sOrDRNmj5/Qy+I6/Q1FbE1d+K+6AJoP0molTntQutGwIs6XJim 9VS1nKd4N3NAm9wGdr4Xkwt6hN5qqvyOjlg6cXTz3Iteai4vzne2s44UfM/w0XodNNePaWYU Q7qRpFHQZH1cqpwxwXvNEpbb4UwvOYuMsirduWLwvuuNedkxne9iHhfpZp62QSK/jZ9TejB2 9AExeuZ102JTWSZ7h/pv8bplIRDfTxXEHC4zH2uDYJbfLB5fosRIT++fsPxwc9xzc2IOTYQ5 Bu4ClUK1dX8MxOeZUbg1g5dz2xPsSGp3yyiwHYn2yFspa2Z0ivUxu3kfxdSIW9HSl5pilL0K JS1hdQXNKSxRzAgjwDtpUPzxqwB4b96M3GWW0BDOS7/M2BlVKK08LuEec9Grp0y421bV+G1Y FbSTbCYwVNS2i/pBXZVxz0hX2m655u/mAZ1wG6QN3d8qnPFdNo4mUqZvYeGA6QNg3xcHHYwg CKfHlWmOti14diY8vWL+vuzUW6sTNwbcCXmy5+BqDru4GRrBROlmPXg0tbjEAU8zWr6z4w2C GOR90y6ONW2kf7ibrECHAEgHlL35stkF5srl4IxgMtVwn0GntCP+nFBl27vMNJd0Ka4bXwXR DdNzcSGhWqtkEBlMH+NwJr0E3uHxc40LdC2aHkL0SEw9egSGPqaqrtekmEmxzjw5RKUevV7k joHnLEn5HQAnuoKtRAFljXADPYVB0YSbmT80h+P6d65tqBeYm2iJKOx2ERJltekFLieowtYV SWcGN9qDWpq4854Kl6JzGzr59SuZozLddxK/E7cg1LaguNSMp50ivcamX8tJzfmpXN8g+dpl hlyxdfirNWJbWJ388fbSlZZLmGnO55Vo2q3y/wCw4DMh9/nF91kCn1OVZ/sB5pECRo0svLqf 0aLGTw48DKAHKbHWBWY4wFgpm7OFJaiMzeWImMYxJNsXkvVIksXmw0SUDgg+/xxXgm32Mzsd lt47TEN9xb5rBVL0OdhKxj4VC/Wug6pbj4+TJXXIgBR60lO4ELcMMrW6ewWfWkQ5pq6sAmEM XCWfSxTCH0RHBSUWl6lOaOhpJHB/+WeGuuiPq7ObLGJ+ok8H7+DwZOi1Jcj/i7ZapjJZyI4S adnhwwZBS8qfqaR0y8CQCEWiS/XOsuSpRPmvzZystj66vPgHgTm+YqIDbJWd9Rp4RG/x6mZZ IvyzG50LyhV0pQUyDrG0r8aiRQbhyt0ajKuHK4o7T6QQuTXgKAdXHt5I2tjcdBF6a4xxFwHI cnAltb8zaJ1lNYuDktdEwTxx8/vYtYFaTLYVhuPFAOAM7KIIifOysf8bPanSLFeu+5TsgW5p TeRF0KL1turzym0WVaoK+4e1Ulz2TQGqNyzNBF3Bjq7JDoHQga+LMcx1S1rz/sznHyYbQYh
- Ironport-sdr: 65fb1163_C1OJKxHG17YUQYMx7yqxZFTOC6AK0GYCrRHbEWOh1TvELte 0P+kH+T7RXlo5UdYrr8kgVFwZ0uduyFBTJMA0Eg==
We have an exciting opportunity for PhD study with myself and
Prof. Burkhart Wolff form the Université Paris-Saclay on developing
a formal semantics for Go(lang) in Isabelle/HOL.
This is part of a new 'double PhD' programme leading to a PhD award
from the University of Exeter and the Université Paris-Saclay.
More information and application details can be found at:
* https://www.exeter.ac.uk/study/pg-research/funding/phdfunding/paris-saclay/
*
https://adum.fr/as/ed/voirproposition.pl?site=adumR&matricule_prop=53822#version
Application deadline is the 31st of March 2024. Please contact me for more
details.
Best,
Achim
--
Prof. Achim Brucker | Chair in Cybersecurity & Head of Group | University of
Exeter
https://www.brucker.ch | https://logicalhacking.com/blog
@adbrucker | @logicalhacking
- [Coq-Club] Funded PhD Position in Formalizing/Verification of Golang (Application Deadline 2024-03-31), Achim D. Brucker, 03/20/2024
Archive powered by MHonArc 2.6.19+.