Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Algoritmi e Complessità in Giochi Infiniti su Grafi e Reti di Vincoli Temporali |
---|---|
Titolo del progetto di ricerca in inglese | Algorithms and Complexity in Infinite Games and Temporal Constraint Networks |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | MAT/09 - RICERCA OPERATIVA |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Nella realizzazione di sistemi reattivi lo scopo principale è quello di mettere la sintesi e la verifica di hardware e software su una base matematica che sia stabile e pratica. Una caratteristica di tali sistemi è la loro interazione perpetua con l'ambiente così come il loro comportamento di non-terminazione. La teoria dei giochi a durata infinita offre molti risultati interessanti in questa prospettiva. Recentemente, abbiamo scoperto interessanti connessioni tra questa teoria e quella di temporali vincoli Networks. Per esempio, semplici reti temporale forniscono uno strumento potente e generale per la rappresentazione di congiunzioni di vincoli massimi di ritardo su coppie ordinate di variabili temporali, mentre quello delle reti temporali condizionate, è un modello basato su vincoli per la pianificazione temporale condizionale. In questa attività ci proponiamo di continuare con la ricerca fatta su questa linea fino ad ora, impattando positivamente sullo stato dell'arte. |
Descrizione sintetica in inglese | In the construction of reactive systems, like communication protocols or control systems, a central aim is to put the synthesis and the verification of hardware and software on a Mathematical basis which is both firm and practical. A characteristic feature of such systems is their perpetual interaction with the environment as well as their non-terminating behaviour. The theory of infinite duration games offers many appealing results under this prospect. Recently, we discovered interesting connections between this theory and that of Temporal Constraint Networks. For instance, Simple Temporal Networks provide a powerful and general tool for representing conjunctions of maximum delay constraints over ordered pairs of temporal variables, whereas Conditional Simple Temporal Networks, is a constraint based model for conditional temporal planning. In this work acrivity we aim to continue with the research done on this line, with a positive impact on the state of the art. |
Data del bando | 23/01/2017 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 23600 |
E' richiesta mobilità internazionale? | no |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
EUROPE |
Nazionalità dei candidati |
EUROPE |
Sito web del bando | http://www.univr.it/documenti/Albo/allegatialbo/allegatialbo798034.pdf |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Il contratto prevede la copertura delle prestazioni sociali? | yes |
Importo annuale | 19367 |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Comprende vitto e spese di viaggio | no |
Comprende il costo della ricerca | no |
Massima durata dell'assegno (mesi) | 12 |
Criteri di selezione in italiano (breve descrizione) |
Per l'ammissione alla selezione di cui al precedente art. 1 è richiesto il possesso dei seguenti requisiti: a)Titolo di Dottore di Ricerca; b)Conoscenza della seguente lingua straniera: inglese; c)Ulteriori requisiti: attività di ricerca e/o di sviluppo nei settori scientifico-disciplinari: INF/01 INFORMATICA e MAT/09 RICERCA OPERATIVA. |
Criteri di selezione in inglese (breve descrizione) |
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements: a)PhD; b)Knowledge of the following foreign language: English; c)Other requirements: documented research and/or development experience in the disciplinary sectors: INF/01 INFORMATICS and MAT/09 OPERATIONAL RESEARCH. |
Processo di selezione in italiano (breve descrizione) | La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati e un colloquio. |
Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles and examination by means of an interview. |
Nome dell'Ente finanziatore | Università degli Studi di Verona - Dipartimento di Informatica |
---|---|
Tipologia dell'Ente | Academic |
Paese dell'Ente | Italy |
Città | Verona |
Codice postale | 37129 |
Indirizzo | Via dell'Artigliere, 8 |
Sito web | http://www.univr.it/jsp/index.jsp |
assegni.ricerca@ateneo.univr.it | |
Telefono | +39 (0) 45 8028204 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 15/02/2017 |
---|---|
Come candidarsi | Other |