Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD positions on ERC project on type systems and separation logic

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD positions on ERC project on type systems and separation logic


Chronological Thread 
  • From: Robbert Krebbers <mail AT robbertkrebbers.nl>
  • To: coq-club <coq-club AT inria.fr>
  • Subject: [Coq-Club] PhD positions on ERC project on type systems and separation logic
  • Date: Tue, 4 Mar 2025 22:32:56 +0100
  • 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 pmg03-out5.zxcs.nl
  • Ironport-data: A9a23:Cfzf7aN1kvY7QFvvrR1Sk8FynXyQoLVcMsEvi/4bfWQNrUpw0T1Vz GUXXW/VbveIN2P9KNwlbY2z8U0Fv5PSz9NiSXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQPNNwJcaDpOtvrY8E835pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGWdSmXo8vJ3KH0UINUl/r4sPW1Ep aYhfWVlghCr34pawZqjT+Y03YEkMdW2epEPsWomyzWx4fQOGMCeBfySuZkDhXFq25wm8fX2P 6L1bRJqZRXESwdIMF0aEo49huqijHTlaHterDp5oIJtujGJlFMgjeOF3Nz9doHTHp4NkE+j5 X/7wXnYITcmL5+H8G/Qmp6rrrSWwHiqAtt6+KeD3vVtmRiYwnEZIAYHUEOy5/i/kE+3HdxFQ 3H44QI2qKdqrwmsU8WgGQ+oq2XCuBp0t8ds//MSsziTzpvT+iKlJHVcczoZM+Aqvp9sfGl/v rOWpO/BCTtqubyTbHuS8LaIsD+/URT5y0dfNEfoqiNYs7HeTJEPs/7Zcjp0OIiR5uAZ9Bnox j/S9205mqlOy9wb3L79+1Svb9OQSnrhEVRdCub/BDjNAuZFiGiNO9PABb/zsakoEWphZgPd1 EXoYuDHhAz0MbmDlTaWXMIGF6yz6vCOPVX02AEzRsF7qWvzoCP+I+i8BQ2Swm80Y67onhe0M CfuVf95uve/wVPwNfMnC25PI55xk8AM6ugJptiPN4cVM8IoHON21DpyZEWQw2HrnwAgkK4+c ZGfGftA/l5EYZmLOAGeHr9HuZdyn3hW7TqKGfjTkU/9uZLAPyH9dFvwGAfVBgzPxP/f+F2Nm zueXuPWoyhivBrWOXOHqdNMfAxVdxDWx/ne8qRqSwJKGSI+cElJNhMb6epJl1VNzvQLxNTbt GqwQFFZw1fZjHjKY1fCIHN6Zb+lGd41oXsnNGZ+dRylyloyU7aJta0/TpoQeaV41epByfUvc eIJVf/dCdtySxPG2Q8nU7/DkKJYei6W2D2+ZxieXGBnfrpLZRD4xdv/Tw6+qAgMFnWWsOU9k Z2B1yTaY4sJHSZjPvb0MPv07VeAuFoZk+RXQkHNPdh3U2fv+bhMNCbeoKIWIcYNCBOb3Rqc9 V+cLik5rNn3gb0e0Yf2l4HeiqnxCMp4PE5RP1eD3IaMLSOAo1aSm95RYtiHbRX2dT3S+pz7Q c530vulEvkMvGgSgrpGC7wxkJ4PvYr+lYR7kDZhMm7ANWmwK7VaJXKD48lDm4tNypJduiq0Q ki/wcZbC5rYJPLaFEMtGyR9YtShzf00nhzg3cYxKmj+5w51++OjemdWNB+ulidcDeVUNKUI/ OQfg/MVujeP0kcSDtW7jy5v5zutKF4EWP4ZrZ00OtLgpTcq7VBgWqbiLBHKzquBUPh2CXlyE ASo3PLDo59+2nv9d2ECECmR/OhF2rULlhN47H4DAFWri9CfpP4F7D8J+G8VSjVQ7BFM1cduM G10NmleB6aHzxF3judtAkGuHABgAkWC20rTklEmqkzQf3OKZEfsclIvGLyo0hgC0mR+ejN7w ump+Fz9W2y3QPCrjzoAZ0F1jtfCE/pzz1Tms+K6FZ2nG5IaX2LUspW2bzBVlyq9UNIDv2yZl +xE5+0qVLbaMxQXqKgFC4W387QcZRSHBW5aS8Fa46I7MjDASQ62xASxBRi9SuFVK9zO1H2IO chkC8ZMdha5jQKljDQQA4wSKL5Vwt8twvc/eY3QGG1XiIvH8wJVs6/R+BPu204tYdFlyvgmJ q3rKjmtL223hFlvoVHrkvVqAGSDTOchWBzdx8GwqeUAKIICurpjcGY0ybqFgE+WOwpGoTOSl h/xdYbE69MzkIhAopbhFKVBDBTpNNnYdf+p9TqruI9kduL/MsbptiIUpGL4Pg9QA6AjZtRvm ZmJs//1xEngvotqY1vGmpKEKbZF1f+yUMVTLMjzCntQxgmGZ+PB/DoB/DqeBaFSsdYA+PSie RS0WPGwefERRd1Z4n9fMApaMhQFDpXIfrXSnjy8o9uMGyoi/1T+dv3/zkDQbEZfaiMsEL/9A FWtu/+Ru/ZpnL4VDxoAX/xbE5t0JWH4YpQfdvrziCK5C1e5iVbTq5rgkhsdsQvwMEemK/qjw 5z5RUnZTi+Q6ZH4lIQT98Q4uxAMF39yjNUhZk9XqZY8lzm+C3VANugHd4kPDpZPiCHpyZXkf 3f3YXA/DTnmFyFxGfkmDA8Pgi/EbgDPBjv4GtDt11uRZH/tQYSdHOYn5Ddr+DFwflMPCQ1hx c42ohXN0tqZm/mFhtr/ItShhu1ty+nGxWgF80rwide0BRJ27XAiyil6BAQUPcDYO5ilqagIT FTZgUheR0uxRFTtEtxtcXRYAgpfujeHI/DEq8uQ6I63hrh3B9GsBBEy1y8fH1HDgAk3yGYye E7K
  • Ironport-hdrordr: A9a23:X1oiiKOqtagoQMBcTv6jsMiBIKoaSvp037BZ7TESdfUzSL39qy nOpoV/6faQslwssR4b9exoVJPgfZq+z/FICOsqUItKNTOO0ACVxepZjbcKrQeQeBEWutQy6Y 5QN4BjFdz9CkV7h87m7AT9M9tI+qjhzJyV
  • Ironport-phdr: A9a23:Z+4KcRc16Udb6TreyOdFe04KlGM++dbLVj580XLHo4xHfqnrxZn+J kuXvawr0ASTG92DoKsc0LKI+4nbGkU+or+580o+OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwbL1sI BmssQndqsYajZZ+Jqs/1hfEo2ZDdvhLy29vOV+ckBHw69uq8pJk7ypepe8q+dRaUaX9caQ4T LhYAyojPmso+sDltgTNQBWW6HcEXWoYjhRHAw7e7BHnRZjxqTf1tvB82CaBI8L7S60/VCm44 KdqTB/ojzoHNyI8/WrKhMF8kL5XrRS8rBF53oXaYpyaNOBmc63ec90VSmROUMZMWSJfHoyyY JACD/YDMOtCs4Xxu0UCoBm4CAKxBO3v0DhIhnru0KMm1OQuChrJ0xI6H9ISrX/aqc/1O7kJX u+u0qbI1y7DZO5R1Df48ofIcxQhrOqWXbJ3asXe0lcgFxnZjlWTs4zqISia2f8TvGiB9OpsT +Svi2o+pgx3vzOgydsihJPTiYIJ1lDL6z95wIAtKNC4SEN2YNCpHZpfuiyYOIV4TN4uTW52t Ss+xbMLupy2cDUXxJg52hPRZPKJf5aJ7xztV+ucJSl1iGxldb6iiBi/91WrxOP7VsmxyllKr yxFn8HWtnAKzBPc8daISuFh/keiwzaAyRvc5fpaLkAujqrXMZghwro2m5EOskrDBjf7lFj1g aKWbEko5/Sk5uv9brjou5OQLZF4hwHxP6koh8eyH+A4MhUVX2iH5+u8zqDt/Uz4QbpUlvA6j q/Uu43AK8sBvK62GQpV354j6xmhCzem18wVnWECLFJKZB6KgZHlO1bTIPDkDfqzmVWtkTh3y PDdJLHhBJHNImDCkLfnY7l991ZRxBcwwN1f/Z5YF60NLf3pVkL/qdDUFAE1Pgy7zur/DdVyz IIeWWaBAq+DN6PStEeF5uc1LOmNYI8Yoyz9K/8+6PH1k3A5g0Mdfaqz3ZQJc3+3BeppI1+CY Xb2hNcBFX8GvgwlQ+Pykl2NTSZTZ2quX6I7/jw3FZqqDZ3fSYC1nLyBwCC7E4VKaWBBE1CAC Gvnd4GZW/gXcy+SOc9gkjkcVbe7UYMh1BeutBX7y7V9NObU9DcY5trf041+4PSWnhUv/3QgB MOElmqJUmtcn2USRjZw0rop8mJnzVLW669yifFCCZRw/f5DWAogLtaIyuV7D/joXQjLc82VS 0yrSN+rGyp3SNZnkIxGWFp0B9j31kOL5CGtGbJAz9RjZbQx+6PYhT3qItpljmzB3+8nhkUnR c1GMSungLR+/k7dHd2BiF2XwoCtc6lUxyvR7CGb12PbuUhZVCZqVq/PUGoDZVHbp970/FiES bv9Qa8/PF55wNWZYrBPdsWviFxHQPn5P9GLZmuwn0+qAhyCy6mQb5DncW8Qxj6bDkxX2xsL8 yOgMg4zTjykv3qYDDFqEgf3ZFjw9OBltH6hZlcxwFnRKkp8y+fz6A4enrqaT5v/x5oivyEs4 3VxFVe5hZfNDsaY4hBmd+NaaM8851FO0STYsRZ8N9quNfIqgFlWaAlxs070snc/Qoxdjcgnq m8rxwtuOOqZ1l1GbTaRwZH3PPXeNGDz+Bmlb6Oe1EvZ1Z6a/aIG6fJwrFuG3knhE0Mj91191 NNf3mGA5Y/HBgAfS4m3VEJ2vxl2qrfGYzUsspvO3C4JU+H8uTvD1tQ1Qeo9n0/wIpEGaP/CT 1a0SZBGVK3MYKQwllOkbwwJJrVX/a8wZYa9cueenbSsN6BmlS6nimJO5MZ81FiN/mxyUL2tv d5NzveG0w+ATzq5gk2mt5W9nIlFYRkIGWC1xDL4B5RcbKd/Z51ND2PkcKjVjp1uwoXgXXJV7 gvpAloH3OezfhCYYkbh3hdd304au2fhny/ynFkW23k566GY2iLJ2eHrchEKb3VKSGdVhlDpO YGojtoeUSBEdiARnQC+rQb/zqlf/uFkKnXLBF1PdG7wJn1jVa25svyDZdRO4dUmq3cfXOO5a FGcArnzxnlSmybqHm923jcxfTywppbjkhZwhXiGanB35HbUYsB/wx7D6ceUHK4MmGNeGG8j0 H+NWwT0NsLMn53cj5rZt+GiS2+tHoZedyXm18LItSe243FrHQzqmvmyntP9Fg1ptE2zn9JuV CjOsFP9etyyh/n8aLo7OBIxQgWht5kfeMk2iIY7iZAO1GJPg5yU+SBCimLvKZBB3qm4anMRR DkNytqT4Q7/2UQlIGjaouCxHnib3MZlYMG3J20M3SdopcVDCaO89rtOlyZvvlmioAjbbOJm2 DEZg6hLijZSk6QStQwhwz/ISLUbHE1wJyvmnRmS89Okoa9daXy0N760nhkb/5jpHPSJpQdSX 2z8c5EpEHpr78lxB1nL1WX69oDufNSDJcJWrBCflA3MyvREMJ9k3ORfnjJpYCiu2B9tg/5+l xFl2ou2+ZSKO3k4trzsGQZWb3X0f59Bo2Gwy/wExoDPgNrpRMkxUjQTAMmxHa/uSWpO86+/c V/eTlhe4j+aAeaNRF/Crh089zSWTMrtbS3GbHgBkYc7FETbfRQDxltMGmxqwdY4Dlz4nZy8N h4hunZLthih+kspqKogNgGjAD6P+UHxMmtyEsjZdUsIpgBauxWMYZHYt7ovWXoAuMf99ESMM jDJPlQVSzhRBgrfXxa5YuDLh5GI8vDEVLPucr2UO+3I8LMEEa3Vndquytc0pmbRcJ/VZj87U Kd9gBcaFXFhR5aAy2hJEnRL0XmVKZfE/XLesmV2tpztqaS2Hlu3uc3VW/0IbY0n+gjq0/7Ta qjK3n4/cGkCkMlQnjfJ0ORNhQ5PzXs0L3/0Tu5G73KXKcCY0q5PU0xCO341bZMUqfllmFMQZ Ybako2njLcg0KxvBlwdBwWzyM+naMVvQSn1NUuZVhyCbOrUfzDAm5OuM/GyR7BaxORM6U/qs G7FQRXuNWzRzmvgBUKhP+xF6UPTdB1G5tPne04zWzLuR4q0M0+yYo15gzA8ibws2CGQPDZCY 2JxeBsf9++av3FWjPh2fg4Jpnt9c7vekn7HvbPVIc5E6KlhUHZ6me9QqHUilekP5XkaFqZ4k 3OA94w8rV+rw4ztgnJmSEQc8D8T2tDRsE46a/yL/8sSV3jJrVoM9TvCUR1S+Yk/B9a36fkCw Iqdmqz+eVIgu5rV5ZVOXcGMdpDdPXF5Y0O7E2yGAgUIHHbuPGXbzSSxidm08XuY5tg/o5now t8VT6NDEUYyHbUcA1hkG9oLJNF2WCklmPiVlpxA4332txTXSMhA2/KPHvuPHfXiLiqYhrhYd lMJx73/N4EaKoz83QRrdFB7mI3AH0eYU8pKp2VtaQo9oUMF93YbLCV7w0X+dgak+2MeD9asm xFu0U55fPhwsiX86ExxIF6L7Co8nU8tmMn01DCcdDmiScX4FYpSCifyqw0wKsaiE1szNFXu2 xc9cm2ZG+E07fMob21ghQ7CtIEaHPddSfcBexoM3bSNYP5u111AqyKhzEsB5O3fCJIkmhF5F Pzk539GxQ9na8Y4YKLKI68chF1Zh6ampCii3O0r3AwEKkwH/XmJPigM8h9tVPFuN2+z8+pg5 BbX0SNEY3QJXuE2r+hC7kYyY7/FyD/8jvhROkuqceqbZfD82SCIhYuDRVU+0VkNnk9O8O1t0 MstREGTUlgm0LqbExlh3SvqMQRaN5EX82XPIGCcoe7Wh5Rxbd3V/gXAV+iEvqsOnkG+EQwjE p4XqMIFTMHEOK7wN8DtJrMf1RY36Q7hKU+eSvJNKkvjrQ==
  • Ironport-sdr: 67c7718b_R7lNrJNIcPt2uPZP4V0C1+u4VVaL/KhvL39Z7OvybbEhYXR /ruGc/3GPct0dZS1r6TzLeBJp4msfDMDJhUIE5Q==

(Please forward this mail to any good students you might know!)

Dear all,

I am looking for two strong PhD candidates for my ERC Consolidator project "Developing Correct Concurrent Software Using Types" (COCONUT), see https://robbertkrebbers.nl/coconut.html for more information.

I am looking for candidates who want to work in the intersection of programming language theory, formal verification, and proof assistants. A master's degree in computer science, mathematics, or a related field is required. There is no need to have prior experience with Rocq or Iris (although that would be appreciated).

Please contact <robbert AT cs.ru.nl> to submit an application, or if you want to learn more about the project.

In your application email please include: (1) a description of why and in which parts of the project you are interested, (2) a description of your prior experience, (3) your CV, (4) contacts for recommendation letters, and (5) if possible, a copy of your master's thesis (do not hesitate to apply if your master's thesis is not finished yet).

The starting dates are flexible (they should be before 1 April 2026). I will therefore review applications on a rolling basis without a fixed application deadline. But if you want to make sure the positions are still open, please apply before **6 April**.

Best regards,

Robbert Krebbers
Associate Professor in Computer Science
Radboud University Nijmegen, The Netherlands
robbert AT cs.ru.nl
https://robbertkrebbers.nl



  • [Coq-Club] PhD positions on ERC project on type systems and separation logic, Robbert Krebbers, 03/04/2025

Archive powered by MHonArc 2.6.19+.

Top of Page