🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Excellent opportunity to get into research. Many of these research internships lead to papers at top tier conferences. In my group at MPI-SWS, two interns (Kimia Noorbakhsh and Luke Wang) got papers at ICML (arxiv.org/abs/2202.01147) and NeurIPS (arxiv.org/abs/2111.07603) in 2022!

The MPI internship program is a great opportunity for students (undergraduate and graduate) to have fun and spend a few months interacting with MPI researchers. Many internships have turned into papers, PhD theses, and longstanding collaborations. Please apply! Deadline: Nov. 1.

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.

Welcome 🤗

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

🎉 Now accepted ICLR 2026 and recognized with a spotlight (top 25% paper)! Led by extraordinary *undergrad* Khai Loong Aw One difficulty with interdisciplinary work is finding the right community that appreciates the work so I feel very thankful for this positive reward signal

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

😁🎉😄🌟#NobelPrize!🙃🙃🙃🙃🙃🙃🙃🙃🙃🙃🙃😊🏆😁#PhysicsNobelPrize2023 for Ferenc Krausz, Max Planck Institute of Quantum Optics! 🎊😃🥰😆🥳😁😃🎉🏅😊🎈😁🥳😄🎊😁🌟😃🥰🏆😁🎉🎇😊🥳😄🌟🎈😁😃🥰🎉🏆😁🎊😊😄🥳🌟🎇😁🥰😃🎉🎈😁🏆😊😄🎊🥳😁🌟😃🥰🎉🏅😁🎈😊🥳😄🎉😁😍😁🎉🎇😊🥳😄🌟🎈🏆

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

Together with Manuel Gomez-Rodriguez, adishs, Krishna Gummadi, Goran Radanovic and Nina Grgić-Hlača, we have multiple open positions postdocs in AI, Computing, and Society at the MPI for Software Systems! Apply by May 13 via the new Max Planck Postdoc Program! mpg.de/en/max-planck-…

I became an ACM Fellow last night. The awards ceremony was 5 hours including dinner (!) but I enjoyed hearing the many awardees. Amusingly, when I walked on stage to accept my diploma, someone yelled out "Yeah, Derek!" I don't know who it was, but I appreciate the shoutout. 🤣