We are seeking a highly motivated researcher with a research background in formal methods and security. You will contribute to the development of methods for reasoning about timing channels in verified operating system kernels, applied to the seL4 kernel. The University of Melbourne is consistently ranked among the leading universities in the world, we are globally […]