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.

Derek Dreyer awarded ERC Consolidator Grant

For his project "RustBelt: Logical Foundations for the Future of Safe Systems Programming"

Peter Druschel recognized as a Microsoft Outstanding Collaborator

For numerous contributions to Microsoft Research over the years

News

Multiple Tenure-Track Faculty Openings

October 2016
Applications are invited for tenure-track faculty positions in all areas related to the theory and practice of software systems. To receive full consideration, applications should be received by Dec 15, 2016.

Max Planck Society Seeks Nominations for Scientific Directors

November 2016
The Max Planck Society seeks nominations for scientific directors in several research fields, including Computer Science. Nominations should be received by Dec 12, 2016.

Events