RustBeltUpdate 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. We look forward to continued exploration of Rust, Iris, separation logic, relaxed memory models, and more. See below for information on how to apply. Original announcement We are very pleased
