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).
#The rust belt software#
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".
#The rust belt how to#
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.