The Max Planck Institute for Software Systems

studies the principles of efficient, dependable, secure, and usable computing systems, as well as their interaction with the physical and social context in which they operate.

We conduct foundational research in relevant areas of computer science and beyond, covering theory, empirical analysis, and data-driven investigation. We seek impact through publications, artifacts, and people.

Research Spotlight: Software Engineering for Machine Learning

Paper by MPI-SWS researchers wins both a 2019 Usenix Security Symposium Distinguished Paper Award and the Usenix/Facebook Internet Defense Prize


Research Spotlight: Logic and Learning

January 27, 2020
We help engineers build safe and reliable hardware, software, and cyber-physical systems, using a unique and promising strategy: combining inductive techniques (from the area of machine learning) with deductive techniques (from the area of mathematical logic).

Tenure-track Openings at Max Planck Institutes in Computer Science

October 15, 2019
The Max Planck Institutes for Informatics (Saarbruecken), Software Systems (Saarbruecken and Kaiserslautern), and Security and Privacy (Bochum), invite applications for tenure-track faculty in all areas of computer science. Pending final approval, we expect to fill several positions.

Goran Radanovic joins MPI-SWS

September 16, 2019
Goran Radanovic has joined the institute as a research group leader. His research investigates the design and analysis of systems with intelligent and self-interested agents.

Filip Mazowiecki joins MPI-SWS

September 3, 2019
Filip Mazowiecki has joined the institute as a research group leader. His research focuses on the theoretical analysis of models like Petri nets and weighted automata, working on fundamental questions like reachability and equivalence.

Several Open Positions in the ERC-funded TOROS Project

August 20, 2019
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions.