Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche coinduttive per linguaggi concorrenti e di ordine superiore, e integrazione con interpretazione astratta |
|---|---|
| Titolo del progetto di ricerca in inglese | Coinductive techniques for concurrent and higher-order languages, and integration with abstract interpretation |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Programming |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Il tema del progetto che finanzia le posizioni e' piuttosto ampio, e ha a che fare con tecniche coinduttive per linguaggi di programmazione, in particolare linguaggi concorrenti (nello stile del pi-calcolo) e linguaggi di ordine superiore (nello stile del lambda calcolo). L'obiettivo generale e' di sviluppare tecniche per ragionare sulla correttezza di programmi scritti in questi linguaggi. Lo studio puo' coinvolgere anche tecniche basate su: sistemi di tipo (o altri formalismi logici), relationi logiche, semantiche basate su giochi, interpretazione astratta. Il finanziamento proviene da un progetto nazionale in cui gli altri siti sono: Verona (R. Giacobazzi), Padova (F. Ranzato), e Pisa (F. Bonchi); quindi il lavoro potra' esseer effettuato il collaborazione con ricercatori da questi siti. |
| Descrizione sintetica in inglese | The topic of the project that funds the positions is broad, and has to do with coinductive techniques for programming languages, in particular concurrent languages (in the style of the pi-calculus) and higher-order languages (in the style of the lambda calculus). The general goal is to develop techniques for reasoning on the correctness of programs of such languages. The study may also involve techniques based on: type systems (or other logical formalisms), logical relations, game semantics, abstract interpretation. The funding comes from a national project whose other sites are Verona (R. Giacobazzi), Padova (F. Ranzato), and Pisa (F. Bonchi); hence the work will be carried out in collaborations with people from these sites. |
| Data del bando | 17/03/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 |
| paolo.bellavista@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 12/04/2021 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |