Machine Learning for the verification and synthesis of cyber-physical systems

    INFO
    Tipologia
    Assegno di ricerca
    Anno
    2021
    Struttura
    Dipartimento di Matematica e Geoscienze
    Ente
    Università degli Studi di Trieste
    Durata
    12 mesi, eventualmente rinnovabile
    Settore disciplinare
    INF/01 - INFORMATICA
    Responsabile
    prof. Luca Bortolussi
    Data scadenza
    Estremi bando
    DR n. 985 prot. 139080 del 14/10/2021
    Note

    Assegno 4

    BANDO
    Note bando

    Albo Rep. n. 1708 prot. 139287 del 15/10/2021

    MODULISTICA
    Note modulistica

    La domanda di partecipazione alla selezione, nonché i titoli posseduti, i documenti e le pubblicazioni ritenute utili per la selezione, devono essere presentati, a pena di esclusione, per via telematica, utilizzando l’applicazione informatica dedicata alla pagina https://pica.cineca.it/units (rif. PICA 21ar985-6)

    NOMINA COMMISSIONE
    Note commissione

    Albo Rep. 2158 prot. 160449 del 15/12/2021

    PRIMO VERBALE - CRITERI
    APPROVAZIONE ATTI
    Note approvazione atti

    Albo rep. n. 72 prot. 5659 del 20/01/2022