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 íntegros, con una intensa labor de investigación y nos comprometemos a responder a los principales desafíos de nuestro tiempo”.

Organización

Universidad de Melbourne

Campo de Investigación

Fecha límite

25 de Febrero de 2020

Lugar

Australia

Requisitos

• Doctorado en Ciencias de la computación o una disciplina relevante
• Experiencia en una o más de las siguientes áreas:
  -verificación de programas (por ejemplo, la lógica Hoare)
  -seguridad en el flujo de información (por ejemplo, no interferencia)
  -probadores de teoremas interactivos (por ejemplo, Isabelle, Coq, etc.)
• Historial de investigaciones de calidad, como lo demuestran las publicaciones de investigación en las principales revistas y conferencias;
• Capacidad de realizar investigaciones independientemente y compromiso con la investigación interdisciplinaria;
• Capacidad para comunicar los conceptos de investigación a públicos técnicos y no técnicos;
  Excelentes habilidades de comunicación escrita y verbal, demostradas por la presentación de los resultados de la investigación en conferencias, foros internos y por la presentación de artículos;
• Excelentes aptitudes interpersonales, incluida la capacidad de interactuar con los interesados internos y externos (personal académico y de apoyo administrativo), de manera cortés y eficaz.
• Capacidad para trabajar de forma independiente y como parte de un equipo;
• Capacidad demostrada para desarrollar conocimientos especializados en materia de investigación para emprender tareas con autonomía;
• Excelente capacidad de pensamiento analítico, de resolución de problemas, de mantenimiento de registros de investigación precisos y de desarrollo de nuevas ideas. Comprensión de los ataques y principios de sincronización y de canal lateral;
• Experiencia en la supervisión de estudiantes universitarios y de posgradoMás información.

Euraxess