Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi formali nei sistemi sequenziali e concorrenti |
|---|---|
| Titolo del progetto di ricerca in inglese | Formal methods in sequential and concurrent systems |
| Campo principale della ricerca | Mathematics |
| Sottocampo della ricerca | Other |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | I sistemi di calcolo non sono in generale sequenziali, ma distribuiti e concorrenti. Sono stati proposti molti modelli di sistemi distribuiti negli ultimi quindici anni. Tali modelli sono dei formalismi matematici in cui descrivere e ragionare sul comportamento dei sistemi concorrenti. Il loro scopo è quello di fornire una comprensione teorica del loro comportamento, e contribuire a metodi di progettazione e di analisi pratica. Nella semantica dei sistemi concorrenti e distribuiti, una dicotomia oppone gli approcci interleaving agli approcci truly-concurrent. |
| Descrizione sintetica in inglese | Real computational systems are not sequential, but distributed and concurrent. Many models for distributed computation have been proposed and studied over the past fifteen years. Such models have the nature of mathematical formalisms in which to describe and reason about the behaviour of concurrent computational systems. Their purpose is to provide an understanding of systems and their behaviour in theory, and to contribute to methods of design and analysis in practice. In the semantics of concurrent and distributed systems, a major dichotomy opposes the interleaving approaches to true-concurrent approaches. |
| Data del bando | 23/09/2013 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 22946.02 |
| Periodicità | 12 |
| E' richiesta mobilità internazionale? | yes |
| 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.unive.it/nqcontent.cfm?a_id=138305 |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | no |
| Importo annuale | 19367.00 |
| 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) | Titoli, pubblicazioni e colloquio |
| Criteri di selezione in inglese (breve descrizione) | CV and interview |
| Processo di selezione in italiano (breve descrizione) | Titoli, pubblicazioni e colloquio |
| Processo di selezione in inglese (breve descrizione) | CV and interview |
| Nome dell'Ente finanziatore | Università Ca' Foscari Venezia |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Venezia |
| Codice postale | 30123 |
| Indirizzo | Dorsoduro 3246 |
| Sito web | http://www.unive.it |
| dsais@pec.unive.it | |
| Telefono | +390412348622 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 14/10/2013 |
|---|---|
| Come candidarsi | Other |