Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | DIFFERENTIAL PROGRAM SEMANTICS IN RANDOMIZED COMPUTATION |
|---|---|
| Titolo del progetto di ricerca in inglese | DIFFERENTIAL PROGRAM SEMANTICS IN RANDOMIZED COMPUTATION |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Programming |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | I laureati selezionati dovranno occuparsi di studiare la semantica differenziale dei linguaggi per la programmazione concorrente basata su sessione, con particolare riferimento ai linguaggi con effetti di scelta probabilistica. In particolare, si studierà come imporre vincoli di complessità in tali linguaggi e come definire tecniche di ragionamento relazionale. Questo assegno di ricerca è finanziato dall’ERC Consolidator Grant DIAPASoN - DLV-818616. |
| Descrizione sintetica in inglese | The selected researchers will have to study the differential semantics of session-based concurrent programming languages, with particular emphasis to languages with probabilistic choice effects. More specifically, we will study how to impose complexity constraints in such languages and how to define relational reasoning techniques. This research grant is funded by the ERC Consolidator Grant DIAPASoN - DLV-818616. |
| Data del bando | 28/03/2022 |
| 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 | 13/04/2022 |
|---|---|
| Come candidarsi | Other |