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 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 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.
The TOROS project, kindly supported by an ERC starting grant, is looking to fill several open PhD and Postdoc positions.
MPI-SWS researchers are investigating what classes of infinite-state programs can be analyzed algorithmically by viewing computer programs abstractly as dynamical systems.
Despite recent advances in natural language processing and generation, communication between humans and ...
In the past, information and knowledge dissemination was relegated to the brick-and-mortar classrooms, newspapers, ...