Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Implementazione di un linguaggio di programmazione logica con vincoli basato su lambda-prolog |
|---|---|
| Titolo del progetto di ricerca in inglese | Implementation of a lambda-prolog based constraint programming language |
| 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 candidato studierà l'implementazione di un linguaggio di programmazione con vincoli basato su lambda-prolog e la sua applicazione alla scrittura di dimostratori interattivi di teoremi. Il linguaggio di programmazione con vincoli non sarà di tipo standard in quanto, contrariamente alla norma, i predicati che fungono da vincoli e le relative regole di propagazione saranno specificate dall'utente nel programma stesso. Piu' in dettaglio, il candidato si occuperà di: 1) contribuire alla sintassi e alla semantica delle estensioni al lambda-prolog 2) studiare come implementare da zero un prototipo del linguaggio, con particolare attenzione alla complessita' computazionale; in alternativa studiare come modificare l'implementazione di Teyjus per aggiungere i nuovi costrutti 3) portare il codice di un dimostratore interattivo di teoremi al nuovo linguaggio per poter effettuare benchmark prestazionali |
| Descrizione sintetica in inglese | The Post-Doc will study the implementation of a constraint logic programming language based on lambda-prolog. He will also apply it to the domain of interactive theorem proving. The programming language departs from a standard constraint logic programming language because the user will specify in the program the set of predicates to be used as constraints and the relative constraint propagation rules. In more detail, the Post-Doc will: 1) contribute to the syntax and semantics of the new language 2) study the implementation from scratch of a prototype compiler/interpreter, with efficiency in mind; otherwise he will study how to extend the Teyjus interpre ter of lambda-prolog to accomodate the new programming constructs 3) port the code of an interactive theorem prover to the new language, in order to perform benchmarks |
| Data del bando | 07/01/2015 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | https://www.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| 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.aric.unibo.it/AssegniRicerca/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.aric.unibo.it/AssegniRicerca/BandiPubblicati/zz_Bandi_din.aspx |
| 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 |
| luigi.distefano@unibo.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 22/01/2015 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |