
Max Planck Institute for Software Systems
@mpi_sws_
We study the principles of efficient, dependable, secure, and usable computing systems.
ID: 1461460850989015040
https://mpi-sws.org 18-11-2021 22:26:45
53 Tweet
725 Followers
266 Following



We are also hiring for multiple positions at the Max Planck Institute for Software Systems (Max Planck Institute for Software Systems) and the other MPIs in CS. We are looking in all areas of CS. The call can be found here: cis.mpg.de/tenure-track-o… Please do not hesitate to reach out if you have questions.

I'm hiring new PhD students! If you're thinking of pursuing a PhD or if you have students who are, check out this page to learn a bit more about what it might be like working with me and my colleagues at Univ. of Maryland and Max Planck Institute for Software Systems! cs.umd.edu/~dml/work-with…

Our first seminar speaker of 2023 is Manuel Gomez-Rodriguez from Max Planck Institute for Software Systems will be speaking about “Improving Decision Making with Machine Learning, Provably", join us here: ellis.eng.cam.ac.uk/cambridge-elli… #AI #machinelearning



Congratulations Anthony Widjaja Lin 🥳🎊

🍻 7 open positions (6 PhD, 1 postdoc) 🍻 Come work with me & my colleagues on human-interpretable neural models Neuroexplicit Models of Language, Vision, Action Unit will grow to 25 by 2025. Positions in Saarbrücken, 4km from France & excellent eclairs 🤌 Apply by May 31. Details: neuroexplicit.org/jobs/


Presenting my last PhD paper at ISSTA Conference in Seattle. Thankyou Felix Stutz for the picture 😊


I'm attending the Cornell-Maryland-Max Planck Pre-doctoral Research School 2023 at Max Planck Institute for Software Systems ! I'll be in Saarbrucken this week and I'm looking to chat with CS researchers! DM #cmmrs2023 cmmrs.mpi-sws.org


I am currently at Max Planck Institute for Software Systems, Saarbrücken for one week! Excited to be a participant in the CMMRS 2023 (and in Europe for the first time)!! 🤩


I had a fantastic time at CMMRS this week! (Hosted at Max Planck Institute for Software Systems) I’m incredibly grateful for this opportunity! As a PL person, it was great to learn about research in other CS areas eg. graph algorithms I also loved being able to meet CS students from all over the world


Hello, World! We are the OS research group Max Planck Institute for Software Systems ! We do systems research for post-Moore era at the intersection of software and hardware and we have an official canine support team! For more information check out our website os.mpi-sws.org


Congratulations Numair Mansur 🥳🥳🥳

Two best paper awards at OSDI for projects using the Rust verification tool Verus! Co-leader of the Verus project Andrea Lattuada (Andrea Lattuada) will be joining Max Planck Institute for Software Systems as a research group leader in September, and is actively looking for strong students & postdocs to work on Verus!

Derek Dreyer Max Planck Institute for Software Systems Thank you Derek Dreyer! I’m very excited to be starting at MPI-SWS in September. If you’re interested in working with me on making verification even more practical with Verus, and on combining SMT solving and Iris-inspired techniques, please reach out! -> andrea.lattuada.me

