• Skip to primary navigation
  • Skip to main content
  • Skip to primary sidebar
  • Skip to footer
  • Español
  • English
  • Bloglovin
  • Email
  • Facebook
  • Instagram
  • LinkedIn
  • 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

  • HOME
  • WHAT´S ON
    • EU BULLETINS
    • EU NEWS
    • Activities
    • EU Calls and Awards
    • Radio Program «Europe with You»
  • DOCUMENTATION
    • Bibliographic Collection
      • Almería EDC Digital Collection
      • UNIVERSITY OF ALMERIA LIBRARY
    • Documentation by topic
    • EU Media Collection
      • Web Space
      • MEDIATHEQUE REPOSITORY
  • Europe on the net
    • Institutions
    • EU Representation in Spain
    • European information network of Andalusia
    • EU official journal
  • ABOUT US
    • Presentation
    • People
    • Contact

Research Fellow in Verified Operating System Security at the University of Melbourne

Inicio » EU Calls and Awards » Research Fellow in Verified Operating System Security at the University of Melbourne

07-02-2020

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 engaged; comprehensive; research-intensive; and committed to responding to the major challenges of our time.

Organisation

University of Melbourne

Research Field

Computer science

Deadline

25 February 2020

Location

Australia

Requirements

  • PhD in Computer Science or a relevant discipline
  • Experience in one or more of the following areas:
    • program verification (e.g. Hoare logic)
    • information flow security (e.g. non-interference)
    • interactive theorem provers (e.g. Isabelle, Coq, etc.)
  • Record of quality research as evidenced by research publications in leading conferences and journals, commensurate with opportunity
  • Ability to perform independent research and a commitment to interdisciplinary research
  • Capacity to communicate research concepts to technical and non-technical audiences
  • Excellent written and verbal communication skills, demonstrated by presentation of research results at conferences, internal forums and through manuscript submissions
  • Excellent interpersonal skills, including an ability to interact with internal and external stakeholders (academic, administrative support staff), in a courteous and effective manner.
  • Ability to work independently and as part of a team
  • Demonstrated capacity to develop expertise in research to undertake tasks with autonomy
  • Excellent ability in analytical thinking, problem solving, maintaining accurate research records and developing new ideas
  • Understanding of timing and side-channel attacks and principles
  • Experience in supervision of undergraduate and graduate students

More Information

Euraxess

Publicaciones relacionadas:

Call for the Salvador de Madariaga Journalistic Prize Manos manchadas de pintura sobre fondo amarilloi-Portunus: Mobility programm for artists SchumanSchuman Traineeships at the European Parliament Heinrich Böll Foundation grants scholarships Traineeship at the European Maritime Safety Agency (EMSA)

“This is a space for debate. All comments, for or against publication, that are respectful and do not contain expressions that are discriminatory, defamatory or contrary to current legislation will be published”.

Reader Interactions

Leave a Reply Cancel reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

Primary Sidebar

Publicaciones relacionadas

Call for the Salvador de Madariaga Journalistic Prize Manos manchadas de pintura sobre fondo amarilloi-Portunus: Mobility programm for artists SchumanSchuman Traineeships at the European Parliament Heinrich Böll Foundation grants scholarships Traineeship at the European Maritime Safety Agency (EMSA)

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: 29
04120. Ctra. Sacramento s/n. Almería (Spain)
Teléfono: (+34) 950 015266

HOME
NEWS
DOCUMENTATION
EUROPE ON THE NET
ABOUT US

LEGAL NOTICE
PRIVACY POLICY
COOKIE POLICY
ACCESSIBILITY

SITEMAP
HELP CENTER

Copyright © 2022 CDE Almería · Creative Commons LicenseThis work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.

<p>El Centro de Documentación Europea de la Universidad de Almería utiliza cookies propias y de terceros para facilitar al usuario la navegación en su página Web y el acceso a los distintos contenidos alojados en la misma. Asimismo, se utilizan cookies analíticas de terceros para medir la interacción de los usuarios con el sitio Web. Pinche el siguiente enlace si desea información sobre el uso de cookies y como deshabilitarlas. ajustes</p>

Politica de privacidad

El Centro de Documentación Europea de la Universidad de Almería utiliza cookies propias y de terceros para facilitar al usuario la navegación en su página Web y el acceso a los distintos contenidos alojados en la misma. Asimismo, se utilizan cookies analíticas de terceros para medir la interacción de los usuarios con el sitio Web. Pinche el siguiente enlace si desea información sobre el uso de cookies y como deshabilitarlas. <a href="/politica-de-cookies" rel="noopener" target="_blank">Más información</a>

Cookies estrictamente necesarias

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

Básicamente la web no funcionara bien si no las activas.

Estas cookies son:

  • Comprobación de inicio de sesión.
  • Cookies de seguridad.
  • Aceptación/rechazo previo 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, Google Tag Manager y Yandex Metrika para recopilar información anónima tal como el número de visitantes del sitio, o las páginas más populares.

Dejar estas cookies activas nos permite mejorar nuestra web.

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

Política de cookies

Pinche el siguiente enlace si desea información sobre el uso de cookies y como deshabilitarlas. Más información