Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | DIFFERENTIAL PROGRAM SEMANTICS: COINDUCTION AND FORMAL SYSTEMS |
|---|---|
| Titolo del progetto di ricerca in inglese | DIFFERENTIAL PROGRAM SEMANTICS: COINDUCTION AND FORMAL SYSTEMS |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Programming |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | The selected researchers will have to study the differential semantics of functional programming languages with effects, with particular reference to aspects related to co-induction and formal systems. All these areas of semantics have been extensively studied in the realm of logic, in which programs are analyzed and compared from a qualitative point of view. What we intend to do is to generalize these semantic frameworks in a quantitative sense, making them able to determine the distance between these programs and their complexity. These research grants are funded by the ERC Consolidator Grant DIAPASoN - DLV-818616. |
| Descrizione sintetica in inglese | I laureati selezionati dovranno occuparsi di studiare la semantica differenziale dei linguaggi di programmazione funzionale con effetti, con particolare riferimento agli aspetti legati alla coinduzione e ai sistemi formali. Tutte queste aree della semantica sono state ampiamente studiate in un quadro logico, in cui i programmi sono analizzati e confrontati da un punto di vista qualitativo. Quello che ci si propone di fare è generalizzare tali quadri semantici in senso quantitativo, rendendoli in grado di determinare la distanza tra tali programmi e la loro complessità. Questi assegni di ricerca sono finanziati dall’ERC Consolidator Grant DIAPASoN - DLV-818616. |
| Data del bando | 16/06/2021 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | https://bandi.unibo.it/ricerca/assegni-ricerca |
| 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://bandi.unibo.it/ricerca/assegni-ricerca |
| Criteri di selezione in inglese (breve descrizione) | to apply for research grants fill out the form available at the following address: https://bandi.unibo.it/ricerca/assegni-ricerca |
| Nome dell'Ente finanziatore | ALMA MATER STUDIORUM - UNIVERSITA' DI BOLOGNA - - DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Bologna |
| Sito web | http://www.unibo.it |
| ugo.dallago@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | H2020/Erc |
|---|
| Data di scadenza del bando | 01/07/2021 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |