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 Tecniche coinduttive per linguaggi di ordine superiore e integrazione con interpretazione astratta
Titolo del progetto di ricerca in inglese Coinductive techniques for higher-order languages and integration with abstract interpretation techniques
Campo principale della ricerca Computer science
Sottocampo della ricerca Programming
Settore Concorsuale 01 - Scienze matematiche e informatiche
S.S.D -
Descrizione sintetica in italiano Ci sono due obiettivi principali nel progetto.
Il primo e' lo sviluppo di raffinamenti di tecniche coinduttive, che
possano essere applicati sia a linguaggi di oridne superiore puri
(sullo stile del lambda-calcolo), sia a linguaggi concorrenti.
Il secondo obiettivo e' l'integrazione delle tecniche coinduttive con
tecniche induttive provenienti dall'area della interpretazione
astratta. Lo studio sara' svolto inizialmente in modelli fondazionali,
e poi se il tempo lo permette si sperimenteranno le tecniche su
linguaggi di programmazione piu' concreti.
Descrizione sintetica in inglese There are two main objectives for the project.
The first is the development of enhancements of
coinductive techniques, which could be applied to purely higher-order
languages (functional languages akin to the lambda-calculus) and to
concurrent languages. The second objective is the integration of
coinductive techniques with inductive techniques coming from the area
of abstract interpretation.
The study will be carried out initially in foundational models, and
then if time permits transported onto more concrete languages.

Data del bando 23/07/2019
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.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx

 

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://www.aricweb.unibo.it/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.aricweb.unibo.it/BandiPubblicati/zz_Bandi_din.aspx

 

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 davide.sangiorgi@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 03/09/2019 - alle ore 00:00
Come candidarsi Other