Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Giochi, astrazione e tecniche up-to per la verifica di sistemi software. |
|---|---|
| Titolo del progetto di ricerca in inglese | Games, abstraction and up-to techniques for software system verification |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Other |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il progetto affronta un problema fondazionale alla base di molti metodi formali, ovvero la soluzione di sistemi di equazioni del minimo e massimo punto fisso (possibilmente miste) su domini di informazioni o proprietà. Lo scopo è quello di sviluppare una teoria dell'astrazione corrispondente che tragga ispirazione dall'interpretazione astratta, tipicamente utilizzata negli approcci induttivi e dalle tecniche up-to, comunemente sfruttate negli approcci coinduttivi. |
| Descrizione sintetica in inglese | The project addresses a common foundational problem underlying many formal methods, namely the solution of systems of (possibly mixed) least and greatest fixpoint equations over some domain of information or properties. The aim is to develop a corresponding theory of abstraction drawing inspiration from abstract interpretation, typically used in inductive approaches and up-to techniques, commonly exploited in coinductive approaches. |
| Data del bando | 22/10/2019 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 20000 |
| 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.math.unipd.it/it/ricerca/bandi-concorsi/ |
| 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 | 20000 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | yes |
| Comprende il costo della ricerca | yes |
| Massima durata dell'assegno (mesi) | 24 |
| Criteri di selezione in italiano (breve descrizione) | Bando |
| Criteri di selezione in inglese (breve descrizione) | Selection announcement |
| Processo di selezione in italiano (breve descrizione) | Titoli, curriculum vitae, pubblicazioni scientifiche, lettere di presentazione |
| Processo di selezione in inglese (breve descrizione) | Qualifications, curriculum vitae, pubblications,letters of references |
| Nome dell'Ente finanziatore | Dipartimento di Matematica |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Padova |
| Codice postale | 35121 |
| Indirizzo | Via Trieste, 63 |
| Sito web | http://www.math.unipd.it |
| amministrazione@math.unipd.it | |
| Telefono | +390498271387 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 07/11/2019 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |