coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Ralf Jung <research AT ralfj.de>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] PhD position at ETH Zurich in formal semantics and verification
- Date: Wed, 18 Dec 2024 13:50:22 +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:Yxccc6z9GJ2lRTjWdxx6t+dVwirEfRIJ4+MujC+fZmUNrF6WrkUCx 2FKCDqAOKvZNGejL9knaYzloExV6sPQnNMxQFM6rFhgHilAwSbnLYTAfx2oZ0t+DeWaERk5t 51GAjXkBJppJpMJjk71atANlVEliefSAOCU5NfsYkhZXRVjRDoqlSVtkus4hp8AqdWiCmthg /uryyHkEAHjgmQc3l48sfrZ9Eo15aSq4Vv0g3RnDRx1lA+G/5UqJMlHTU2BByOQapVZGOe8W 9HCwNmRlo8O10pF5nuNy94XQ2VSKlLgFVDmZkl+B8BOtiN/Shkaic7XAhazhXB/0F1ll/gpo DlEWAfZpQ0BZsUgk8xFO/VU/r0X0QSrN9YrLFDm2fF/wXEqfFPjwtlCLlEnbLEqueRVHCJXq t1ENW00O0Xra+KemNpXS8F2w9wqN9LmJp1ZoHhkwzOfAftOrZLrGv2bo4UDhHFq3Z4ITKu2i 8kxMVKDaDzabgZCM00cCLokleOmhD/zflW0rXrM9PtnuDmDnVcZPL7FEejnUJuBG+9upHmS/ kvb0l+iIzhEDYnKodaC2inw2LSWx3qTtJgpPLa/77thhECZ7ncCDQUfE1q9u/iwzECkM++zM GQOvzIntrM/7lLtVND5UR/+rHPsUgMgt8R4HOwWxCOd2/vo0UWbJHVHV2FgNMF7jZpjLdA17 WNlj+8FFBQ27+bJFCjGrOfExQ5eLxT5OkcuSEc5oeo5DzrL+tlbYurnFIoLLUJMpoSd9PGZ6 2niQNICr7sSl9UX8K6w4ErKhTmhzrCQEVVpuluPBTr5sVkiDGJAW2BOwQWAhRqnBNvIJmRtQ FBfypT2AB0mVMHUy3LlrBslRej3vZ5pzwEwcXY0Q8d6rm70k5JSVYlb/DBgKQ8weskBcz+BX aMgkV452XKSVVP0BZJKj3WZUZx2l/CwTIW9Bpg5rLNmO/BMSeNOxwk2DWb44ownuBFEfXgXa MnFI/W/R20XE7pmxzeQTuIQm+1jjCMnyG+ZAdixwx272PDMLDSYWJUUAmuoN+oZ1aKjpBmK0 tB9M8DR9Q5TftejaQbq8KkSD2swE14FOb7Mpfd6TNWzejhdJDl5Ctv6468QRIh+rqEEysbK5 i6cX2Fb+nrehFrGCxS7VWBmYbKyXqREjGkaOBY0Ng2CwEkTYoeI7YYeeaAofLIhyvdR8P5sQ 9QBeOSCGv5qSAmbyw8CbJL4kpNuRC6riS2KISChRjo1JLxkeCDk5f7meVHJ2BQVLy/qq/Y7n aKs5jnbTbUHWQ5mKsTcM9Cr7lGpuEkiiPBAZFTJLvZTaXfT3tBTcQKptcAOIuYINRnn7RmZ3 VzPAR4n+M/8k7Vs+9zN3a25v4OlFtVlJXVjHk7Z0K2XMBfL9W/y0K5CV+e1JQrmbl3Ww5n7R +tpzKDbCsYlzXJqqIt3Foh5wZ0uv+XPo6Bo9SU6PXHpQWnyNJZeDCio4c19uJdJ5Idlgiqte 0fW+tBlKbSDY8zkN1gKJTsaVOeI1NBKuz/w7f4aElze4RVz3buYUHd9OwuHpzxdIYBUbqIk4 7YFk+wH5zOvjiEFNo69sRlV0GCXP1o8U6kDnbMLMr/B0wYE5AlLXs3BN3XQ/pqKVeRpDmArB T2l3Iz5mLVWwxv5QUoZTHTi87JUusUThUps0lQHGlWun+jFjN8R2Dl602w+biZR/yV9/9NDA EpZHGwrGvzW5BZtvtZJYE60EQIYBBG5xF34+2FUqELnFXuXRk7/B0xjH92S/XIp0XNWJRla2 7C69FzLcxjXeOPJ4y9jfnI99tLCS4Rq+xzgifKXOZ2PP6MHbArPho6sYms1qCXbP/4huX2fp cdW0bZxTYbZKR8vp7YKDtjG9LYIFzGBCm9wYdBg26IrDEXsUjG5gh6KIEaAZ8hICef49EilO eNTJ+ZkdRe35ACRpB81WI8OJL5VmqYyxdwgI7nEG08Pg4G9nBFI7q3C0zfYhXA6ZeluneIWC JLjRxjbHkO+3XJrynLw9u9aMW+GUPw4TQzb3tHt1t4WFpgG4dpeQWtr3pSa53yqYRZapTSKt wb+ZojT/exo6aJou6DOSqxjJQGFGenfZdSy0jKYkopxNIvUEML0qQkqhEHtPF1WMZsvSt1Hr +mxn+Ct7nzVnoQdcj7/oIaAJZlr9M/pfetwM+DLFld4sxaGevfR50okxzjlB71Pyd9T35zyD U/wIs69bsUcVNph1WVYIXoWWQoUD6PsKLzsv2WhpvCLEQIQyhHDMMjhz3LycGVHbWUdDvUS0 OMvVyqGvbi0bbigBSPow9l8RodxO0TuQ7VgbdT1uzveAmTAbpaqpO75jRR5gd3UIiDsLSo4y cutqtvCmNCaoqjMwtMfv4EaUtg/EiNmmedpFq4C04cett15ZVLq6cwHOJEICNdYn0QeEX0+i C7lNAMfNMk2YdiIndgQLjgussdzy9Hi4uvEGwE=
- Ironport-hdrordr: A9a23:igOJDaBSrbytHUflHem755DYdb4zR+YMi2TDpHoRdfUzSL39qy nOpoV/6faQslwssR4b9exoVJPwIk80lqQb3WByB9qftWDd0QPCEGgI1/qB/9SPIU3DH6Jmu5 tdTw==
- Ironport-phdr: A9a23:AFwUZxBKw2G6Ydm4oRXkUyQU8kgY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua40yg6ZFtmBo7Ic0qyK6PimATRBqb+681k8M7V0FCU5wf0MmAIhBMPXQWbaF9XNKxIAI cJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3OgV6PPn6FZDPhMqrye+y54fTYwJVjzahfL9+N hq7oAvMusUMhYZvKak9xxTXrnBVf+ha2X5kKUickhvy+su85oJv/zhVt/k868NOTKL2crg3Q rBfEDkoKWc56tH1uxLeVwWP/HwcUmsXkhpMHQfI6QzxU4nyvCXnqOdzwTGWMsLqQ786XzSi9 LprRwTziCgbLT458XrYhdJ2galGvR+uvR1/w4rTYIGIKPpze77WcN0GSWZdWMtaSipMCZ6+Y YQSFeoMJeVWoYfyqFQAsxWwBRSiC//gxDJTmn/737c33/g9HQ3Y3gEtGc8FvnTOrNXyMacfS fy7w7PMzTXNcvhY3Sr96I7Hchs8pvyMR6x/cdHPxkY1DQPKklWQpJf/PzyP0uQNvWqb4/B9W u2xkmMqrRx6rTezyMk2kIbJmp4VxU7e9SV/2Is7K8O0RUB4bNO5FJZdsz2XOol4TM4+Xm1lp Sg0x74atZO7YiUEyIgqyhzBZvGabYSF/w/vWfiVLDp7hn9oer2xihCv+kauze38U9O70FdMr iddjNbMqnAN1h3J5sebSvtx5l2h1iyL1wDd6OFIO107mrTdJpU8wbAwjoIevVnfEiLygkn6k qGbelk+9uS25enqY6/qq5ucOoNslA3yLrgiltG6DOk5MAUBQ22W9fmg2LL94UL0RbVHg/81n 6TWtZ3XJtgXqrKlDwJQ14su6BSyAjG729kGmXkHMUlFeA6ZgIjzJl/OIfH5Aumnjliwljpg2 urIMaf7AprXK3jOiLfhcqh5605b0Acz18lT54pOBbEaO/L8RFXxtMLCAh8jKQO0x+jnCNdn2 owDR22DGq6ZMKXMvl+U/u8jPvWAaYsPtDrjJfUp++TigWE3lFIcZ6Wk2ZsaZGi9Hvt8IkWZZ XTsgs0GEWcPpgc+VvLliEacXjFJfXa9Q6I86yohCI28CYfDSIKtjKac0yilBpFWYHtJBUiWE Xj0b4WER+sMaCWKL8N8ijAET6SuS5c91RGysw/306ZoLu3N+iEBqZ3j0MV16PbImBEp9T10C tyd3HuXQ2F1mGMIXT4207plrUxz0FfQmZR/1vdfDJlY4+5DGlMxMoeZxOhnAfjzXBjAd5GHU gD1bM+hBGQLR9Y/i/0TZUk1T8+vlR3KxSGqK6Uck7KJQpA5pPGPl0PtLtpwni6VnJIqiEMrF 5Mn3QyOg6d+81KWHIvViwCDkK3sc60A3SnL/WPFzGyUvUgeXhQjGb7dUyU5YU3b5c/8+luEV 6WnXK4qKQZI08WCArFDbtPry1lLF7/4INqLW2uqgC+rAAqQgLaFbY7kYWIYiT/QE0UNiQsT1 WyPMQY8QCus8CrFFDI7LVv0eAv39PVm7nO2Skhh1waRc0hozKa44DYPwOSVUOgexKxCoi4lp TcyEFvVM8v+Ld2GqkIheaxdZYl4+1JbzSfDsAc7OJW8Lqdkj1pYcgJtvkqo2Q8lQoNH2dMnq n8n1m8QYeqRzU9BejWE3JvxJqyfK2/8+wqqYrLX3VeW2cif+6MG4vA141v5uwThGk0n+nRhm 95bthnUro/HFwcbS5nxelw+8xZ44b3XI2E8647SyXxwIPysqDaRk9ktBeYj1lOhZ4IGaPLCT lSqVZdBWY7/db9P+RDhdB8PMeFM+bRhOsqnc6HDw6u3JKN6mzngi21b4Yd720bK9ixmS+eO0 YxWppPQlgaBSTr4i0+s987tnoURLysfBWe20yPkLJRYYqNwO4oGQzTLQYX/1pBlipjhVmQNv kSuHF4PwsSpUQCba1L/mwFdnxdfsTmsni22yCZxmjcio/+E3SDA9O/lcQIOJm9BQGQKYU7EG YGvlJhaWUGpa1Jsjx65/QPgwKMdoq1jLm7VSEMOfi7sLmgkXLHi/raFZsdO7tsvv0A1GKymb EuXQ6T2ozMA2iftHS1SyXg3eiqrtZPwgxFhwDvFfTAp9yKfI5oug0aCrNXHDeZcxD8HWDV1h Vy1ThCnMt+l8M/V35bPv+aiVn6wA5hacC3l14SF52Ow4WxnBwH6nujmw4W2V1JhiWmhjIcsB HibyXS0KpPm3Km7L+99K0xhBVumrtF/Bpk7iIw7wpcZxXkdgJyRu3sBi2b6d9tBisecJDIAQ yAGx9nN7U3rwkpmeziTypn0X2+WwuN7bt20YCUa12huiqICQLfR97FCkSZv9xCioBncaOJ2n h8HwP8g6jgWjqta8BpoxSKbDLcIGEBeNiG5jBWE4ee1q6BPbXque7y9hy8c1ZixSauPqQZGV DPla48vSGVuu95nPguGgzXjr5vpc97KYZcPuw2Ixl3e2vNNJst5k+pC0iNjPSiVUWQN8+cgl lQu2Ji7uNLCMGBx5OejBRUeMDTpZsQV8zWrjKBEn8/Q0Zr9VplmHzwKWtPvQ5fKWHoKsu/7M g+VDDAmgm3eAbPEBgKF9gF8pnbBEdanOjmbKWIYwtNrWBSGbBUH0UZOB218xMVnUFH3jMX6F SUxrigc/Fv5tgdBxqpzOh/zX32e7AakZzEoSYSOeRpb6gYRr0zRMMGY8qdyB3QBpszn9lfVb DbAOUIZUDJsOATMHV3oM7iw6MOV9uGZArD7NP7SefCUrucYUf6UxJWp248g/jCWN8zJMGMxa p9zkkdFQ319HNzU3jsVTClC3TjAdMOSvhy80jd+qs69tvjmElGKh8PHG/5JPNNj9grjy7+EL PKVjT1lJCxwzNYUzGTTxaIBmkQbjy9sMTWgW+dl12aFXOfbnalZCAQeYiV4OZ5T7q4y6QJKP NbSltL/0rMrxu5wEVpOUkbt3924fcFfaX/oL0vJXQzYUdbObS2O2cz8ZrmwDKFdnPkB/QPlo i6VSgfmLnzUnj3tHXhH3slWhSWVPlpStdPkGv6IIXLqSNzkLBG2YocfZdwe2/gsj2jROHQCd yJ1d01P6LGdv3owvw==
- Ironport-sdr: 6762c512_R0qLsDWGM+GkDC9kksK/BYB+TK7cYWE466xcS4ovotZ29Jp PAihrQhUWJpRMN0Np8BKEjsfuffq92Cg62sr7+A==
Hi all,
I am looking to hire a new PhD student for my group at ETH Zurich!
We are 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. Some experience with formal methods and PL theory is expected (e.g. from a suitable course); knowledge of interactive theorem provers or Rust is greatly appreciated but not required. Candidates need to have a master's degree.
Interested candidates should email ralf.jung AT inf.ethz.ch. 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. Applications are considered on a rolling basis, so there is no fixed end date for this call, but if you want to be sure the position is still open then please submit your applications until the end of February, 2025.
See <https://plf.inf.ethz.ch/the-group/open-positions.html> for further
information.
Kind regards,
Ralf
--
Website: https://research.ralfj.de
- [Coq-Club] PhD position at ETH Zurich in formal semantics and verification, Ralf Jung, 12/18/2024
Archive powered by MHonArc 2.6.19+.