Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Certificazione in Matita del back-end di un compilatore che preserva la complessita' computazionale di programmi C. |
|---|---|
| Titolo del progetto di ricerca in inglese | Certification of the back-end of a compiler that preserves the computational complexity of C programs |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Il candidato contribuirá alla verifica formale, basata sul dimostratore interattivo di teoremi Matita, della correttezza di un compilatore per C che preserva la complessitá computazionale del codice e induce sul codice sorgente un modello di costo preciso. L'attivitá di ricerca verrá svolta in seno al Progetto Europeo FET-Open CerCo (Certified Complexity). Ulteriori informazioni sul progetto europeo possono essere trovate sulla home page http://cerco.cs.unibo.it |
| Descrizione sintetica in inglese | The research activity consists in the formal verification of a C compiler that preserves the computational complexity and induces on the source program a precise cost model. The certification will be done using the interactive theorem prover Matita. The candidate will join the team of the EU Fet-Open project CerCo (Certified Complexity). More informations on the EU project can be found at http://cerco.cs.unibo.it. |
| Data del bando | 25/05/2012 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Criteri di selezione in italiano (breve descrizione) | il bando e la modulistica per partecipare alla procedura di valutazione comparativa sono disponibili all'indirizzo: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIP. SCIENZE DELL'INFORMAZIONE |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| sacerdot@cs.unibo.it | |
| Telefono | +39 051 20 9 4873 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 29/06/2012 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |