Bandi per assegni di ricerca

Univ. BOLOGNA

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Compositional and Effectful Program Distances
Titolo del progetto di ricerca in inglese Compositional and Effectful Program Distances
Settore Concorsuale 01 - Scienze matematiche e informatiche
S.S.D -
Descrizione sintetica in italiano I laureati selezionati si occuperanno di studiare nozioni di distanza per programmi con effetti che siano calcolabili in modo composizionale, seguendo quindi la struttura sintattica dei programmi. Particolare enfasi sarà data a programmi che producano effetti probabilistici o quantistici. Questi assegni di ricerca sono finanziati dal progetto FARE 2021 dal titolo "Compositional and Effectful Program Distances".
Descrizione sintetica in inglese Selected graduates will study notions of distance for programs with effects that can be determined compositionally, thus following the syntactic structure of the programs. Particular emphasis will be given to programs producing probabilistic or quantum effects. These research grants are funded by the FARE 2021 project entitled "Compositional and Effectful Program Distances".
Data del bando 19/12/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

 

Dettagli dell'assegno di 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

 

Finanziatore
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

 

Contatto presso l'Ente
E-mail ugo.dallago@unibo.it

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? No

 

Dettagli per la candidatura
Data di scadenza del bando 10/01/2023
Come candidarsi Other