Rust belt12/17/2023 ![]() ![]() Of "unsafe" blocks, which enable them to opt out of the type system Restrictive for implementing some low-level data structures.Ĭonsequently, Rust's standard libraries make widespread internal use System prohibits the aliasing of mutable state, but this is too To rule outĭata races and other common programming errors, Rust's core type Investigated, and it is not at all clear that they hold. Unfortunately, none of Rust's safety claims have been formally Software systems that are safe by construction, without having to give Revolutionize systems programming, making it possible to build "ownership-based" type system guaranteeing type safety, memory safety,Īnd data race freedom. Together the low-level flexibility of modern C++ with a strong Rust is a new language developed at Mozilla Research that marries Whereas Java-like languages give programmers safe high-level Low-level control over resource management at the expense of safety, Joseph Tassarotti (Carnegie Mellon University)Ī longstanding question in the design of programming languages is how.Filip Sieczkowski (University of Wrocław).Robbert Krebbers (Delft University of Technology).Jeehoon Kang (Seoul National University).Chung-Kil Hur (Seoul National University).Have generous funds available for members of the RustBelt team to World on work that is directly relevant to the RustBelt project. We are collaborating actively with a number of researchers around the David Swasey (Doctoral Student, now at BedRock Systems).Azalea Raad (Postdoc, now faculty at Imperial College London).Pierre-Marie Pédrot (Postdoc, now researcher at Inria).Ori Lahav (Postdoc, now faculty at Tel Aviv University).Jan-Oliver Kaiser (Doctoral Student, now at BedRock Systems).Jacques-Henri Jourdan (Postdoc, now researcher at CNRS).Viktor Vafeiadis (Faculty Collaborator).Michalis Kokologiannakis (Doctoral Student).Ralf Jung (Doctoral Student, now Postdoc).The RustBelt project benefits from longstanding active collaborations with Deepak Garg (MPI-SWS), Viktor Vafeiadis (MPI-SWS), Lars Birkedal (Aarhus University), Chung-Kil Hur (Seoul National University), Jeehoon Kang (KAIST), Robbert Krebbers (TU Delft), and Joe Tassarotti (Boston College), as well as the many contributors to the Iris project. ![]() Current and former PhD students in the group have included Georg Neis, Beta Ziliani, Scott Kilpatrick, David Swasey, Ralf Jung, Jan-Oliver Kaiser, Hoang-Hai Dang, Marko Doko, Joshua Yanovski, Michael Sammler, and Simon Spies. Current and former postdocs in the group have included Andreas Rossberg (co-designer of WebAssembly), Chung-Kil Hur, Neel Krishnaswami, Aaron Turon (former manager of the Rust project at Mozilla), Jacques-Henri Jourdan, Ori Lahav, Pierre-Marie Pédrot, Azalea Raad, and Rodolphe Lepigre. Strong track record both in terms of publications and people. The Foundations of Programming group, led by Derek Dreyer at MPI-SWS, has a Please note in your application that you are interested in the RustBelt, please send email directly to and also If you are interested in a postdoc or PhD position working on (See here for more details about the graduate program at MPI-SWS). Supervision at the Max Planck Institute for Software Systems The thesis research will be conducted under Dr. A bachelor's or master's degree is required.Įxperience with Rust and/or Coq is a plus. Problems with the potential for direct impact on a real, activelyĭeveloped language. Have at least some background in programming language theory and/orįormal methods, and who are eager to work on deep foundational ![]() PhD student positionsįor the PhD student positions, we are seeking exceptional candidates who Specialized expertise in one or more of the following areas:Įxperience programming in Rust is a welcome bonus, but not required. Quality, but we are particularly interested in candidates who have Programming languages and/or verification. Strong, internationally competitive track record of research in Open positions Postdoctoral positionsįor the postdoc positions, we are seeking exceptional candidates with a Max Planck Institute for Software Systems (MPI-SWS) in Postdoc and PhD student positions supervised by Derek Dreyer at the The project is 5 years long and will include funding for several The project concerns theĭevelopment of rigorous formal foundations for the Rust programming We are very pleased to announce the awarding of a 2015ĮRC Consolidator Grant for the project "RustBelt: Logical Foundationsįor the Future of Safe Systems Programming". See below for information on how to apply. We look forward to continued exploration of Rust, Iris, separation logic, relaxed memory models, and more. The ERC-funded RustBelt project has now formally ended (as of April 2021), but the project continues in spirit, and we continue to seek exceptional candidates for PhD and postdoc positions at MPI-SWS. ![]()
0 Comments
Leave a Reply.AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |