Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Analisi formale a supporto della progetttazione e sviluppo dello stack di CROSSCON |
---|---|
Titolo del progetto di ricerca in inglese | Formal analysis to support design and development of the CROSSCON stack |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Questo lavoro si propone di condurre una ricerca per definire un quadro di specifiche formali per la progettazione e l'implementazione di applicazioni IoT affidabili, considerando tutti i diversi aspetti e allegando alle applicazioni IoT un "manifesto di certificazione" |
Descrizione sintetica in inglese | This work aims to carry out research to define a formal specification framework for the design and deployment of trusted IoT applications considering all the different facets and by attaching to the IoT applications a “certification manifest” |
Data del bando | 06/12/2023 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 27500 |
Periodicità | 24 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER E.U. CHINA (MAINLAND) CHINA (HONG KONG) |
Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER E.U. CHINA (MAINLAND) CHINA (HONG KONG) |
Sito web del bando | https://lavoraconnoi.unitn.it/assegni-di-ricerca/dipartimento-disi-avviso-di-selezione-il-conferimento-di-n-1-assegno-di-ricerca-decreto-n-372-2023 |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Importo annuale | 27500 |
Valuta | Euro |
Nome dell'Ente finanziatore | Università di Trento |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Trento |
Sito web | https://lavoraconnoi.unitn.it/assegni-di-ricerca/dipartimento-disi-avviso-di-selezione-il-conferimento-di-n-1-assegno-di-ricerca-decreto-n-372-2023 |
selezioni.ricerca@unitn.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 27/12/2023 |
---|---|
Come candidarsi | https://lavoraconnoi.unitn.it/assegni-di-ricerca/dipartimento-disi-avviso-di-selezione-il-conferimento-di-n-1-assegno-di-ricerca-decreto-n-372-2023 |