Skip to Content.
Sympa Menu

coq-club - [Coq-Club] PhD positions in program verification and separation logic at ETH Zürich

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] PhD positions in program verification and separation logic at ETH Zürich


Chronological Thread 
  • From: Ralf Jung <research AT ralfj.de>
  • To: coq-club AT inria.fr
  • Subject: [Coq-Club] PhD positions in program verification and separation logic at ETH Zürich
  • Date: Tue, 15 Nov 2022 21:26:37 +0100
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=research AT ralfj.de; spf=Pass smtp.mailfrom=research AT ralfj.de; spf=Pass smtp.helo=postmaster AT r-passerv.ralfj.de
  • Ironport-data: A9a23:bF0wIaAdrVIYHBVW/1Tnw5YqxClBgxIJ4kV8jS/XYbTApD0ghDJSn WMZWTuHOPiLYTCmLY0gbN6x8UpQv5fSm4BqOVdlrnsFo1Bi+ZOUX4zBRqvTF3rPdZObFBoPA +E2MISowBUcFyeEzvuVGuG96yM6jMlkf5KkYMbcICd9WAR4fykojBNnioYRj5Vh6TSDK1rlV eja/ouOZjdJ5xYuajhOsvva9Us11BjPkGpwUmIWNagjUGD2zCF94KI3fcmZM3b+S49IKe+2L 86rIGaRows1Vz90Yj+Uuu6Tnn8iGtY+DiDS4pZiYJVOtzAZzsAEPgnXA9JHAatfo23hc9mcU 7yhv7ToIesiFvWkdOjwz3C0usyxVEFL0OavHJSxjSCc507ZNF/d+fcpMEQzetwx+N1XUF1j9 tVNfVjhbjjb7w636Kj+UuB3nck5Mo/xNYcRuDdswFk1D95/GcGFGf6So4UDgnFh26iiHt6GD yYdQSBidxnJeRZPEk0eDJw82uul7pX6W2II8w3I+fZpi4TV5CVo/uHfacbFQ4StTNpWw0uJp jLl5WusV3n2M/TGkmbUrSrw7gPVpgvwX5tXH7ml/NZxkViLzyoSDgcXXB21u5GEZlWWQZdHI lcP9zAw67I78EKpCNXwN/GlnJKalh0DHP5hKe991ASIjfv94T25V1QpTRcUPbTKq/QKbTAt0 1aImfbgCjpurKCZRBqhy1uEkd+hEXREdjJZPEfoWSNUuoG6/enfmzqVFo4LLUKjsjHiMR3dq 9xghA80nbQcjcMK0s1XFniY32Lw+fAloiYf7wnaWCea8xlleIOgbYGy5jDmARtoNsOBR0Kas WIa3dKX6O4MS52A/MBsfAnvNOrzjxpmGGeH6bKKI3XG3270k0NPhagKvFlDyL5Ba67puVbBO Sc/Qz956p5JJ2eNZqRqeY+3AMlC5fG+S4S4Da+MNIQeOsMZmOq7EMdGOxf4M4fFzRlErE3DE cbznTuEVCZKVv4PIMSeGLZAuVPU+szO7TqIGcGkl0jPPUu2bXWJSKkIdUCDdP409rjCqwLQm +uzxOPUoyiykYTWPEHqzGLkBQxScSlkW8yq8ZA/myzqClMOJVzNwsT5mdsJE7GJVYwM/gsR1 iHiAh1r2xDkiGfZKA6HTHlmZfm9Fdx8tH83d2hkd1qhx3FpM87l4bY9ZqkHW+At1NVi6vpoE NgDWcGLWcpURhr9pj8yUJjara5ZTiqNuz6gBSSeTQYaQ49BXC3Mo9/tQRvu/nIBDw2xrsoPn Iej3QL6H7sFZhhpI+jEY6iR3l+w4Gksp/J3VkqVIetoWV7N9bJyIHfblc4HIMArKDTCyACF1 g2QPwwqmOnVr6Ix8/jLnaqhva7zN8dfR210R3L665SyPgnkpluT+5dKCru0TGqMRVHK97WHT sQL6fPFadksvktA6qh4GJZVlZMO3cPl/eJm/141DUfwTgqZD517KSO7xuhJjKpGw4FZtSaQW k6i/tp7O62DCPj6EWw+dRYUUeCe6c46wjXiz+w5AEHf1h9F+LCqVUZzPR7VhhdNc5pzEocum tk6tOAstgeQtxsNM/S9tB5yyViiFHI6bvgYhskoO7Oz0gsP4XNeUKPYER7zsc2uac0TE0wEI Q20pavlhpZN93XSdnMySHv/5stGpJE0oBsR5kQzF1eIvdvkh/EMwxxa9wosfDlV1hlq1+FSO HBhEk9IeZW14DZjgfZcU1CWGw1uAAOT/mrzwQArkFL1YlaJVGuXCkEAIseIoV4k9lxDcghh/ L23zHjvVRDodprT2gowQUtUlOzxf+du9wHtmNGVIOrdJsMUOQHau66JYXYEjzDFAslr3U3Om rRMzdZKMKb+MXYdnr0/B4ykzo8vcRGjJlITZdF6/agMI3PQRyHq5xiKNHKKW51sI97kzBaGL vJAd+N1eTaw7iKslgwgJLUtJuZ0lcE55dBZdbLMI3UHgoSlrTFokczx8Ar+jkAZWvFrq8IcK 5zQRR2GAGe/lXtZoE6Tjchma06TQ8gIWx3458+xqN42LpMktPp9V30y3p+fnWSnACE+8z265 Ar8NrLrlcp8woFSrq7QO6RkBTTsD+jsVe6NoTuBg/4XYfzhac7x5h4o8H/5NAFrPJwUadR9t ZKJlPXVhErlnrIHY1r1qqm7NZtixJuNBbJME8fNMnNlszOIW5bs7zs96mmIE8F1v+0H1Pa3Z TmTSZWWRYcZVe4IkTcRI2JbHg0GAqv6Urb4qGnv576QAxwaykrcIMnh6XbtanpBezQVP4HlT DX5oOuq+ssSubEk6MXo3B26K8QQzJ7ftaoamxnZr3yAB3Kzj0mc/KHrkRQirz3GYpVBONiv+ orLH3ASazzr0JwkDvkA22CxgvHTJGx0hecyOE4QkzKzoy7vF3YIdIzxLr1fYqy5UUXOOFXQf jjJYmlkBSiVsfGot/njyIyLYzpzzdDi9js0yvLFMq9Uh+qL6Fu8PYZc
  • Ironport-hdrordr: A9a23:VN/2kq9kOxWI7hTEYPhuk+DPI+orL9Y04lQ7vn2ZOiY0TiX+rb HLoB17726QtN91YhsdcL+7VJVoLUmslqKdgrN/AV7BZmTbUQKTRekI0WKI+UyDJ8SRzI9gPO tbHZRDNA==
  • Ironport-phdr: A9a23:5YmmiBOA7c/CbuOBobAl6nbNBhdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv6kr0AOCBN6Go7Ic0qyK6fumATRBqb+681k6OKRWUBEEjchE1ycBO+WiTXPBEfjxciYhF 95DXlI2t1uyMExSBdqsLwaK+i764jEdAAjwOhRoLerpBIHSk9631+ev8JHPfglEnjWwba19I RmsogjcucYajZZsJ6sx1xDFpmdEd/lMyW5nO16ekQzw6tus8JJm7i9dp+8v+8lcXKvgYq82V 6ZYDDMoM2A04M3kqxzORhaR63UfT2sbjANGDxDK4x/mUJjxtDD6tvdm1ymBIcL2V7E0Vi+84 KptVRTllT0INz898GHQl8xwkKdWqw+vqhBj34LZZpyeOfxjda3fYNwaX3JMUMVfWSNODIyyc YsBAfcdMuhXtIT9u1gDoAGiCQWwCu7iyDlFjWL2060g1OQhFBnL0hA6ENIKvnTfsdH7NLoUU eC60aLFyi/DYO1N2Tjj8ofIaAwuofGXULJqa8XRzUcvFwHfglqNt4PoJjWY3fkCvGaH9eRvT /6vi3I5pAFrpDii3toghpfGiI8RxV7I6Tt1zZgpKdC6R0B2fdGqHYdMuyyZNYZ4TMMvTmFmt is4ybALuJG1cTUKxpop2hPSZfOKfYaO7xn+WuiRJjJ4i2hkeLK5nxu971Sgyu39V8WuzFlKr jJJksPWuXAJ2RzT6NKLReZj8UqnxD2B1BjT5/lZLUwokafXMYAtz7AsmpYJr0jOEC77lF/yg aKWbkko5+ul5uT9brjpppKQLZF4hw//P6g0msGyA+I1ORUUUWeB4+Szzrjj8FX5QLpUiv02l bHUsIrDKcQDvKG5GBRV3Zg56xahFTumys4XnX0JLFJHYh6IkpbmN0nPIPD+E/i/n0yhnCp3y /3CJLHtHJvAImTZnLv/c7tw6lRQxQ4zwNxH4pJbELABIPb9Wk/rs9zYCwc0MxaqzOb8Ftpyz JkeVn6PAqKCKqPdq1uI5uwtI+WWeYAapi7xK/4+6PH2l382hUcdfbW13ZsQcH20A+xqI1+Fb nr0ntcBDWAKsxIiQ+ztkV2OSCJcZ3KvX60n/Tw7E4KnDYLbRo+3mrCB3SG7HodXZm9cEFyMH 23oJM24XKIHbzvXKct8mBQFU6KgQskvz0KArgj/noBuKuSc2DAeutq3ztVu6uTJnhEa7zVwA cbb32zbHDI8pX8BWzJjhPM3mkd60FrWicCQ4tRdHN1XvbZSVxsicITbxKp8AszzXQTIepGIT kynS5OoG2J5Vco/lvkJZUs1ANC+llbbxSP/GbIOmrWRD5wc6KvY0Xq3K8sug23e2vwZhkI9C tBKKXXgg6d+8wbJAIuciUiCmq+wfqQ0xifJ+mXFwWfd9FpAXltIWL7eFWsaelOQrdn94RbaS KSyDL08LgZb4dTHMqJRcdDzkxNcTfPtOpLSbgpdgk+WAhCFjvOJZYvuISAG2TnFTVIDmEYV9 GqHMg43AmGgpXjfBXpgDwCnZUSk6uR4pH6hKy18hwiXc01s0aa08R8JlLSdTf0UxLcNpCYmr X19Al+829vcD9fIqRBmee1QZtY04VEP0my81UQ1JJG7Iql4jV42aQ1zsUGo2xg2QoRMnM42r W87mRJoIPHQ21dAejWEmJHob+SPey+op0jpMfWInACDg7P0su8V5f81qkvuplSsH0smqTB81 sVNlmGb7dPMBRYTVpT4VgA28QJ7rvfUeHpYhcuc2HtyPK2zqjKH1cguAb5v0Bu7ct5FO6OsD gb2Hc9cC8Xke4lI0xC5KwkJOuxf7vt+Jc69evKc066DJu9kkjDggWkNs8htl0mL8SR7UOvB2 Z0IluqZ0gWwXDD5lF69s8rzlOiofBkqF3GkgWjhDY9VPOhpeJoTTH2pKIuxz8l/gJjkXzhZ8 kSiDhUIwp3hdR2XZl37lQpesCZf6Waqgiax1Td0uysgqqSdmiDDi+jvbxsIPGdXSXIq1A+9Z 9Lv15ZABxbuPlVhnQDt/UvgwqlHuKlzSgubCVxFeST7NSAqU6e9sKaDf98a7ZoptStNV+HvK VueS7P7v14by3a6RzoYnmtjMWvx5NOowk8f6irVNnt4oXvHdNslwB7e4IaZXvtNxn8cQyI+j zDLB1+6Nt3v/NOOlp6FvPrtMgDpHpBVbyTvypuN8SWh4mg/SweyhP26gNbnORIz1SH5kdVnH 3atzl60cszw2qK2PPgyNFNlH1L18cF6Mpt3loUywp0dkytSltCe+nwJln32ONNQ1PflbXYDc jUMxsbc/Anv3EAwSxDBj5K8THiWxdFtIsWrem5DkDxo9NhEUe3HpKwBhyZ+pUC06B7cceQo1 ClI0uMgsTYfk6lesQ4phE1xG5gqFFJDdWzpnhWMtZWlqblPIXyoev623VZ/mtaoCPeDpBtdU TD3YMVqESh158R5eFXCtR+7opnjY8XVZMkPuwe8iVLYhvNOJYgv0OADgSRlf27w9XEo0O80i xVy0Iry5dDWbT82pOTjWUAeZ2C9bth2mHmllatEm8eKw42jVo5sHDkGRtqgTP6lFi4TqeWyN wuKF250oXOaFLzDWA6HvR4+/jSVSMjtbSrJYihEnrAADFGHKUdSgR4ZRmA/l589TEWxwdD5N V1+7XYX70L5rR1FzqRpMQP+WyHRvlTNCH98RZ6BIR5R9gwH6V3SNJnU9O9oEihC9Z2JtgWJJ G7dawkCXgRrEgSUQkvuOLWj/4yK6++DGu+3NOfDe52U7PRXTOyF34zpyIJi8TTKOsjFbRwAR 7Urn0FEW35+AcHQnT4CHjcWmyz6ZMmevB6g+ydzo5P34LHxVQno/4fKF6pKPIAl5UWtmanaf b315m4xOXNC25gL33ON1LUPwAtYlXR1bzf0WbEQ/XnESKaa8ke4JwQSby1xcsdFvftUNuhlI 4vDg8ju26RmyOQ8D1lHE1DsyJjBjSkiOWi5OlGBCEvZbNy7
  • Ironport-sdr: 6373f5fe_QdKmLa4jV/Wa/oKTmDw0g5B585L7wXXEgQ3arlQvrh+ZwSm 26qa6gaUAcZoFiRNc7yavdf4f/UGm8hiUmxDDOA==

Hello everyone,

I am offering up to two fully funded PhD positions in my newly founded research group at ETH Zürich. I am looking for strong students that want to do research at the foundations of programming language theory, in program verification and separation logic, with a focus on Rust and Iris. Knowledge of Coq is greatly appreciated. Interested candidates can contact me directly at research AT ralfj.de. Please explain why you are interested in a PhD in this field and what your prior experience is. Also include a CV and possible contacts for recommendation letters.

For more information about ETH Zürich, see https://ethz.ch/en/the-eth-zurich/working-teaching-and-research.html.

Kind regards,
Ralf
https://research.ralfj.de/


  • [Coq-Club] PhD positions in program verification and separation logic at ETH Zürich, Ralf Jung, 11/15/2022

Archive powered by MHonArc 2.6.19+.

Top of Page