Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Looking for PostDoc in the Formally Verified Security group at MPI-SP

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-attendees AT mail-infsec.cs.uni-saarland.de
  • Subject: [Coq-Club] Looking for PostDoc in the Formally Verified Security group at MPI-SP
  • Date: Thu, 30 May 2024 12:35:51 +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-pf1-f178.google.com
  • Ironport-data: A9a23:wqfe4KrIEyYTwiaV2YKJLf7yE7peBmK1YRIvgKrLsJaIsI4StFCzt garIBmOaPnYZDfwe9kiO4TlpkoF6peHm4IyTQZlqy1jF3sW9+PIVI+TRqvSF3PLf5ebFCqLz O1HN4KedJhsJpP4jk3wWlQ0hSAkjclkfpKlVKiefHoZqTZMEE8JkQhkl/MynrlmiN24BxLlk d7pqqUzAnf8s9JPGjxSs/LrRC9H5qyo5GtF5QRmP5ingXeH/5UrJMJHTU2OByCgKmVkNrbSb /rOyri/4lTY838FYj9yuuuTnuUiG9Y+DCDW4pZkc/DKbitq+kTe5p0G2M80Mi+7vdkmc+dZk 72hvbToIesg0zaldO41C3G0GAkmVUFKFSOuzdFSfqV/wmWfG0YAzcmCA2kMA6s+xMtYG1py2 vo2CjQUdC6cpsWPlefTpulE3qzPLeHuNYIb/2lulHTXVKl2B5/ERKrO6JlT2zJYasJmR66PI ZpEL2A2NFKZPE0n1lQ/UPrSmM+jj2X2dzxe7lKPpLY8/kDcyQVw1P7mN9+9ltmiFZUOwBjE/ jmuE2LROD8hPobC0DO/wGvzv9HlhwXRR748PejtnhJtqAbOnzRMWUN+uUGAifK+kwu1X89VA 1cF/zIn66k07k2iCNfnNyBUu1aBtx8YHsJeSqg0sV7djKXT5AmdCy4PSTsphMEaWNEefwIM8 GGksMnSORNpnp+RUGij6ZazlGbnUcQKFlMqaSgBRAoDxtDspoAvkx7CJuqP9obl3rUZ/hmgn Fi3QDgCulkFsSIcO0yGEb3vhjutot3RQFdw6FyIDiSq6QR2YIPjbIutgbQ60RqiBNfAJrVil CFb8yR70AzoJc/U/MBqaLtVdIxFH97fbFXhbadHRvHNDQiF9X+5Zpx36zpjPkpvOctsUWa2O RGC5l0Pv8UIbSfCgUpLj2SZW5VCIU/IRYuNaxwoRoMRCnSMXFbbon40PBTAt4wTuBN1zvhgU XtkTSpcJS1HUPw4nWTeqxY13rgsySQzjWLVTtaT8vhU+ev2WZJhcp9caAHmRrlhssus+VyJm /4BbZfi40sEC4XWPHKImbP/2HhRcRDX87it9pQLHgNCSyI6cFwc5wj5m+l+I9E8w/8Ly48lP BiVAydl9bY2vlWfQS3iV5ypQOqHsU9X9CpgZX4fLhyz1mI9YI2iyq4aetFlNfMk7eFvh7o8B fUMZ8zKULwFRyXl6gYtS8D3jLVjUxC32iOIHS6uOwYkc7BaGgfmx97DfynUzhcoMBaZj8UEn uCf5lvpeqZbHwVGJ+TKWc2r1GK07CQ8mvotfk7mIetzWUTL8apsIRPflvUcfsMGc03C4hC41 A+mJwgSiseQgo0y8fjP3bulqaXwGcRAP0NqJUvpxpfoCjv7p02I3p1lfNuTWwzkREfY2fmHd PpE6fPRK9gFlwt6iJV9GLNV0q4O3dvjiLtExABCHn+QTVCUJp5/A3uBz+9dn7Zsw+JHhA6IR U6/wNlWFrGXMsfDElRKBg4EbPyG5M4EiAvp8vU5D0Xr1hBZpIPdfx1pACCNryhBIJ9eEoAvm 74hsfFLzT2PsEMhN9Legx1E82iJEGc7bJwmkZMnG67utBsgzwBTQJ7bCxKu2qq1Vfd3DhAIL AOX1Y34vJYN4mrZcnE2K2rB4voFu7QKpyJx7QEjI3anp4P7o8EZjTxrzCQPbwVKzx94/fp5F Up1OmZUe6if3Tdaq/JSfmKrGgt+KgWT0RXu+VkkiF/bYhKPfTHLJjdsP+yiwV0oqTNAXzlE/ YO3zHTufibqcfrQgAozex9BgN7yQeNh8jbtnJicIP2EOJ0hcx/Js7SLZ1dUmyD4AMg0ulLLl dNq8Ml0d6f/Eywa+I8/NKW3ypUST0qiCFFZYPQ84p4MI37QSAuy1ReKNUq1XMFHfN7O0E2gD v1RNtB9bAu/2AmOvwIkK/Y1eZEsp8EQ5f0GZr/PDkwFueHGrjNW7bThxhKnj2ovG9hTgcIxL 73KTA27E0uSuGB1nlHcp8wVK0u6Ztg5PDfH5t6Xy9lQNZw/s7BLS3oQg5+UpHSeNTV18y2E5 D3jY7Dk9M086IBOsba1LIB9KVSVE/3RWt6M0jiPiPVVTNaWMc7xpwIf8VbmGAJNPIouYdd8l JXTkdv7wHL6uK0SVkbHkaKgDIhM3925B8BMA/L0LV5bvCqMY9Dt6B094FKFKYRFvddex8u/T S66VZeUWfsKfexCnVt5RjN7ERkPL4jWNILbujKbvfCALjM/wD73Boqr2lGxZF4KaxJSHYP1D zHFnsqH5/daid9pLwAFDfQ3OK1ICgbvdoV+fuKgqATCKHejh26Dnb7QlRAAzzXvIVvcGebY5 aP1fDTPRC6Qiorpku4A65dTuycJBklTmeMzJ0IR2+BnggCAUVIpE74vDoUkOLp1zArJy5DKV BPcZjADCAL8fwh+XzfS3dDBZjqbV8syYorXBzpw802tPnL8QMvKBbZ67S5v7ktnYjapnqntN dga/Wa2JRSrhI1gQeEI/PGgnON73bXgy2kV/Vzm2dnHa/rE7W7mCFQ6dOaMacDGLy0JvEDCJ GxwXW4dBU/iFh63HsFndHpYXhoeuVsDCtnugTinmL7iV0ezlYWsC8ET/8n817QCaIIBI7tmq bbfWT6W+27PspAMkfJBhj/q6JOYzdqEG8G7KOnoQgh6c2RcLIg4F5tqoBfjh/3ONOKS/50xW 9VsD7UD6Jy5FX1s
  • Ironport-hdrordr: A9a23:qgKzwKFwtYXWp3P8pLqECseALOsnbusQ8zAXPiBKIiC9vPb2qy nOpoV/6faaslwssR0b9OxofZPgfZq+z+8W3WByB9mftWDd0QOVxcNZjbcKqAeQeBEWg9Qts5 uIBJIOb+EYY2IXsS+D2njdL/8QhOKc6aitiKP3xWpsSwYCUdAa0y5JTj2AC0VzSU1/GZYkGN 6966N81kOdUEVSVd6jDn0JG9LOvMLGj/vdEGQ77gQcmXSzpALt0qfzFxXd5RsFTzZTqI1SiV T4rw==
  • Ironport-phdr: A9a23:N8rksxBr0zle9xvZAjrPUyQUzkoY04WdBeb1wqQuh78GSKm/5ZOqZ BWZua88ygWZAc6BtbptsKn/jePJYS863d65qncMcZhBBVcuqP49uEgeOvODElDxN/XwbiY3T 4xoXV5h+GynYwAOQJ6tL1LdrWev4jEMBx7xKRR6JvjvGo7Vks+7y/2+94fcbglWgDexe61+I Ra5oAneqMUbgJZpJ7osxBfOvnZHdONayH9yK16Ugxjy+Nq78oR58yRXtfIh9spAXrv/cq8lU 7FWDykoPn4s6sHzuhbNUQWA5n0HUmULiRVIGBTK7Av7XpjqrCT3sPd21TSAMs33SbA0Ximi7 7tuRRT1hioLKyI1/WfKgcFrkqlVvAyuqAB+w47MYYGaKvx+fr/GfdgHQWZNR9tdWzBdDo+5a YYACPcPPftDr4nluVQBsQe+CwerBOPq0DBIh3n21rA+3+kuFQzK2QotFM8MvnvJttX4LKgdX +C7wqfL0DvNce9Z1Czn54TUaB0su+2AUa5yfMfX1EIhFxnFjlKVqYH9IT6azPgNvHKf7+phU +Kklmwpqxtwojiz2sgsl5TCi4UJxV/e6SV22oI1Jdy+SEJhYd6kCppQtz2GOItrWc4iTGRot zw7yr0Co5K0YC8KyJE+yhPZdveIfJSG7Aj5W+aNPTd3mmhleLSnihi99UWuxePxW9S33VpXr CdLndbCuH8O2hHX9MSKSOdx81q81TuB1g3f9O5KLF47mKbHK5At3KA8m54dvEnNESL7nlj9g qGRdkUh4Oeo6uLnb63ppp+dK490ihz+Pb80lsy+BuQ0Kg0OX3Ca+eilz73j5Vf1QLJQjv05i qXZtYjaJcsBqqGkHQBZyogi6xe8DzenyNQXg2QILFNfdx6diIjpIV7OLfblBvm8m1ShiClny +zCM7H7AZjALmLPnKn8cbph8UJQ1Qg+wNNZ6plJFLwBJO/zWlTttNPGFB83Lg20wuf5B9hly o8TX3+EDLWDP6PIq1CI4/oiI+mSa48RvzbwM/0l6OTvjX89gFMdZaep0YYOZHC2A/hrIUaUb WDjgtcGFmcKsQ4+Q/LwhFKeVj5TYm6+X6M65j4lFIKrFZnPSpypjbCb3yq2Hodaan5bBlyQC 3vkaoeJVvQUZCKXOMBhkzgEVba7S48m0BGjrBP1xKB7LuXO/i0YtJTj2MJ15+3JlBEy6SB7D 9mG3mGCSmF7hGIIRzss0K9jpkx9z0+P0a5jjPNAD9xc++tJUhsmNZ7b1+F2Fsj+WhjdcdeRV FamXtKmDCktQdI22t8CelpyG9G/jh/YxCeqGL8Ul7mTBJMu6K7c3n7xJ9x8y3nczqUhgUMmE YNzMjiNgbc33AzODcadmEKA0q2uaK403SjX9W7Fw3DY+AlEQRZ9SuDMW3YYe03doPz951jeV Pm1BL08dBZZxMiEbKZGd5mhhk5IAf7/JNnYb2+8gE+1DBeMg7KKYpHncCMWx2PADklBiAka5 3KPMwR4CiryjXjZCWlFHE7mZ0LquclkqW+wUwdgxAiWZklg0fy14B8JjuG0RPYa37ZCsyAk/ WYnVG2h1s7bXoLT7zFqe79RNJZguT+vtErcvg15Zdm7Krx6w0UZa0Jxtl/v0BN+DsNBl9Irp TUk1lk6MrqWhXVGcT7QxpXsIvvPMGCn9xmzYqrX3BfeyteK8bon5/ExqlGltwasRQI563sy6 9BOyDOH44nSSg8bUJb/SEEyohNzu7jeYy9755nVyXZxGaaxuz7GndkuAbht0Q6uKvFYNq7MD wruC4saCsypffQtgESsZwkYMfp68ac1O4a+eaLD1vf0bKBvmzWpiWkB64d4uq6V3wx7TOOAn 5MMwvXDmxCCSy+5l1C59Mb+hYFDYzgWWGu50yntQoBLNOV0es4QBGGiLtfSpJ02joPxW3Ne6 F+oBk8XkM6vdx2IalXh3ApWnU0JqH2jkCG8wnR6iTYs5qaY2SXPxazlen9lciZATXVriVbqZ 4iujswRQWCnagEokF2u4kO7j6lXqaJjLnXCFF9SdnuTTSkqWa+xu7yeJs9Xvclw4GMHDaLmO AjcE+Gt8H54m2v5EmBTxS42bWSvs5T9xFlhjX6FaW10tDzfcN1xwhHW4JrdQ+RQ13wIXnod6 3GfC16iMt2u5djRmY3Et7X0XGu9X5lSd2/r14KcvzaT6mhjABn5lPe20I6Cc0BywWrg2t9mW D+d5h31foDv1qL8MfhmYkJ1LFD54st+XIp5l8Fj4fNYkWhfjZKT830dlG71OtgOwqPyYk0GQ jsTysLU6gzosKF6BkqA3JmxFnCUw886IsK/fntTwSUlqcZDFKaT6rVA2ypzuFux6wzLM7Bxm TIUyP1m73B/4alBswMxxyGcBPYSB0hENjHEmBGB7tT4p6JSLGqiarm/0kNikMvpVunT5FEBH iygItF7Qn84594aUhqEyHDp74D4ZNTcJckesBGZiVaIjuRYLo4wiutfgCNmPWznunh2roxzx Rdq3Jy8oM2GMzA3pPP/UkMebGStIZpMqmKI7+4WhMud0oGxE480HzwKWMCtVve0CHcJsuyhM Q+SETo6o3PdGLzFHAbZ5l01yhCHW52tKXyTI2EUiNt4QxzIbkdWnAkQXTN8noQ4Cgu37MPke UZ9oDsW4xSrz3kEgvItLBT5XmrF8U2jYys9TJmZahpM7x1J+m/aNMWf6qR4GCQSrfjD5ESdb 2ecYQpPF2QAXEeJUkviMreZ7t7F6+GEB+C6IqiGcfCUpOdZTfvN2YO3394s4WOXLsvWdCoHb bVzyg9ZUHt+AcichzgfV3ldiXfWd8DC7Bakpn8s84bmoaytAl6wo9PIUecaMM0zqU7qx/3Yb KjJ2n4/cXEBh/ZujTfJ0ORNggBU0nk0MWHrSfNa7WbMVP6CxPERVUJKLXMrcpMPtfp03xERa 5GBzIqpkOcp1LhtTA4VMD6p0sCxOZ5Vfyfkbg6BXADTc+3YbTzTn5OuOfP6EOIPyrUS71rq4 H6aCxOxZ2vY0WC4C1b3d7kL1X/+XlQWuZnhIEw1WC6zEZS/ME39aJgu0nU32eFm3CqUczNMd 2EtKQUV6eTBpSJA3qclQjIHtCE0a7Le3X7etri9SN5ep/JvBm4ce/tyxnM8xvMV6ShFQKcwg y7Otpt1pEnglOCTyz1hWR4IqzBRhYvNs18wcaPevoJNX3rJ5ndvpS2ZFggKqt15C9bup7EYy 97Bk7j2IStD9NSc9NUVBszdIsaKeHQ7Nh+hFDnRBQoDBTmlUAOXz1Rai+2X/2aJo4ISr5Htn N8WROYeWgVqRrUVDUNqGNFEK5ByH3slnbOdkM8U9C++oR3WF6A49tjMUvOfB+mqKS7M1+EVI UtVh+mhdcJKad2ovi4qIkN3l4nLBUfKCNVEoyk6KxQxvF0I639mCGs6x0PibAqppn4VD/+92 BAs2W4cKawg8inh51AvKx/Eviw1xQM6kMnshTGXNj7rLbu7QKlZDiP1sw46NZaxEGMXJUWi2 FdpMjvJXecbl7x7aWVikxPRo7NKEP9YCLVKOVoenK7HIfov1ltYp2OswkoNto6nQdNy0QAtd 5CrtXdJ3QluOcU0KaLnL61M1lFMh6iKs0dAN8g0yQ4aYl4DqSacIXFY/kMPMbYiKmyj+ek+s WRqfhNMfWENU7whpfc4rivV1MyPyivh1/hILUXjboSi
  • Ironport-sdr: 665856ae_GFbWd3PeHmwFUUxg4ermo/ucYgb3cBYGrOqkiZx6M3nqHsh LrxfqVXigFvuDylie2RMpoZ1u/4bWVdz4SCF35g==

Hello everyone,


A Postdoctoral Researcher position is 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, machine-checked crypto proofs, 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 hub. 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, 05/30/2024

Archive powered by MHonArc 2.6.19+.

Top of Page