The Max Planck Institute for Cyber Security and Privacy was founded in May 2019. The institute’s mission is to study and develop the technical foundations and interdisciplinary aspects of cybersecurity and privacy. The institute seeks impact through publications, artifacts, and personnel, and serves as a center of excellence for basic research and for the training of the next generation of scientific leaders in cybersecurity and privacy.
More specifically, the vision of the institute is to:
The institute is located in Bochum, in the the Ruhr Area. The area is Germany’s largest academic hub, and an epicenter of innovation in the security and privacy landscape.
Gilles Barthe received a Ph.D. in Mathematics from the University of Manchester, UK, in 1993, and a Habilitation à diriger les recherches in Computer Science from the University of Nice, France, in 2004.
He has served as the scientific coordinator of the European FP6 FET integrated project "MOBIUS: Mobility, Ubiquity and Security" for enabling proof-carrying code for Java on mobile devices (2005-2009), and as the Principal Investigator of many national projects.
He has served as PC (co-)chair of several conferences including VMCAI, and ESOP and been a PC member of numerous conferences, including CCS, CRYPTO, CSF, EUROCRYPT, ESORICS, FM, ICALP, LICS, POPL, and S&P. He is a member of the editorial boards of the Journal of Automated Reasoning, of the Journal of Computer Security, and of Transactions on Dependable and Secure Computing.
His research interests include programming languages and program verification, software and system security, cryptography, formal methods and foundations of mathematics and computer science. His current research focuses on building foundations and tools for verifying cryptographic constructions and differentially private computations. He was awarded Best/Distinguished Paper Awards at CRYPTO 2011, PPoPP 2013, FSE 2016, and CSF 2018. He was an invited speaker at numerous venues, including EUROCRYPT'17, CAV'16, IJCAR'16, AsiaCrypt'15, CSF'14, ETAPS'13, QEST'13, ESORICS'12, ITP'12, and SAS'12.
Christof Paar is a scientific director at the Max Planck Institute for Cyber Security and Privacy, Bochum, Germany, and affiliated professor at the University of Massachusetts Amherst. His research lies in the area of embedded security. His group is currently working on hardware Trojans, technical and cognitive aspects of (hardware) reverse engineering, physical layer security and the security of cyber-physical systems. He is one of the spokespersons of the Excellence Cluster CASA - Cyber Security in the Age of Large-Scale Adversaries.
Prior to joining the MPI, Christof was with the Ruhr University Bochum (2001-2019) and WPI in Massachusetts (1995-2001). He spent the academic years 2008/09 and 2014 - 2016 as a research professor at UMass Amherst. He received a Ph.D. in engineering from the Institute for Experimental Mathematics at the University of Essen in 1994.
Cătălin Hrițcu will join the new Max Planck Institute for Cyber Security and Privacy (MPI-SP) as a tenured faculty member on 1 May 2020. He is particularly interested in security foundations (secure compilation, compartmentalization, memory safety, security protocols, information flow), programming languages (program verification, proof assistants, dependent types, formal semantics, mechanized metatheory, property-based testing), and the design and verification of secure systems (reference monitors, secure compilation chains, tagged architectures). He was awarded an ERC Starting Grant on formally secure compilation and is also actively involved in the design of the F* verification system.
Our Junior Research Group program offers young scientists the opportunity to develop their own independent research program. We welcome applicants from all areas of security and privacy, including foundations, cryptography, software and hardware security, as well as human and other interdisciplinary aspects (e.g., computer science and psychology, economy, law, policy, ethics, etc). The position is funded for 5 years. Applicants must have completed a doctoral degree in computer science or related areas and must have demonstrated outstanding research vision, and potential to successfully lead a research group. Successful candidates are expected to build a highly visible research agenda, to mentor Ph.D. students, and to participate in collaborative projects.
The Max Planck Institute for Security and Privacy (https://www.mpi-sp.org) is located in Bochum, Germany. We maintain an open, international, and diverse work environment and seek applications from outstanding researchers regardless of national origin. Our working language is English. We collaborate with several major research institutions worldwide and have high international visibility. We offer competitive salaries and support for Ph.D. students, as well as generous travel, administrative, and technical support.
The Max Planck Society wishes to increase the number of women in those areas where they are underrepresented. Women are therefore explicitly encouraged to apply. The Max Planck Society is also committed to increasing the number of employees with severe disabilities in its workforce. Applications from persons with severe disabilities are expressly desired.
Please apply at https://apply.cis.mpg.de/register/mpispjrgl. You need to send your CV, a research plan, an optional teaching statement, and 3-5 references. Reviewing of applications will start immediately and will continue until the positions are filled. The expected starting date for the position is Fall 2020, open to negotiations. Informal inquiries can be addressed to email@example.com.