coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Robbert Krebbers <mail AT robbertkrebbers.nl>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] PhD position in program verification at Radboud University Nijmegen
- Date: Tue, 28 May 2024 09:14:45 +0200
- Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=mail AT robbertkrebbers.nl; spf=Pass smtp.mailfrom=mail AT robbertkrebbers.nl; spf=None smtp.helo=postmaster AT pmg02-out3.zxcs.nl
- Ironport-data: A9a23:xVm9N67nSDD7o23n/RfemQxRtNDDchMFZxGqfqrLsTDasY5as4F+v mYeDG+CbKyDNGGjcogiatu+9EoCu8fXz9AxGlc6/n80Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsYgr414rZ8Ekz5Kmo6GtB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj6/tyKXM4HJVAw+JYHkERt qRIEBcdah/W0opawJrjIgVtrtwmI5GxeYQCpiom3yHSFrAgRfgvQY2TtYIehm1owJkRR7CEO pNxhTlHNHwsZzVKM1YTIIg5lu2lnGX8aTBSol+Pvuwx5wA/ySQojueya4GMIYLiqcN9tX2Cv USe2XrDGi4kaIyd732d9luKv7qa9c/8cNlLSebprKcCbEeo7mcUEVgdUUaxieKoj1a3HdNZM U0dvCQ0xZXe72SzS9alBVi/vWLf+AwMUMEWFelSBByxJrT87Rq8NGYlVmZ4bPM5lJB1HWwS8 U+NkIa8bdBwi4G9RXWY/7aSiDq9PykJMGMPDRPoqyNburEPR6lu3nryosZfLUKjsjHiMRfUq w1mQQAmgrpL14sMyrngu0LXiCnqoJyhou8JCuf/ATzNAuBRPtTNi2mUBb7zsasowGGxEgXpg ZT8s5LChN3i9LnU/MB3fM0DHauy+9GOOyDGjFhkEvEJrmv0pS74Id4OsGEudS+F1/ronxe3O Sc/XisMtPdu0IeCNsebnqrrU5h6pUQePY64CJg4keaikrAqLVLcrXs3DaJh93vxkUMsjaA5N t+XcMmtRXAeYZmLPxLoL9rxJYQDn3hkrUuKHMCT50r8i9K2OiXKIYrpxXPSMojVGovf+l6Em zueXuPWoyhivBrWOHGNr9BLcAhSchDWx/ne8qRqSwJKGSI+cElJNhMb6elJl1VNzvQLxNTbt GqwQFFZw1fZjHjKY1fCIHN6Zb+lGd41oXsnNGZ+dRylyloyU7aJta0/TpoQeaV41epByfUvc eIJVf/dCdtySxPG2Q8nU7/DkKJYei+GuyeyLgu+QT1mf5dfVw3DodDlWQ309RgxNCm8tOpgg ruKyjHJaIsneFU7AOrzdf+pz1G6rCUAkslTRGrNGMFYI2/3wbhpKgvwr/45GN4NIhP93Qmn1 x6aLBMbhOvVqao3zYX5vr+FpIKXDOdOJEpWMG3F57KQNyOB3G6c7aJfceSPJxbxaXjV/fi8W OBr0P3MCv0Ls1JUuY5aEbww76Yf5cPqloBK3DZfA3THQFS6OIxOekDc85F0iZRM4btFtS+de EGFoIBaMIrUHvLVKgcaIQ59Y9mT0f0RpCLp0s00B0fH/w5ywquMVBRDHhuLiREFFoBPDqEe/ b4DtvIVuiuFsTh7FvadjytRyXaAEWxYbYUjqaMhIdHKjigF9wh8RKLyWw7MzrOBUdFuCnURA yS1gfPCjotMx0CZfHsUE2PM7NVnhp8PmU5ryn0cFlGrntHDvOU82SNQwDEJXw9EkwhN+MNoG 21RL0YuD76/zzRpo8liXm6XBABKAiOCyHHx01ckkG74TVGic278M10GJueG+X4G/1JmfjR0+ K+SzEDnW23IeP7d8zQTW0k/jdDeVv10qxP/nf64E/S/H5UVZSTvhomsbzEqrzrlGcYAu13Vl 9J1/epfabzJCgBImvcVU7Kl7LU3TAyIAEdgQvs7paMAIjz6SQGIgDOLLxi8R9NJK/n06nSHM s1JJP9UdhGAxS2L/yE6B6kNHudOp8QXxuE+I5HlGW1XlIGkjGtNkInR/S3AlmMUU41QscIiG LjwKROGMEKt3EVxpUGcgvVACGSCZfs8WDbdx8GwqeUAKIICurpjcGY0ybqFgE+WOwpGoTOSn h3yYo3SxOpY049poYrdF5tSDBTpNNnYdf+p9TqruI9kduL/MsbptiIUpGL4Pg9QA6AjZtRvm ZmJs//1xEngvocpY1vGmpKEKbZF1f+yUMVTLMjzCntQxgmGZ+PB/DoB/DqeBaFSsdYA+PSie RS0WPGwefERRd1Z4n9fMApaMhQFDpXIfrXSnjy8o9uMGyoi/1T+dv3/zkDQbEZfaiMsEL/9A FWtu/+Ru/ZpnL4VDxoAX/xbE5t0JWH4YpQfdvrziCK5C1e5iVbTq5rgkhsdsQvwMEemK/qjw 5z5RUnZTi+Q6ZH4lIQT98Q4uxAMF39yjNUhZk9XqZY8lzm+C3VANugHd4kPDpZPiCHpyZXkf 3f3YXA/DTnmFyFxGfkmDA8Pgi/EbgDPBjv4GtDt11uRZH/sQYSdHOAn5Ddr+DFwflMPCQ1hx c42ohXN0tqZm/mFhtr/ItShhu1ty+nGxWgF80rwide0BRJ27XAiyil6BAQUPcDYO5ilqagIT FTZgUheR0uxRFTtEtxtcXRYAgpfujeHI/DEq8uQ6I63hrh3B9GsBBEy1y8fH1HDgAk3yGYye E7K
- Ironport-hdrordr: A9a23:IU5/YKhXVrQpKYlJ5t6NFAzEaXBQXuUji2hC6mlwRA09TyXqrb HNoB19726RtN9xYgBEpTnkAsO9qBznmaKdjbNxAV7AZmbbUQmTQb2KhLGKq1bd8kbFltK1u5 0QEJSWROefMXFKye7n/Qi1FMshytGb/K3tpeq29QYLcT1X
- Ironport-phdr: A9a23:K2j9XRWljuf6eCK5cIqdbKLd847V8KynXTF92vMcY1JmTK2v8tzYM VDF4r011RmVB9Sdsa0ZwLOP7+jJYi8p39WoiDM4TNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB 89YVVVorDmROElRH9viNRWJ+iXhpTEdFQ/iOgVrO+/7BpDdj9it1+C15pbffxhEiCCybL9sK Bi6txvdu8sWjIdtN6o91xTEqWZUdupLwm9lOV2ckxHg68mq+5Jt7zpesO87+c5aVqX6caU4T bhGAzkjLms4+s7luwTdQAWW/ncTXXkYnRROAwje8RH1RYzxvTfgtup8wyaVI8v7Rq0pVDu47 qdrTBjoiDobNzM87WrahNB8gL5drRm8oRF03ozab5yPNPdmfa3Tc9wVSmRBUMhMSSJOHoyyY pATD+cDJ+tUs5Xxq0UMoBa4GAKiBPnvyjhNhnLuwaM61P8uHhrY0ww6A9IFrXHarM/rO6gJS u+60rPIzS7eZP5R3Dfy8onIchQ6rPGWWrJ/atHexlc1FwPZjVWQs5LqMCiO2esTqWib9PBsV eSri2M+rQx6vzegyNs2hIbTmoIV1k7L9T9/wIstJNC1SkF1bNG6HJZOqSyWKot7T8EsTm12u Ss21qEKtJ+lcCYFx5oqyQDTZvKHfoSV4R/vSfqcLStmiX95d7yxiBC/+lWuxO37U8m7yldKr ixdn9nWq3ABzRrT6syfRvtn+Ueuwi2A2B7J6uFYIkA0j7TUJIU6zbEujJoTql7PHinymEjwk aSYdV0k9/C15+nkYrjqvIGQO5Fohg3kL6gjmNKzDf4mPgUOQmSW//m32aPn/U3kW7VKkuM5k rPEvpDbJMUUuLa0DxNT340+8RiwFS2m384dnXQfLFJKZhaHj4/xNlHWJfD4Auuzj0q1nDds2 vDGIrPsDo/ML3nMjLjhZqxx60hYyAYrzNBf4YxbCq0ZLf7uWUL8tMbUAgEnPwCo2errFddw2 p0EVW6RAqKVLbvesVqS6eIuJ+mMapUVuDH4K/U94v7hl345mVsGcKmz2psYc2u3Eep8I0WFY nrsmMkOHnwRsQUgVuzqk0eOUThXZ3qqWaIz/Sk0CJi6AofbWoCtnLuB0T+mEpFOfGBJFkiME Wv0d4WDQ/oDdCWSItZ4njMYUbihVpQu2Aq1tA76zrpnNvDb9jcZtZLlzth15vfcmQs89TxuX Iyh1DSGSHgxlWcVTXdi16dm5Ed5112r0K5igvUeG8YFtN1TVQJvD5nWxeFgF5jRQA/LdNqTU x7yR9ynBRkrSdg7zsUSYFxwEd+vlAuF2S78UOxdrKCCGJFhqvGU5HP2Pcsokx4utYEkhlgiG I5UMHG+w7R4/E7VDpLIlEOQk+Crc74d1WjD7jTL1nKA6WdfVgM4SqDZRTYHfEKDqN344mvYS LWkBK47MRFMw8SPMLAMbNm6xU5eSqLbMc/FK3m0h3/2AB+Jwr2Wa4+/fmwc2A3HD0IOnhoP/ myLPwIzHDznpWaNRCd2GwfJZEXhufJ7tGv9TkIwyFSSaFZ90rOu5hMPreSZRKtJm7UZpHxnu SV/BxC727o6EvKmoAxsNOVZaNI5uhJc0H7B8hZ6NdqmJrxjgVgXd0J2uVnv3lN5ENcIl89it 34swAdoTMDQmFpcazOV24zxMbzLOyHz+h6ocavfxlDZ1p6f5K4O7P0yr1irshuuEwIu9HBu0 t8d1HX5hN2CCQMTVbrrVUw9+gJmpKvXaCMw/ZiS03kteai4vzne2s44UfM/w0XFHZ8XO6eFG QnuVswCUpH+dapwwQDvN01eeroPrf1RXYvubfaN1a+1Mfw1mTuniT4C+4VhygeW8CE6TOfU3 pEDyvXe3w2dVj66gk3y16K/0Y1CezwWGXKyjCb+A4sELKh7fIIjE2CkKcCt2tZkipTnVmRDs linTQBjuofhaV+JYlrx0BcFn0EeoHiPgyyyxTFujzIzo6CV0TbVheLmPkliWCYDVCxpilHiJ pKxhtYRUR2zbgQnoxCi4F7z26lRoKkXw3D7eU5TZGC2KmhjVvH1rb+ee4tV75hutyxLUeO6a FTcS7jnohJc3TmxV2dZwTk6cXmttPCb11R/gWOZBGx0pnDUY91z3xrV7tHGXrhX2nIKSTJ5h j/eGlWnd4D5oJPOzc+F67/kETj8D9VaakyJhcuYuTG+5HF2DBH3hP21ltD9UEA73SL9y9h2R HDNpRf4bJPs0vffU6ovdU1pCVngrstiT9guz81q3slWgCdAwM/IpCli8y+7K9hQ1KPgYWBYQ DcKx4SQ+w35wAh5KXnPwYvlV3Kby88nZt+gY2pQ1DhuiqICQKqS8rFAmjN451SiqgeEK/10n zM10/wk4nMAn+ITtQAnwz+GRLYWVxo9X2Skh1GT4tayob8CLmOmcLyYzk10l927ELKYrwtWV WziPJEmV3wVjI03IBfH13v97Zvhcd/bYIcItxGapBzHivBcNJM7kvdZzToiI2/2umcpjvIql RE7l4/vp5CJci8+mcDxSg4dLDD+YNkfvy3gnboL1NjDxJihR91gAmlZBcu1C6jySHRL6q6hb VreWDwk9iXCSeeZRFfDrhw+6SufTfXJfzmWPCVLlIU/AkPHfAoG31pSBmlr1p8hSlLzlJGnK R8loGtJoAeo9VNN0r46bkmiFD6H+EHyOnFtGMj6TlIe7xketR6FbIrHtr41RXEep8z/5A2Vd j7CN1kOVDlVHBfcQQq/ZvGv/YWSqrjFQLPmc72VOfPU9bU7Nb/AxIrzgNI2onDWbJ3JZyY4S admggJCRSwrQpSE3W9VE2pOyHiLNZPC7Bakpn8u/p35qay3Hlm3o9LQUt4weZ1u40zk2Pfec bfI2GAjeXACistExGeUmuFPgRhI0XkoLmb3V+5c7mbMVP6Cw/8KSURBM2Uqa5EOtf5mu2sFc c/D1oGshuM+16ZpTQwcEwa8xomofZJYeWjlagGdCU3TZu3UdzPFzsiSA+v0SKUO3r9d70Pi4 zuQSx26bGaNmTTjHxG3b7MWhXnFbkZTs9nvK0RkWzrtQt/vD3/zeN5v029syOVq1CnHPjZOa Gp1IRFDoLCapSJA3KclEjQfvCBoJrHWwnSTvbvWJJsf1JkjSiVsybAA6SxkmeFY53kWHa5/y nncoNNk61C+zLvVw2I5AkBDoW4Z3dDZs0tvaMC7vtFBQSiWphtVszfKBh9S9YI3A4+9ta5dm 5DOjPyhcj4arYCO8MBEVZGGIpDVPnQsYH+LUHbVFFVXFzfzazOFikcFwqjA/S/HoJY3+9Cpk Z4KANe3TXQTEfUXQgRgFd0GetJsWy881KSch4gO7Ga/qx/YQINbuIrGX7ScG6enLjHRlrRCa xYSpNGwZY0OKo323VBjYVhmjczLHUTXR9VEvixmaEc9vkxM9HF0SmB71Vjib0uh53oaFPj8m RBT6EM2eeM26DLl+Es6PHLSoSRoygw2hMm+xyKBeyW3KqPxFYBaBizotlQgZ5P2RwEmCG/61 UdgNTrCW/dQl+45JT0t0lWE/8IQQ7gGEPQXBX1YjeuabPgpz1lG/yCuxEsdoPDAFYMnjgwhN 5ils3NH3QtnKt8zP63ZYqRTnT0yzuqDuDGl0ucpzUoQPUEIpSmXcS8MkFYPPLMrPTar5OFm4 wGYgH1FfCJfMphi6uIv7U47N+mammj41KVfL0mqK+GFB7uctDCa0MmVXgh2xFMDjA9D+fIlt KVrO1rRXEcpwryLEh0PPseXMgBZYf1Z833LdDqPu+HAqXqUF524GbiyCOiTqP1SkFKvB0AvG 9ZUhizkNoOr2kvVN9vkNrMPwxg3/0LtIAfdZBymUAiMmj0Kud281pJ914RHPXcbBTckWRg=
- Ironport-sdr: 6655846a_Abu8w7Hm2VX3LocCeVcQ1evOqajjcjbzPG3JdUHhca6TYRv xLYeVASokqNG9ZVjOCa+sB9zwhEezPLVRG/ygNQ==
Dear all,
I have an opening for PhD position at Radboud University Nijmegen (The Netherlands) to work on the semantics and verification of systems software (libraries for concurrency, efficient data structures, compilers, and/or operating systems) using type systems, separation logic, and proof assistants.
More information / apply at: https://www.ru.nl/en/working-at/job-opportunities/phd-candidate-in-program-verification
The application deadline is 20 June.
The start of the position is flexible, preferably in autumn 2024.
For questions about the position, please contact:
Robbert Krebbers
Associate Professor in Computer Science
Radboud University Nijmegen, The Netherlands
robbert AT cs.ru.nl
https://robbertkrebbers.nl
- [Coq-Club] PhD position in program verification at Radboud University Nijmegen, Robbert Krebbers, 05/28/2024
Archive powered by MHonArc 2.6.19+.