Machine Learning for the verification and synthesis of cyber-physical systems – PRIN 2017 “SEDUCE” n. 2017WRCCNB - CUP J95J19000200001

    INFO
    Tipologia
    Assegno di ricerca
    Anno
    2020
    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
    D.R. 88 del 28 gennaio 2020 - Albo n. 128 del 31/01/2020
    Note

    Assegno 02

    BANDO
    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

    NOMINA COMMISSIONE
    PRIMO VERBALE - CRITERI
    COMUNICAZIONI AI CANDIDATI
    APPROVAZIONE ATTI