<div dir="ltr"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">Hello everyone,</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">A Postdoctoral Researcher position is still available in my Formally Verified Security group at </span><span style="background-color:transparent;font-family:Arial;color:rgb(0,0,0);font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">the Max Planck Institute for Security and Privacy </span>(MPI-SP<span style="background-color:transparent;font-family:Arial;color:rgb(0,0,0);font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">). 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).</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="background-color:transparent;font-family:Arial;color:rgb(0,0,0);font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline"><br></span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">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. </span><span style="background-color:transparent;font-family:Arial;color:rgb(0,0,0);font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">My research interests include, but are not limited to: </span><span style="color:rgb(0,0,0);font-family:Arial">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, </span><span style="color:rgb(0,0,0);font-family:Arial">noninterference, </span><span style="color:rgb(0,0,0);font-family:Arial">compartmentalization, </span><span style="color:rgb(0,0,0);font-family:Arial">capability machines</span><span style="color:rgb(0,0,0);font-family:Arial">, </span><span style="color:rgb(0,0,0);font-family:Arial">etc. You can find more details here: </span><a href="https://urldefense.com/v3/__https://catalin-hritcu.github.io/__;!!IBzWLUs!TqIE0c_tI3weka3K4KcU1dhQ1sEpNYBcmlBrjdtwiteAzwlzR6SSoFNFi7aqVeITK_DvAOUsu5J1E6-beazpPMlHiujxEatfBtKkaWc$" target="_blank" style="text-decoration-line:none"><span style="font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline">https://catalin-hritcu.github.io</span></a></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><a href="https://urldefense.com/v3/__https://www.mpi-sp.org/__;!!IBzWLUs!TqIE0c_tI3weka3K4KcU1dhQ1sEpNYBcmlBrjdtwiteAzwlzR6SSoFNFi7aqVeITK_DvAOUsu5J1E6-beazpPMlHiujxEatfgSXVEaM$" target="_blank" style="text-decoration-line:none"><span style="font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline">MPI-SP</span></a><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline"> is a relatively new research institute founded in 20<span class="gmail-il">1</span>9 and is part of the </span><a href="https://urldefense.com/v3/__https://www.cis.mpg.de/__;!!IBzWLUs!TqIE0c_tI3weka3K4KcU1dhQ1sEpNYBcmlBrjdtwiteAzwlzR6SSoFNFi7aqVeITK_DvAOUsu5J1E6-beazpPMlHiujxEatfy4SGrsc$" target="_blank" style="text-decoration-line:none"><span style="font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;text-decoration-line:underline;vertical-align:baseline">Computer Science research area of the Max Planck Society</span></a><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">. We are located on the campus of Ruhr University Bochum, in the </span><a href="https://urldefense.com/v3/__https://en.wikipedia.org/wiki/Rhine-Ruhr__;!!IBzWLUs!TqIE0c_tI3weka3K4KcU1dhQ1sEpNYBcmlBrjdtwiteAzwlzR6SSoFNFi7aqVeITK_DvAOUsu5J1E6-beazpPMlHiujxEatfZtNHl4A$" target="_blank" style=""><span style="text-decoration-line:underline;font-family:Arial;background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">Rhein-Ruhr</span></a><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline"> 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.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;font-variant-alternates:normal;vertical-align:baseline">Do not hesitate to contact me if you are interested in this position! (or to forward this to someone who could be interested)</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br><span id="m_5097298620668743646m_-5856941266400927743gmail-docs-internal-guid-7768a036-7fff-01f6-243f-d20641aa00cf"></span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">Kind Regards,</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-family:Arial;color:rgb(0,0,0);background-color:transparent;font-variant-numeric:normal;font-variant-east-asian:normal;vertical-align:baseline">Catalin Hritcu (he/him)</span></p><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt">Tenured Faculty, MPI-SP</p><p style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><br></p></div>