The Max Planck Institutes in Computer Science invite applications for tenure-track faculty in all areas of computer science. We expect to fill several positions. Review of applications will begin by December 1st, 2022.
Sandra Kiefer has joined the institute as a research group leader. Her research interests include algorithmic and structural graph theory as well as logic in computer science, with a recent focus on the applicability of tools from these areas to the study of biochemical networks.
Joël Ouaknine was appointed as a Fellow by the Association for Computing Machinery, for his contributions to algorithmic analysis of dynamical systems.
Adish Singla has been awarded an ERC Starting Grant of 1.5 million euros for his project "Machine-Assisted Teaching for Open-Ended Problem Solving: Foundations and Applications".
Ralf Jung's doctoral dissertation on "Understanding and Evolving the Rust Programming Language" has received the ACM Doctoral Dissertation Award Honorable Mention.
In cyber-physical systems research an important challenge is the synthesis of reliable controllers ...
Cyber-Physical Systems (CPS) are technical systems where a large software stack orchestrates the ...