Buscamos un investigador altamente motivado con experiencia en investigación de los métodos formales y seguridad. Contribuirás al desarrollo de métodos de razonamiento sobre canales de tiempo en los kernels de sistemas operativos verificados, aplicados al kernel seL4. «La Universidad de Melbourne aparece constantemente entre las principales universidades del mundo, estamos comprometidos a nivel mundial, somos […]