<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 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">machine-checked crypto proofs, </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!RAJsVqCQDQlChGLMm7-LNgx57ZUSKNEFILyDSgmFK6pQoj6zIWzgnB7Fs5rIt6UQjI0lIg40t12XfRfFKqd9OapbaM9XXERffTovVj4$" 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!RAJsVqCQDQlChGLMm7-LNgx57ZUSKNEFILyDSgmFK6pQoj6zIWzgnB7Fs5rIt6UQjI0lIg40t12XfRfFKqd9OapbaM9XXERfrRKV568$" 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 2019 and is part of the </span><a href="https://urldefense.com/v3/__https://www.cis.mpg.de/__;!!IBzWLUs!RAJsVqCQDQlChGLMm7-LNgx57ZUSKNEFILyDSgmFK6pQoj6zIWzgnB7Fs5rIt6UQjI0lIg40t12XfRfFKqd9OapbaM9XXERf-OgMUm0$" 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!RAJsVqCQDQlChGLMm7-LNgx57ZUSKNEFILyDSgmFK6pQoj6zIWzgnB7Fs5rIt6UQjI0lIg40t12XfRfFKqd9OapbaM9XXERfUzEEufc$" 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">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 hub. 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_-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>