coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Looking for PostDoc in the Formally Verified Security group at MPI-SP
Chronological Thread
- From: Catalin Hritcu <catalin.hritcu AT gmail.com>
- To: Coq Club <coq-club AT inria.fr>, types-announce AT lists.seas.upenn.edu, csf-announcements AT lists.ieee-security.org, fosad AT cs.unibo.it
- Subject: [Coq-Club] Looking for PostDoc in the Formally Verified Security group at MPI-SP
- Date: Thu, 29 Aug 2024 18:15:44 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=catalin.hritcu AT gmail.com; spf=Pass smtp.mailfrom=catalin.hritcu AT gmail.com; spf=None smtp.helo=postmaster AT mail-pj1-f44.google.com
- Ironport-data: A9a23:lHIewaNAtSvBpFfvrR0Ak8FynXyQoLVcMsEvi/4bfWQNrUohhDJSz TAaUGqPP6ncZ2v9c912PIjj90hT7ZbcmtNhS3M5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/vgqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5OZYQfNNwJcaDpOt/rT8kI35pwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/4iT8sSq9ZeeSUVTv/B/wGXUNH3FmPk/D30zHrY+wrsnGWRv1 fshfWVlghCr34pawZq+Q+how9whdYzlYN9ZtXZnwjXUS/0hRPgvQY2QvY4ejGp23JkQW6qCD yYaQWIHgBDoaBRTM1MWDtQ+hua0jWTXfDhRqVbTrq0yi4TW5F0tgeeyaoKLEjCMbcBZgGynn GDvxX7gPTVGLP220TW01Fv504cjmgugBdtKS+zmnhJwu3WYwXVWAxkLX3OgsPyhgwi/XcheI goa4EITQbMa8UWqSpzlXUT9riLY+BEbXNVUHqsx7wTlJrfoDxixFC8CZ2VNOd8asewNYwR3h keMvvPuPGk62FGKck61+rCRpDK0HCEaK24eeCMJJTfpBfGz8enfaTqfHr5e/L6JszHjJd3nL 9m3QMUWgrwSiYsT1fz+8wybxT2roZfNQ0g+4QC/soOZAuFRNdXNi2+AsAezARN8wGCxEALpU J8sxZL20Qz2JcvR/BFhuc1UdF1T296LMSfHnXlkFIQ7+jKm9haLJN8KvGEgdRY3apxdJlcFh XM/XysBtfe/21P6PcdKj36ZUZ1CIVXITIu1Bq6LNIImjmZZL1TepX00DaJv44wduBNxyPlga MnznTeEAnEdBqBqhDuwTKF17FPY7nFW+I8nfriil07P+ePGOha9EO5ZWHPQNLxRxP3f+239r Y0PX/ZmPj0FD4USlAGModBNRb3LRFBnba3LRzt/KrbfeFQ4QD96V5c8A9oJIuRYokicrc+Ql lnVZ6OS4AOXaaTvcF3QNCJQe/n0UIxhrHk2GyUpMBz6kzIgeIujpuNXPZc+YbBtpqQpwO9WX ss1XZyKIs1ObTDbpBUbT53297J5eDqR2AmhAiuCYRoERaBGeTDnwNHfUzXKyDgvFQuy7Ms3n K2h3FjUQL0FXAVTM/zVY/OOkXK05HgUp/1uVGTPMv1sSR3K29VsIXagiPUYHtw9c0Tf5zqF1 jS5BQUTivnNrrQUrvjIp/GghKW4H9RuGnF1GzHg0o+3Ei3B7E+P8JRlUtvUTQvCVWjxxrquV d9Vw974LvcDulRA6Kh4LJpG0oM84IHJi4JB7wE5AkjOUUunOolgLlaCw8NLkK9HnZ1dmAmuX 3Ow6stoAqqINOzlAWwuClIcNMrb7s4tmx7W8fgRC2f57nUu/LO4DGNjDyPVgylZdLZIIIcpx Nk6g/Ev6iu9twELN+iXhSUF5kWOKX09C58cjK84O7OyqAQXyQBlW6f+WwvW+5CEbutePnY6e gG0gLXwvJUC507gXUdqK13z87t8v7ostipO7mc+HHWSu9+chvYIzBxbqjs2aQJOzyR46eF4O 0k1Fkh5OZSx+yxMge5dVVuNACBEPgWSoWbq+msKlUrYbkimbXPMJ2sDItSw/FgV3mZfXzpD9 pSa9TrBfRP1Wvruhw0edFVAqfPxafBQrCj5h9GBDcCJO7IYcAjVqPaiSkRQoiS2HP5rolPMo Ndb2dpZaIr5EHU1iLI6AYzL7oYgYkmIC0IaSM4w4Z5TO3/XfQyz/j28K0qRXMdpDN6S+G+aD /1eHO5+Zy6c5g2v8A9CXbUtJoVqlsEH/NABI7PnBVAXuoul8wZGjsjiyTjctkQKHfNVjscPG qHAfWmjE0uRp0dutU3jkc1mAle8MP44PFDS/ebt6+gYNYMxgMc1e2EI77aElXG0MgxmwhGqg D3+d5Lml9JF94A9sLbvQ4NiBhq1I+zdTO6n0h6+mPUQYMLtMfXhjRI0qF7mDV4PPbIuRMlGz +WRkd/o3XHquKQ9fHDZlqKgSYhIx5SWd8hGPv3nKEJ1mXO5Z/btxB8Y6kaEJodsgvoEwuWaH y6Dd9qXWfsOftVs1Fl5SnN5LU4GKqLVaqzAm3uMn86UAEJA7T2dfcKVy3D5SEp6KAoaMILaI S3psa+M4tt4ktx9NCUcDas7P64icU7RYop4RdjfrjLCM3KJhGmFsb7clRYNzzHHJ32HMcTi6 6L+WRnMW0WuiZ7M0e1mndR+jj8PAFZ5pNsATEYX1tp1qjK9VUotD+AWN7cYAZB1zA328rzFZ w/2UWhzMhWlAAx4cij97uq6D03bTqYLN8ziLzMkw1KMZm3kTMmcCb9m7WF7720wZjLny/q9J MoD/mHreCK82YxtWf1Z88nTbT2LHR8G7ilgFYHBf83O79I2BLwL0Dl5HlMIW3CbVc7Kk0rPK C4+QmUsrIRXj6LuOZ4IRpKXMEhxUPDTI/EAYiKGwdKZsIKepAGF4OOqIPn9i9Xvc+xTTIPjh hrLq6+l7GWf23hVsqws0z7sbWmYFtrTdvWHwGTfqcH+Uk1+BqnL/y/PoMbXcPwfxQ==
- Ironport-hdrordr: A9a23:DQm6M6HY3qn8TlqepLqE5ceALOsnbusQ8zAXPiFKOHtom6mj/f xG885rtiMc5AxwZJhCo7G90cu7MBHhHPdOiOF7AV7IZniChILHFvAH0WIg+VHd8u/Fm9K1GZ 0OT0G2MrPNMWQ=
- Ironport-phdr: A9a23:04kPYByU5N4TG3nXCzIAw1BlVkEcU1XcAAcZ59Idhq5Udez7ptK+Z xSZvK4xxw6XFazgqNt6yMPu8JrcEVQa5piAtH1QOLdtbDQizfssogo7HcSeAlf6JvO5JwYzH cBFSUM3tyrjaRsdF8nxfUDdrWOv5jAOBBr/KRB1JuPoEYLOksi7ze+/9pPPbwlSmTawb7x/I BqyoAjQq8IbnZZsJqEtxxTGpXdFZ/5YyWR0K1yNgh3y/N2w/Jlt8yRRv/Iu6ctNWrjkcqo7U LJVEi0oP3g668P3uxbDSxCP5mYHXWUNjhVIGQnF4wrkUZr3ryD3q/By2CiePc3xULA0RTGv5 LplRRP0lCsKMSMy/XrJgcJskq1UvBOhpwR+w4HKZoGVKOF+db7Zcd8DWGZNQtpdWylHD4y7c oUPEvEBPf5GoIbhu1sAoxy+BQy2C+PuzD9Dm3v60KI+3ugkFwzNwQ4uEM8UsHnMo9r7NKkcX +OowqfW0TrOdOlZ1Svn5YXSbhwtvfOBULRtesTR00kvEAbFg02OpIP/IzOazOANs2md7+F9V +yvkW8nqx1trTiy28whjZXGiZgJyl/e8SV5wYA1Kce4SE5hYN6kDIdftzyBOot5R8MtWWBou CIgxrIavp67eTEHxZI6zBHQd/KJaZKH4g7/VOmPOzd4gmpodr27ihi9/0Wt1+7xWtS23VhFo SRLndrBu3QT2xHR9sSKV+Zx80mg1DqR2A7e9O5JLVw0m6bFNZIsxrA9m5QcvEnFAyT4lkL2j KqMeUUl/Oil8+vnYrT6pp+cKo97kRvyMqUpmsCnBOQ4KgkOU3GA+eSkzrHj+lf5QLpSgv0zi qnZv4rWKtkFqaKhDQ5V04Uj6xenDzi4zdsYnGMIIEhCeBKdgIjkPUzFLvPgDfqnnVigjDNmy +rFM7DhGJnBMGXPnbb7cbty5ENRzhc4wM5b55JJEbEBPOz8WlXsutzZDx42LRS5z/rhBd5gz I0RQ3iPDbWcMK7KsV+H+OYvI+6UaY8Qojn9Kvwl6+f2jX87hFMRZKep0JQYZXyiEfRmJEKZY XXogtgfC2sFog0+TOnyhF2DVz5ceWqyUroi6j0nDI+qF4TOS4C3jLCfwSu2H4daa29JB1yUF HfnbYSEW/MCaCKIJc9hlyQJWqS7RI89zx6usA76y7x9IurU4C0YtI7j28Ro5+DImhEy8CZ7D 8WZ022XU250mWYISycw3K9kuUN90EuM0bBkg/xEEtxe/+5FXh8gNZHA1+x6F8zyWgXZc9iVT 1amW8yqDi01TtIs2NADeF19GtWnjhDbxSWmGb4Vl7qRBJw16K3QxXbxJ9wug0rBgYImlhENR tZFfTmtgbc6/AzODabIlV+YnuCkb/JYlDLc7GqYiGOIukZFVgV9eaHERmwEIFDbpM+/+1vPS bnoBLg6dkNK0sDHI61MbcDvhlhDSfH/I/zaYnmtgCGxCBuFg6iBZ5fwenkMmiLHBwxMnQcI9 HquPhN4GyGgqWWYDSA9O0joZhbH+PV3rHK9Bm8uzh2BcgU13LOp8xoUg7qcUfIP1a8styIoq jEyF1G4iYGFQ+GcrhZsKf0PKeg2501KgCeE7mSVX7SlJqFm3RsFdhhv+ljpz1NxA5lBls4jq DUryhBzIOSWygAJbCuWiLb3PLCfMWzu5Fa3caeD0VjC2dKX/OEP8vUkoEjLswSgF05k+HJig JFOy3XJ3pzRF0IJVI7pFEM+9hx0vbbfNyI0+4rQ1HsqMbO1rjTf890sDeohjB2neoQXK7uKQ Sn1FcBSHM2yMKoqllyuOwoDJ/xX/bUoMtmOcvKH3OuzPr8lkm76y2tA54953wSH8C8Upvfg+ ZEDzrnY2wKGU2y5l1K9qoXsnpgCYzgOH225wCyiBYhLZ6Q0c5xZQWGpa9a6wNlznfuPEzZR6 UKjClUa2cSoZQvablrz2hdV3FgWpnrvkDWxzjh9mTUk5qSF2ymGz+PnfRsBcmlFIQsqxVzlP YGwjtZcXFKpcwM0vBSg7Ef+gaNcoeU3LmXeR1tJYzmjN3trAc7S/vKJZ89C7o9tsD0CCrztJ wDHDOSk/V1Gj3CGfSMW3j0wejC0t4+smhV7jDnYN3NvtD/Cftk2wx7D5dvaTPoX3zwcRSA+h yOEYzr0d9Sv49iQkI/O9+6kUGf0HJZabSDvzIXGtDG6+WZ3KRK6lvG33NbgFEJptE2zn8kvT ijOoBvmN8Pg3rizNeNhOElyBUP39uJ1H4h/ls07g5Raih14zt2FuHEAl2n0K9BS36nzOWEMS TA8yNnQ+AH52UdnIxpl3qrBX26Giotkbti+OSYN3z4lqttNEOGS5aBFmi18phy5qxjQaL5zh GVVxfwr4X8cy+YH3Whlhi6UHrkWHE8ePTbtix+Vx9+7paRTIm2odPC82VF/ktaoELyZ6lsEC TCpJ9F4RHE2spk3OUmpsjW78oz+fdjMcd8f/gaZlRvNlakdKZ48kOYLmTsyPGv8uXM/zOtox Rdq3Jy8oM2GMzA3pPP/UkMebGSrIZ9PqVSPxe5Ek82b3p6iBMBkEzQPB97zSO6wVSkVrbLhP hqPFzs1rjGaH6DeFEmR8hQDzTqHHpa1OnWQPHRcw89lQUzXL0VDiQQVWnM6hJ8lHR2Cy8noc UM/7TcUrA2dyFME2qdzOh/zX32K7gyhdj4wSZ7ZLABX8gpfz0jQOM2aqOl0GmsLm//p5BzII WudaQNSCGgPUUHRHFHvMI6l4tzY+vSZDO6zfLPeJK+DoutEW7KU1Iqih8F4qi2UOJzFbRwAR 7Urn1BOVndjF4HFliUTHmYJwjnVYZfTpQ/gqHYq6JnuqLKxBF2pvczVV/NTKYk9pUzw2/zYc bfO3GAhbm8Js/FEjX7QlOpBghhL03soL3/1Vu5Y/S/VEPCOxOkNU09dO3s1bIwSt+o9xlUfZ pSd04+zj+8iyKZyUgcgNxSpm9n1N5NWZTjnaRWfQh7MberOJCWXkZivMeXlFuIW3KMM8Efp8 TeDTx26YW/Fzmi1EUjpaaYV0kT5dFRfoN3vKE48Tzi+Cou8Olvjd4YoxTwune9u3y2MaD5aa GkmNRsK9+zY7DsE0K8mRSobtSsjdrPCw2HAvoy6Yt4AuP9vSEyYjsp853I3g/tQ5SBAH7lun TfK68Vpuxegm/WOzTxuVFxPrCxKjcSFpxcqP6KR7ZRGVXvemXBFpWyNFxQHocdkAdzzquhRz NbIjqf6NDZF9Zrd48IdA8HeLM/PPmAmNFLlHzvdDQ1NSjDOVymXn0tGjPSb7WGYtLA/o5no3 YIME/pVCABzGfQdBUBoWtcFJdY/Xz8pl6KakN9d5Xe6q0q0Jo0StZTGW/SORPT3fWzB3P8UO l1SmO2+cdhAU++zk1ZvYVR7gonQTk/ZXNQW5zZkchdxu0JVtn53Umw03UvhLAKr+n4aU/Cuz XtUwkNzZ/og8DD07hI5PF3P8WE7mVU4ndTjxzCLcSL6MY+/WIhXD2z/sE17YfaZC05lKBa/m 0BpLmKOX7VKk75pbnxmkifZsJpLXOZeFOhKPENWyvaQaPEll19br2/0oC0PrfuAApxkmgwwd JeqpH8VwANvYuk+IqnILbZIxFxd7kpvliqh1+R02A1HYkhRrCWdfykHvEFOPb4jdXLAFgNE5 gmLmj8Fc28JBaNCShdC+UY0OuDGxCXlgeYrFw==
- Ironport-sdr: 66d09ed7_yUreB+EVSVnRnkAERrRC5RJtAfAZCNcg/tBEO/Uic2+HMBl L/+3RRr6CUnDTdZPVcfGMx043KDEEwZLwyDV0oQ==
Hello everyone,
A Postdoctoral Researcher position is still available in my Formally Verified Security group at the Max Planck Institute for Security and Privacy (MPI-SP). I am looking for candidates with an excellent research track record and publications at top conferences in programming languages (e.g., POPL and ICFP) and/or security (e.g., CCS and CSF).
Candidates are expected to work collaboratively on topics of joint interest and to help co-advise students, but can also dedicate some of their time to their own independent projects. My research interests include, but are not limited to: formal verification, proof assistants (particularly Coq and F*), type systems, effects, monads, functional programming, parametricity, PL semantics, property-based testing, secure compilation, security against speculative side-channel attacks, noninterference, compartmentalization, capability machines, etc. You can find more details here: https://catalin-hritcu.github.io
MPI-SP is a relatively new research institute founded in 2019 and is part of the Computer Science research area of the Max Planck Society. We are located on the campus of Ruhr University Bochum, in the Rhein-Ruhr metropolitan region of Germany, one of Europe's largest academic hubs. The working language of MPI-SP is English, and no knowledge of German is required for this job.
Do not hesitate to contact me if you are interested in this position! (or to forward this to someone who could be interested)
Kind Regards,
Catalin Hritcu (he/him)
Tenured Faculty, MPI-SP
- [Coq-Club] Looking for PostDoc in the Formally Verified Security group at MPI-SP, Catalin Hritcu, 08/29/2024
Archive powered by MHonArc 2.6.19+.