El Departamento de Ciencias de la Computación de la Universidad de Reykjavik invita a presentar solicitudes para tres puestos de profesores a tiempo completo. En la clasificación de Educación Superior del Times para 2021, la Universidad de Reykjavík ocupa el primer lugar junto con otras ocho universidades por el promedio de citaciones por facultad. En […]
Investigador en Seguridad de Sistemas Operativos Verificados en la Universidad de Melbourne
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 […]