Max Planck Institute for Software Systems (@mpi_sws_) 's Twitter Profile
Max Planck Institute for Software Systems

@mpi_sws_

We study the principles of efficient, dependable, secure, and usable computing systems.

ID: 1461460850989015040

linkhttps://mpi-sws.org calendar_today18-11-2021 22:26:45

53 Tweet

725 Followers

266 Following

Manuel Gomez-Rodriguez (@autreche) 's Twitter Profile Photo

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!

Derek Dreyer (@herrdreyer) 's Twitter Profile Photo

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.

Antoine Kaufmann (@antoinekau) 's Twitter Profile Photo

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.

Dave Levin (@distributeddave) 's Twitter Profile Photo

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…

CambridgeEllisUnit (@cambridgeellis) 's Twitter Profile Photo

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

Our first seminar speaker of 2023 is <a href="/autreche/">Manuel Gomez-Rodriguez</a> from <a href="/mpi_sws_/">Max Planck Institute for Software Systems</a> will be speaking about “Improving Decision Making with Machine Learning, Provably",  join us here: ellis.eng.cam.ac.uk/cambridge-elli… #AI #machinelearning
Mariya Toneva (@mtoneva1) 's Twitter Profile Photo

🎉 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

Mariya Toneva (@mtoneva1) 's Twitter Profile Photo

🍻 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/

🍻 7 open positions (6 PhD, 1 postdoc) 🍻
Come work with me &amp; my colleagues on human-interpretable neural models <a href="/neuroexplicit/">Neuroexplicit Models of Language, Vision, Action</a> Unit will grow to 25 by 2025.
Positions in Saarbrücken, 4km from France &amp; excellent eclairs 🤌
Apply by May 31.
Details: neuroexplicit.org/jobs/
Krishna Sri Ipsit Mantri (@sriipsit) 's Twitter Profile Photo

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'm attending the Cornell-Maryland-Max Planck Pre-doctoral Research School 2023 at <a href="/mpi_sws_/">Max Planck Institute for Software Systems</a> ! I'll be in Saarbrucken this week and I'm looking to chat with CS researchers! DM #cmmrs2023
cmmrs.mpi-sws.org
Ernest Ng (@ngernest2) 's Twitter Profile Photo

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

I had a fantastic time at CMMRS this week! (Hosted at ⁦<a href="/mpi_sws_/">Max Planck Institute for Software Systems</a>⁩)

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
MPI-SWS Operating Systems Research Group (@osgroupsws) 's Twitter Profile Photo

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

Max Planck Society (@maxplanckpress) 's Twitter Profile Photo

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

Derek Dreyer (@herrdreyer) 's Twitter Profile Photo

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!

Andrea Lattuada (@utaal) 's Twitter Profile Photo

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

Mariya Toneva (@mtoneva1) 's Twitter Profile Photo

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-…

Derek Dreyer (@herrdreyer) 's Twitter Profile Photo

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. 🤣