Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Modelli di sistemi spaziali e verifica di proprieta' spazio-temporali. |
---|---|
Titolo del progetto di ricerca in inglese | Models for spatial systems and verification of spatio-temporal properties. |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | - |
Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
S.S.D | - |
Descrizione sintetica in italiano | La ricerca si rivolge all'individuazione di modelli dello spazio (fisico, ma anche virtuale), basati su concetti topologici e di evoluzione temporale dello spazio, nonche' di verifica di proprieta' sia statiche che dinamiche. Il campo di applicazione e' quello degli edifici, di strutture quali gli aeroporti, o addirittura di intere citta'. Scopo primario e' la possibilita' di verificare automaticamente proprieta', in particolare la sicurezza, degli spazi fisici e della loro evoluzione. |
Descrizione sintetica in inglese | The proposed research focuses on spatial models (where space can be physical or virtual), based on topological concepts and temporal evolution of topology. It also focuses on automatic verification of static and dynamic properties. Possible applications include building models, infrastructure models (e.g., airports), or even city models. The main goal is specification and verification of security properties. |
Data del bando | 05/09/2016 |
Paesi in cui può essere condotta la ricerca |
Germany Ireland Italy United Kingdom |
Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER |
Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA OTHER |
Sito web del bando | http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
Processo di selezione in italiano (breve descrizione) | Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
Processo di selezione in inglese (breve descrizione) | In order to participate in the selection, please read the call (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
Nome dell'Ente finanziatore | Dipartimento di Elettronica, Informazione e Bioingegneria - POLITECNICO DI MILANO |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Milano |
Sito web | http://www.deib.polimi.it/ita/home |
assegniricerca@polimi.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Ideas-ERC |
---|
Data di scadenza del bando | 07/10/2016 - alle ore 00:00 |
---|---|
Come candidarsi | Other |