Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Fondamenti, metodi ed applicazioni dell'Informatica per la soluzione innovativa di problemi complessi |
---|---|
Titolo del progetto di ricerca in inglese | Foundations, methods, and applications of Computer Science for the solution of complex problems |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | - |
Descrizione sintetica in italiano | L’Informatica è la tecnologia abilitante per lo sviluppo di sistemi moderni e basati sulla rete, dove il software gioca un ruolo importante che richiede l’uso di metodologie avanzate di progettazione, sviluppo ed analisi. L’Informatica è anche il paradigma all'interno del quale vengono costruiti ed analizzati modelli di sistemi intelligenti utilizzando formalismi avanzati. In questa ricerca, l’obiettivo generale dello sviluppo e miglioramento di linguaggi e formalismi che permettono la produzione efficace ed efficiente di software affidabile, sicuro e “user-friendly” e che danno il modo di studiare le proprietà di sistemi naturali ed artificiali, potrà essere affrontato con prospettive diverse approfondendo in particolare gli aspetti logici, matematici e computazionali. Una speciale attenzione potrà anche essere dedicata alle applicazioni di questi metodi studiando il loro impatto sul livello di ingegnerizzazione raggiungibile e sulle ottimizzazioni che essi permettono di ottenere. |
Descrizione sintetica in inglese | Computer Science is the enabling technology for the development of modern network-based systems where software plays a major role and thus requires the use of advanced methodologies for its design, implementation, and analysis. Computer Science is also a paradigm where models of intelligent systems are constructed and analyzed using advanced formalisms. In this research, the general goal of developing and enhancing languages and formalisms that allow the efficient and effective production of software with reliable, secure and user-friendly characteristics and that provide the means for studying the properties of natural and artificial systems might be addressed from different perspectives. Emphasis will be possibly given to logical, mathematical, and computational foundations. Special attention might also be given to the applications of these methods studying their impact on the level of engineering that they allow to reach and on the optimizations that they allow to attain. |
Data del bando | 10/11/2011 |
Numero di assegnazioni per anno | 1 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
All |
Nazionalità dei candidati |
All |
Sito web del bando | http://www.unito.it/unitoWAR/page/istituzionale/ricerca2/Ricerca_assegni_struttura1 |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
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 | yes |
Comprende il costo della ricerca | yes |
Altri costi in italiano | \ |
Altri costi in inglese | \ |
Massima durata dell'assegno (mesi) | 12 |
Criteri di selezione in italiano (breve descrizione) | \ |
Criteri di selezione in inglese (breve descrizione) | \ |
Processo di selezione in italiano (breve descrizione) | per titoli e colloquio |
Processo di selezione in inglese (breve descrizione) | qualifications and interview (in Turin) |
Nome dell'Ente finanziatore | Universita' degli Studi di Torino |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Turin |
Sito web | http://www.unito.it/ |
arearicerca_assegni@unito.it | |
Telefono | 0 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 01/12/2011 - alle ore 00:00 |
---|---|
Come candidarsi | Other |