Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Design e implementazione di linguaggi per la computazione quantistica |
|---|---|
| Titolo del progetto di ricerca in inglese | design and implementation of quantum programming languages |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Il programma di ricerca prevede l'avanzamento della conoscenza teorica e pratica dei paradigmi di programmazione quantistica. Nello specifico, il ricercatore dovrà occuparsi del design di sistemi di tipi e di semantiche denotazionali per i linguaggi qPCF (una versione quantistica di PCF), iQu (versione quantistica di Idealized ALGOL di Reynolds), e Q# (un linguaggio di dominio specifico recentemente rilasciato da Microsoft). In questo contesto sarà richiesta la definizione di istanze o modifiche dei linguaggi menzionati che catturino naturalmente la programmazione ad alto livello dell’architettura del processore quantistico alla base del D-Wave 2000QTMSystem.Parallelamente al lavoro di ricerca fondazionale, all’assegnista sarà richiesto di implementare un prototipo basato sul linguaggio i Qu, estendendo un’implementazione di ALGOL con tipi polimorfi e primitive per la generazione parametrica dei circuiti quantistici. |
| Descrizione sintetica in inglese | The research program aims to the advancement of the theory and practice of quantum programming languages. Specifically, the researcher will undertake the study of type systems and denotational semantics for the languages qPCF (quantum PCF), iQu (quantum version of Reynolds’ Idealized ALGOL) and Q# ( a domain-specific programming language used for expressing quantum algorithms recently released by Microsoft). In this context, the candidate will define instances or extensions of the above-mentioned languages that naturally capture the high level programming of the quantum processor at the base of the D-Wave 2000QTMSystem. In parallel with the foundational research work, the candidate will implement a prototype of a quantum language based on iQu, extending an implementation of ALGOL with polymorphic types and programming primitives for the parametric generation of quantum circuits. |
| Data del bando | 18/10/2019 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23800 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| Nazionalità dei candidati |
EUROPE AFRICA OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| Sito web del bando | http://www.univr.it/it/albo-ufficiale |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | yes |
| Importo annuale | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Massima durata dell'assegno (mesi) | 12 |
| Criteri di selezione in italiano (breve descrizione) |
Per l'ammissione alla selezione di cui al precedente art. 1 è richiesto il possesso dei seguenti requisiti: a)Titolo di Dottore di Ricerca, ovvero Laurea Magistrale [conseguita ai sensi dell’art. 3, comma 1, lettera n), D.M. 22 ottobre 2004, n. 270], o Laurea Specialistica [conseguita ai sensi dell’art. 3, comma 1, lettera b), D.M. 3 novembre 1999, n. 509], o Diploma di Laurea [conseguito ai sensi degli ordinamenti didattici previgenti al D.M. 3 novembre 1999, n. 509, a conclusione di un corso di studi di durata non inferiore a quattro anni], e possesso di curriculum scientifico-professionale idoneo allo svolgimento di attività di ricerca; b)Conoscenza della seguente lingua straniera: inglese; c)Ulteriori requisiti: attività di ricerca e/o di sviluppo nel settore scientifico-disciplinare: INF/01 INFORMATICA. |
| Criteri di selezione in inglese (breve descrizione) |
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements: a)PhD or Master’s degree [Laurea Magistrale awarded pursuant to Art. 3(1n), Ministerial Decree no. 270 of 22/10/04] or previous Master’s degree [Laurea Specialistica awarded pursuant to Art. 3(1b), Ministerial Decree no. 509 of 03/11/99] or previous Bachelor’s degree [awarded pursuant to the teaching systems prior to Ministerial Decree no. 509 of 03/11/99, at the conclusion of a study programme at least 4 years in length], and a suitable academic and professional background for conducting research; b)Knowledge of the following foreign language: English; c)Other requirements: documented research and/or development experience in the disciplinary sector: INF/01INFORMATICS |
| Processo di selezione in italiano (breve descrizione) | La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati e un colloquio. |
| Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles and examination by means of an interview. |
| Nome dell'Ente finanziatore | Università degli Studi di Verona - Dipartimento di Informatica |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Verona |
| Codice postale | 37129 |
| Indirizzo | Via dell'Artigliere, 8 |
| Sito web | http://www.univr.it/ |
| assegni.ricerca@ateneo.univr.it | |
| Telefono | +39 (0) 45 8028204 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 07/11/2019 |
|---|---|
| Come candidarsi | Other |