• PhD student in types, verification, and proofs for concurrency.

    Título: PhD student in types, verification, and proofs for concurrency.
    Convoca: IMDEA Software
    Lugar: Pozuelo de Alarcón
    Plazo: Hasta el 31 de marzo de 2019.
    Informacion: El tema de la investigación, se centrará en las áreas de verificación de software, lógicas para programas concurrentes y seguridad basada en el idioma.
    Requisitos: - Máster en Informática. - Experiencia en semántica de programas y lógicas de programas, computación concurrente o distribuida, teoría de tipos o demostración de teoremas interactivos.
    Dónde dirigirte: A través del enlace web a la convocatoria.
    Modificación: 2019-03-13T08:00:00Z