• Saltar a la navegación principal
  • Saltar al contenido principal
  • Saltar a la barra lateral principal
  • Saltar al pie de página
  • Facebook
  • Instagram
  • LinkedIn
  • TikTok
  • Twitter
  • YouTube
CDE Almería – Centro de Documentación Europea – Universidad de Almería

CDE Almería - Centro de Documentación Europea - Universidad de Almería

Centro de Documentación Europea de la Universidad de Almería

  • Inicio
  • ACTUALIDAD
    • NOTICIAS UE
    • ACTIVIDADES
    • CONVOCATORIAS Y PREMIOS UE
    • Programa de radio Europa Contigo
    • Boletines CDE
  • DOCUMENTACIÓN
    • FONDO BIBLIOGRÁFICO
      • FONDO DIGITAL CDE ALMERIA
      • BIBLIOTECA UNIVERSIDAD DE ALMERÍA
    • BASES DE DATOS
    • DOCUMENTACIÓN POR TEMAS
    • MEDIATECA UE
      • ESPACIO WEB
      • REPOSITORIO MEDIATECA
    • EUROEXPERTOS
  • EUROPA EN LA RED
    • INSTITUCIONES Y AGENCIAS
    • REPRESENTACIÓN DE LA UE EN ESPAÑA
    • RED DE INFORMACIÓN EUROPEA DE ANDALUCIA
    • DIARIOS DE LA UE
  • CONÓCENOS
    • PRESENTACIÓN
    • LAS PERSONAS
    • CONTACTO
  • Español
  • Inglés

Investigador en Seguridad de Sistemas Operativos Verificados en la Universidad de Melbourne

Inicio » Convocatorias y Premios UE » Investigador en Seguridad de Sistemas Operativos Verificados en la Universidad de Melbourne

7 de febrero de 2020

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

Ciencias de la computació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

Publicaciones relacionadas:

Plaza de profesor en el Departamento de Ciencias de la Computación de la Universidad de Reykjavik HORIZONTE EUROPA: Mejora de la seguridad en el hardware de código abierto para los dispositivos conectados HORIZONTE EUROPA: Navegación más segura y lucha contra los incendios en los buques portacontenedores Worldpackers Prácticas Schuman en el Parlamento Europeo

«Este es un espacio para el debate. Se publicarán todos los comentarios que, a favor o en contra de la publicación, sean respetuosos y no contengan expresiones discriminatorias, difamatorias o contrarias a la legislación vigente.»

Interacciones con los lectores

Deja una respuesta Cancelar la respuesta

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *

Este sitio usa Akismet para reducir el spam. Aprende cómo se procesan los datos de tus comentarios.

Barra lateral principal

Publicaciones relacionadas


Plaza de profesor en el Departamento de Ciencias de la Computación de la Universidad de Reykjavik


HORIZONTE EUROPA: Mejora de la seguridad en el hardware de código abierto para los dispositivos conectados


HORIZONTE EUROPA: Navegación más segura y lucha contra los incendios en los buques portacontenedores


Worldpackers


Prácticas Schuman en el Parlamento Europeo

Footer

Logotipo en negativo del Centro de Documentación Europea de Almería
  • CDE Almería
  • Edificio Parque Científico-Tecnológico (Pita)
  • Planta: 1ª, Despacho: 2904120.
  • Ctra. Sacramento s/n. Almería (Spain)
  • Teléfono: (+34) 950 015266
  • INICIO
  • NOTICIAS
  • DOCUMENTACION
  • EUROPA EN LA RED
  • CONÓCENOS
  • AVISO LEGAL
  • POLÍTICA DE PRIVACIDAD
  • POLÍTICA DE COOKIES
  • ACCESIBILIDAD
  • MAPA DE SITIO

Copyright © 2023 CDE Almería · Licencia de Creative CommonsEste obra está bajo una licencia de Creative Commons Reconocimiento-NoComercial 4.0 Internacional.

Utilizamos cookies para ofrecerte la mejor experiencia en nuestra web.

Puedes aprender más sobre qué cookies utilizamos o desactivarlas en los ajustes.

Resumen de privacidad

Esta web utiliza cookies para que podamos ofrecerte la mejor experiencia de usuario posible. La información de las cookies se almacena en tu navegador y realiza funciones tales como reconocerte cuando vuelves a nuestra web o ayudar a nuestro equipo a comprender qué secciones de la web encuentras más interesantes y útiles.

Cookies estrictamente necesarias

Las cookies estrictamente necesarias tiene que activarse siempre para que podamos guardar tus preferencias de ajustes de cookies.

Si desactivas esta cookie no podremos guardar tus preferencias. Esto significa que cada vez que visites esta web tendrás que activar o desactivar las cookies de nuevo.

Cookies de terceros

Esta web utiliza Google Analytics para recopilar información anónima tal como el número de visitantes del sitio, o las páginas más populares.

Dejar esta cookie activa nos permite mejorar nuestra web.

¡Por favor, activa primero las cookies estrictamente necesarias para que podamos guardar tus preferencias!

Política de cookies

Más información sobre nuestra política de cookies