The Systems Research Group is associated with the Department of Computer Science in the School of Computation, Information and Technology (CIT) at the Technical University of Munich (TUM). Prof. Pramod Bhatotia leads the group.

We do systems research. We seek impact through research, publications, teaching, open-source contributions, and people. Please see an overview of our research group: [Presentation]

Openings — We have open positions for PhD and PostDoc!

All PhD positions are paid on TVL-13 (100%) scale, around 55,000-60,000 EURs per year, plus pension, health insurance, and unemployment insurance benefits. We provide an excellent research infrastructure at TUM.

If interested, please contact Prof. Bhatotia with your CV.

Research topics: In general, we are always looking for strong PhD students and Post-docs in the area of computer systems. We cover a broad range of topics, including cloud computing, distributed systems, systems security, operating systems, quantum computing, HW/OS co-design, compilers (LLVM), computer architectures, and formal methods. A few concrete job openings are listed below, but we also have other openings for the above topics!

#1 — Safe Compilation with Google Research: The work involves low-level systems programming, knowledge of formal methods (on memory consistency models), and compilers (LLVM). The initial project would be on the Linux Kernel Memory Model, but the PhD scope is much broader. Ultimately, we want to build various testing tools combining state-of-the-art dynamic and static analysis approaches. The focus is on designing ” practical ” systems, i.e., they can scale to large software systems, such as Linux.

#2 — Trusted Disaggregated Cloud Architecture with Intel Research: The work involves low-level systems and hardware programming, hardware security (OpenTitan), cloud architectures, in particular disaggreated systems, and confidential computing. We aim to design a minimal hardware extension and associated OS/system stack for securely deploying applications in the disaggregated cloud environments. Moreover, we aim to formally verify the OS security protocols.

The following organizations support our research.