coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)
Chronological Thread
- From: Steven Keuchel <steven.keuchel AT kuleuven.be>
- To: "coq-club AT inria.fr" <coq-club AT inria.fr>
- Subject: [Coq-Club] Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16)
- Date: Fri, 7 Feb 2025 11:24:38 +0000
- Accept-language: en-US
- Arc-authentication-results: i=1; mx.microsoft.com 1; spf=pass smtp.mailfrom=kuleuven.be; dmarc=pass action=none header.from=kuleuven.be; dkim=pass header.d=kuleuven.be; arc=none
- Arc-message-signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=microsoft.com; s=arcselector10001; h=From:Date:Subject:Message-ID:Content-Type:MIME-Version:X-MS-Exchange-AntiSpam-MessageData-ChunkCount:X-MS-Exchange-AntiSpam-MessageData-0:X-MS-Exchange-AntiSpam-MessageData-1; bh=hd21UHzmh1/cJkZzVK1+7d59Z3YwG3HaA5YYV9xNFpw=; b=XG+iyx8Qf5DQw9fPIFXHmHne0uJeogLfTcu6l3EsKkO6FLmZIxdXLIlsvtUyDVEwlqqBwwRBJa0OX7ITzCSkCX+xXTz2lbNezc3ZW2YusWJwE1KwRrholDP6eVYo5hgX1NbBL1C6R8sWRKB9UZp2jmy5X9EX+QA9OR0qCsh7s9ilQuQK/wMIBSgdR+ZXyKkvJhoOM2vojAtgq0N7/xJNOKaMINQNWQjECjYou/sMMdQMHWXhfxjOX2OWYuL7UiP0d37dE9RvQkV0fhMnY+16sx5uI8OAscv5YF6Npq75mVITlOuIynqwxzjXPaThycnK6u9cTiDYzKsdOBuv3cWa7g==
- Arc-seal: i=1; a=rsa-sha256; s=arcselector10001; d=microsoft.com; cv=none; b=Istf3HbHFT8ZWKnqsoW5VswRCu7kArP1q8iKZSCzZfOhkhL++OFZDXjh7OwlDDc4Evx+W5RwvsY7+OEd9/M+eXb8jq0d9YyvSSUInrbeBBSer124+K+e29Ff2aGnSJWbGZ+iV9AutYOh2FG0gXb21BsiZ7VPyQ5nbljlKqP1Uw6gMP08yHIla4jtepqckxf9Xdji/cbPnv072K7D3wY9ZeIlu2FeAn4ZLif9l9M+X6YjjiJeFvV1CwZ3zCJGQtg+2ZJSXlA+LhvLRCmDuj+Cmr07xKX76+yzF298/2K5Zpczp50If1Fz5E0lEd/ZkqEuxjJcSbZmdq7vMiU1HyP88Q==
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=PermError smtp.pra=steven.keuchel AT kuleuven.be; spf=Pass smtp.mailfrom=steven.keuchel AT kuleuven.be; spf=Pass smtp.helo=postmaster AT DB3PR0202CU003.outbound.protection.outlook.com
- Ironport-data: A9a23:1+kR06kxrTWudkh8NCr1XcLo5gy/LURdPkR7XQ2eYbSJt1+Wr1Gzt xIWXG+FaP6PYWT8LtogOtu+/RxXuZPUm9Y1SgBurSsyEltH+JHPbTi7BhepbnnKdqUvb2o+s p5AMoGYRCwQZiWBzvt4GuG59RGQ7YnRGvymTrSs1hlZHWdMUD0mhQ9oh9k3i4tphcnRKw6Ws LsemeWGULOe82Ayazl8B56r8ks14ayo4GxA5zTSWNgS1LPgvylNZH4gDfrpR5fIatE8NvK3Q e/F0Ia48gvxl/v6Io7Nfh7TKyXmc5aKVeS8oiI+t5uK3nCukhcPPpMTb5LwX6v4ZwKhxLidw P0V3XC5pJxA0qfkwIzxWDEAe81y0DEvFBYq7hFTvOTKp3AqfUcAzN1nUnksJtU5xN9LPkR/r 9g9EBtXSVO60rfeLLKTEoGAh+wPBpLTBttF4itL8GmBVrAhXIzJRLjM6ZlAxjAsi8tSHPHYI c0EdT5oaxeGaBpKUrsVIM9k2r7w3z+hLnsB8Qj9SakfuwA/yCRqzLXzPdyTedGXTsVYmm6bu 2bL4nr0BFcQObRzzBLfqi3127KRxnyTtIQ6N5mT/Phnogaq72VNEj4sdAPl+OmHhRvrMz5YA xdPoHZxxUQoz2SgScC4VBmlqlafrxsEUpxRFfc74UeD0MLpDx2xA2EFSntHb8Y6tMIrXzsy2 1abmNWwXGQ16eTMEzSa66ueqi60NW4NN2geaCQYTAwDpd7+vIU0iRGJRdFmeEKosjHrMTiu+ yqR9AkAvoksqP9R84CD1grgwAv58/AlUTUJzgnQW2uk6CZwa4ike5Gk5DDnARBofNfxor6p7 ChspiSO0N3iG61hgwSsbY0w8FyB4v+ENHjahkRzH5Q87TO19nexeoYJuWkkfR4waIADZCPjZ 1LVtUVJ/phPMXC2bKhxJYWsF8AtyqumHtPgPhw1UjasSsYgHONk1Hg0DaJ144wLuBV1+U3YE cvKGftA9V5AVcxaIMOeHo/xK4MDyCEk3n/0Tpvm1Rmh2rf2TCfKEudVbgXRMLtitf/sTODpH zB3Z5riJ/J3ALyWX8Ur2dBDdg5iwYUTWc6p9pQLKLLrzvROQTh5WqaKnNvNhLCJb4wOzb2Uo RlRq2ddyVHlgmbAJxnCYXd5cNvSsWVX/BoG0dgXFQ/wgRALON7xhI9GLsdfVed9qIRLk6UuJ 9FbIJroPxi6Ym6Wk9jrRcKl9NQ6HPlq7CrSVxeYjM8XL845HFCZpYK7FuYtnQFXZheKWQIFi +XI/mvmrVArHmyO1e6PMKn/nWCi92MQgvxzVEbuK9xeMhekuotzJiC7yrd9L8gQIF+RjnGXx iSHMyc+/OPtmo4S9MWWpKamq4zyLfByMHAHFEbm7JG3FxLgwEyd/aF6Xt2lRwvtDFHPxP36Z MF+7e3ND/kcrVMb76t+C+lKyIw91fvOpphb7B5oI2XPY2SZDrlhf3i05uhUl6h33rQCkxCHa kGO3dh7OLuyJ8LuFmAKFjclduiu0fI1mCHYy/Y+MGHWxXZQ0uKccENwOxKstnRsHIFtOtl4/ dZ76d8k1QOvrzELbPCEt3lw3EaRJCUiV64HiMkrMLXzgFB29mAYMI3uMQ6o0pShcN4WD1ILJ AWTj6/8h7hx4ErOXn4wNHrV19pmmpU8l0FW/WAGOmi2tILJtt0v0D1V1AYHfABf4xFE8uB0Y 0xAFUl+I4eQ9DZJ2ulHeU2RGD96OR7IwXyplmM1l1DYQXK4CU3LDmk2YtiW8G4jrmlzQzl8/ ZOj8ljDbwrERs/L43YNaRZXkMC7Fd1V3S/eqf+jBPWATsUbYyK6o6qAZlgoihrAAOEriHLXo eVazuJ6aPD6BxUxuIw+MZGRjp4LeSCHJUtDYPBvx7wIFmfiYwOP2SCCBkSyW8FVLdrI+l+cJ +03AewXTDW49iKFjg5DNJ42O7UuwcIYvosTSI3kNUstkuW5rAMwlLny6yKnpmsgY+s2oPYHM omLKg6zSD2Bt0B1xV3IgtJPYFejQN8+Ywb54uC53cMJG78Hs8BuaUsC6aS1jVrELDpY+w+og y2ba5/01+BCzaFer7noGIhHBCS2LorXf8aM+waRrd9PTI3uNeHjigArkWTkbj9mZeYpZ9dKl Lq2oIHW2mHBt+0ISGz3ocSKOJRIwsSQZ9BpFPzLAkNUpga8ffP9wgAi/jm4IKNZkdkG6ciAQ RC5WfSKdtUUeol8x0d+TnF0KDMxKrvSbYHegA+UvdCJW0ER/i7ZIOz69lvvR3BRLRUMCsbEE gWu5+ukve4ApqsdGhYVWvNsWcd5BHTBWqIWUcL7mhfFL2uvg3KE4qDDkzh54x71K3C0KuTIy rObeQrfLTOZp7Pt4OxClo59rDk7PS1YuvYhWFAZ9/pdqSGIPERfIcszaZw5W4xpyArs35TGV RTxRWoFCwCmeB9bcB/5se/Rbi3GCsMgYt7GdyEUpWWKYCKLBaSFMrtr1gFkx1xUIjLD7uWWG esyy03KHCqa489WHL4Ix/mBn+1Y6OvQxSsI9WDDgsXCOUsiLotQ5kNxPjhmdHLhKN7MpnXpN GJuZGFjQWOHc2DTP/tkWUZoHEA+gGuy4RQuNCuB+YOK8cHThuhN0+b2NOzPw6UOJpZCbqIHQ XTsAXCB+SaK03gUorEkoM8tnbQyM/+QA8ymN+X2cGX+RU1rBrgPZKvuXBbjTf3OPCZzOQjlr GH2uyIVORzdcwZWxaGczhgP99RpSHUQAjrVjQn54zjbjRg+yNufcB+vpO4+AY+lsLDt5i20X x9LBHt9YXXP3NcnmdW6nvcGolGaH8wXU3PJOsztZo2niQ+iEQexC5g4u3zXFLttHLlsxZhQe buP3tN78o/PsuanxBjqxpFBClR4h+lpJznvQIMFMP6m+hVcGW87nxuExm6Gczsv
- Ironport-hdrordr: A9a23:msRPSK8R1WhFaifTd/9uk+DWI+orL9Y04lQ7vn2ZOiY0TiX4ra 2TdZEgvyMc5wx/ZJhNo6HjBEDiex3hHPxOjbX5VI3KNGLbUQCTXeRfBOXZsl7d8mHFl9K1Cp 0QF5SX2bXLfD9Hsfo=
- Ironport-phdr: A9a23:X2ILFxcvLiHylt1rvImnRDLulGM+a9HLVj580XLHo4xHfqnrxZn+J kuXvawr0ASTG92DoKgV0rGe8/i5HzBbuNDZ6DFKWacPfiFGoP1VpTBoONSCB0z/IayiRA0BN +MGamVY+WqmO1NeAsf0ag6aiHSz6TkPBke3blItdaz6FYHIksu4yf259YHNbAVUnjq9Zq55I AmroQnLucQbj5VuJrwtxhfVrXdEZeBbyX5mKFmOmxrw+tq88IRs/ilepv4t7dJMXbn/c68lU bFWETMqPnw668HsqRTNVwyD6GcCXG4LiBRIGQ/F7B/7Xpf1rCT3s/d21TeZM8PrU706QCyu4 Kh3RhDmjicHLCM5/3rMisNslqJboQmuqAJ5zoXJfYyaLvt+fqfafdMHWWpMW9taWiJdDo+ga YYEEuwMNvtaoYbgvVsDtRuwCxexCuPzxDFGhWP50qIh3us7DQ3KwBYtE84SvHjJqtj+KaccU fqyzKnN1TjNcu9W1inj6IfWdBAqvPSCUqxtccXNyUkgCQfFhUiXpIz+IzOayPoNvHad7+Z6V uKglXMnpB1xojexwschkYrJhp8Ryl/a6CV53pg6JduiREFgf9GpCZ1dvDyVOIVqWM0tWX1ou Dokxb0cv562ZCgExZcnyRDQdvCKbYmF7B3gWeqNPTt0mHNoda6wihiy70St1/DwW8u63VhKs CdJjtnBu24Q2hHP5caKTuZx80Wn1D2S2Q7T7eRELlo1lardM5MhwaMwlp4NvkTeAC/5hkP2g LWNeUo64uSn9uXnYq76pp+GNo90jB/xMrg3lsylH+s4KRYBUHKB+eug1L3v51b2T6tMg/Yrk afZqIjXKMQFqqKjHgNZzpsv5wy+AjqmytgUgGQLIExddB6ZjoXlJ1/DLfXlAfujmVuhkTJmy +7aMrL6B5jALnjOnbbkcLt49kJRyww+xs1B6pJQF7EBO+7zVVHrtNLFDx84MhK7zv77BNh7y 4gQQ3iAArWDP6PXqVKI5vwgI+2LZIINtjjwNvYo6eTyg3Mlh1MRYbel0IUZZ3ykAvhrLV+VY X3xgtcdCmgKuRc+TOr3h1GYST5TfXGyX74i6T4nFIKmDIDDRoa3jLyGwSe7AplWZmdBClCPC 3vna4KEW/IUZCKTJM9ujCAEWKChRoM/zx2iqRP2x6d9IufV+iAUr4/v2MVr6+HLkBE97z10D 8CT02GXSGF0m3sFRyQq3K9hv0xy1FGD3bJ7g/NGCNxc+/NJXRk+NZPHzOx6FtTyVRzcfteXV lmmRM+qDiovQd4pxd8BeF5yG8++gRDbwyqqH7gVmqSWCJAs6KLTw2DxJ9phy3bBzKQuk14mQ tJWOWK6gq5/6hPcCpXSk0SZkqaqbb4T0DTM9GeF12qOvVtXXBR+UaXfDjgjYR6cptPgo0jGU rWGCLI9MwIHx9TIYv9BbcSshlFbTt/iPs7faiS/gTHjKwyPw+a3cIf0dmNV/yjAA0gJl0hH5 mqLKwU4QCSsvmneAThGFk/rbl7y/O84on7tHRx89B2Dc0A0j+n9wRUSn/HJE5v7v5oBsSYl8 XBvGUqlmsjRAJyGrhZge6NVZZU85k1G3CTXrV81JYSuephvnFszaR5wpQv10glvTJ1amJ0xs H40wQw0Kq+F21NMcxubwJT9J6PaLC/48UPncLbYj2nXy83e4aIT8LI9olTnshuuEx8573h53 t8T0HaB7ZXHCCIRTJb8T1g68V5wquKSeTEzsrvdzmYkKqyoqnnC1tYuUfMi0QqldsxDPbmsO CWpK/dCXZD0A9FywwPvaQ8YNudP8qJyJ9mha/aNxK+sOqBngS6iimNEpot61ypg7gJER/TN8 owfxOvQng6OVjOmyUykrtiyg4dPIzcbAmu4zyHgQo9XfKx7O4gRWy+lKsuxwckb5dalUHlC7 lOoG1cXkM6vZReId0bwwUVL2EIbrGbvkDakzzFyjzAir7aOlC3IzeP4cRMbO2lNDGd4ilKJQ 8D8g9cfVUmuJw8n3AC56Fj3we5Yqbl0L2TXaURVeyXrMWxkFKG99/KDb8NJ9JI0oHBPSu3vB DLSArX5ohYcz2biBz4DnnZiL2js5Mi/xkUg2wf/ZD5poXHUeN9930La7d3YH7tK2yYeATN/g n/RD0S9ON+g+ZOVkY3Cu6awTTHENNUbfC/1wIeHrCb+63dtBEj1hOy+hNDhVws3zCT72t1CV jjMoQvib4+t3anwYocFNgF4QUTx7cZ3ANQ0iZc9mpwWn3sXm56V8H4vknr3PMhF1KS4ZndHF ltpi5bFpQPi3kNkNHeAwYn0A26czsVWbN6/emoK2yg54pMCGOKO4bdDhycwvkugoFebeuBzx HFFg6hLijZSk6QTtQEq1CnYHr0CARwSJjTizVLQqMikpe1WYm2rbLS9hn1lhd7nD6yGrxxCV XC/cJpqSiZ06o8X3Evk6HTo8cmkfdDRaYhWrRiIi1LaiOMTLpstl/0MjC4hOGTnvHRjxfRpx RBp2Ji7usCAJQAPtOqiHhNGOzuzZM4O8THgiY5dg8Kbwp6iGNNrF30HUYDpQvShDD8J/am9c V/WSXti9zHCQOCXFBT6ig8ut3/VFpG3K3ybbGIUy9lvXljVJUBShhwVQCRvm5c4Eg6ww8myO Ex95z0X+hv5sk4RkKQxb0C5DDqZ/V7yOVJWANCFIRFb7x9P/RLQOM2atKdoGj1Au4emp0qLI 3CaYAJBCScIXFaFDhbtJOrLh5GI/u6GC+65N/aLb6+JrLkUTOuF25+plIhr4j2MO8GnPWRmA uAl10wFV30zSKG7030fDjcakS7AdZvRvwux5CBx6MOy7f/rVQbH5paLBqZMPNMp8R380sLhf 6aAwS1+LzhfzJYFw3TFnaMe0FAlgCZrbzCxEL4EuH2FXOfKl6RQFRJedzJrOZ4C8fcnxgcUc 52+6Ju9xvtig/UyEVsASVHxhpTje5kRO2/kfFLfWBTXbPLXf3uThZmwOP70SKUM3rkM8UTo5 nDDVRekZ2rm9XGhVgjzY7wWynjDZFoG/tn6K0slCHC/Ho+8LETjapkvy2VxmON8h2uWZzNGd 2EkKAUV6OXXtHw94L03GnQdvCM9ca/YxGDBqbGfc8lesOM1UH59z7sIuS1jmbUJtHkWFrspy E6w5pZvuw/0yODXk2g+CUMcpGoT39DZ+hkzcaTBqMsaUC6drktUtDeeV0xR9Ys9UoW96ecNk 72t3OryMGkQqduMpJlFXpGGJp7faygqaUKxSmyTUVJNTCb1ZzvW3xUPyajLpHPJ9sNopMC0w MhcDeIBHBk8EvdQYqh8NOQLO4w/HjYtkLrBydUN+WL7th7aAsNTopHAUPuWR/TpMjeQy7deN VMExrbxLIJbMYOeuQQqcl5hgIHDAFbdR/hhiHZZVFdu+B9mzSAmFSs0xl7vbR6r7DkLD/mok xUqiwx4J+Mw6DPr5FRxLV3PwUl42EU8gtTqhzmNfSW5cf32BNkPTXSp8RFoaNvyWE5tYBe3n FB4OTuMXL9Xg7Z6NChqhALapZpTCKtcQKlDM3pyjbmcY/Ql10gZqz3ymBUBvLOcT8U/0lJzK 83JzToIwQ9oYd8rKLaFIaNIygIVnaeSpmqy0et3xgYCJkEL+WfUeSgSuUVOOKN1QkjgtuFq9 wGGnCNOPWYWUP9/6Ol2+10wPaKDwj/r07NHAkOsM+GCMa6f/WLN353tIBt4xgYTmk9J8KIjm 98kaFaRXlszwaG5Oz5SDfCac1kPRPcKrCOVejuSu+LQx54zJ5+6Cu3jUe6JsuATn16gGwEqW Y8L645Se/vkmFGdJsDhIrkfzBwr7wm+P1SJAsNCfxeTmSsGqcWyn9dnmJNQLTYHDSBhID26s /zJ8xQyjqPJD7JUKj8KG5EJPXUsVIimlj5F6j5eWSKv3LtRyRDevWOk4HWKSmG6N506Ob+Vf U8+VInwoG1gtfDw0RmOrPC8byn7LYgw54WJsLtC4c7BU7QNEPF8qxuOxtMeHiTwFTaJSZnse dDxc9V+MIayUy7hFAT503VsEKKTdJ6sNvTa2Fm0A9oL9tHdhHd6aoe8Dm9MQR4o/rNavfsua 1FbO8hpJkK40mZ2f62nflXC2433ET/0cGlYE6EEn7f9O+0fzjJyPLWzkCJyF8hjnefrqRVfF MlS1kOMgqv6AusWGSnrRC4Hcl2W93Ngzjpvar5pkOxnmEua4x5BaniKbLI7MmUc5oNlXArAL ykuUTg2HwfE39iEv1TkmrkW+2E1dzd8/cceiEKm5MeFSw/0APftrojJuS09a9Rgu7d2LYHoP sqBstXZgyDbS57T9AaCVXzjfxK1sttNJC9FXvRO32soa5VuUW9p6lc1W9ogKroJAqR++NiX
- Ironport-sdr: 67a5ed77_Mzk4Umzjk704kTBqXMtkCmdTXJ+n/XxGztuQhIz+TX4yRbe igDAoIb4idEDldJ99X3Nf689cd3/5G9xQj351VQ==
- Msip_labels:
Dear prospective researcher,
Do you love building rock-solid code with uncompromising correctness? Do you enjoy hacking in Agda or Coq for hours, squeezing the most out of (dependent) types, and pushing proof assistants to their limits? Does it give you a warm, fuzzy feeling to know that
what you are building comes with high-assurance machine-checkable guarantees? If so, we have the perfect PhD position for you!
We offer a fully funded PhD position, including a travel budget, under the supervision of Dominique Devriese and Steven Keuchel in the DistriNet research group of the Department of Computer Science at KU Leuven, Belgium. You would work on scaling up our efforts
in mechanizing the verification of security properties in critical low-level code.
A more detailed description of the position is available at: https://distrinet.cs.kuleuven.be/jobs/jobs (or directly https://downloads.distrinet-research.be/jobs/PhD-MechanizedSecurity.pdf)
For working conditions, including a competitive salary/scholarship automatically adapted to the evolving cost of living as per Belgian legislation, see: https://www.kuleuven.be/personeel/jobsite/en/phd/phd-information#working-conditions
Closing date for applications: March 16, 2025.
Best regards,
Steven Keuchel
Dominique Devriese
- [Coq-Club] Fully funded PhD position at KU Leuven on Mechanized Systems-Level Security (Deadline 2025-03-16), Steven Keuchel, 02/07/2025
Archive powered by MHonArc 2.6.19+.