-
Formal
Posted 2 months, 2 weeks ago
We're rethinking the computing stack from the ground up for truly elastic, soundly isolated, instantly and globally available execution. We’re building OS interfaces and compilers for low overhead, formally verified isolation without containers…
Locations
REMOTE
-
Max Planck Institute for Software Systems
Posted 6 years, 2 months ago
I am Jonathan Mace, and I am a faculty member at MPI-SWS (my position is equivalent to a US assistant professor). I lead the Cloud Software Systems research group, and I am actively looking for new PhD students to join my group in fall 2019. I am al…
Locations
Saarbrücken, Kaiserslautern, Germany