Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche di Valutazione delle Risorse per Programmi Quantistici |
|---|---|
| Titolo del progetto di ricerca in inglese | TITLE: Resource Control Techniques in Quantum Programming Languages |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | PROGETTO DI RICERCA Nonostante i grandi progressi a livello scientifico e ingegneristico degli ultimi anni, nel calcolo quantistico lo spazio computazionale rimane una risorsa estremamente scarsa. Per tale motivo, risulta estremamente importante, in sede di implementazione di programmi quantistici, avere a disposizione tecniche di analisi statica tramite le quali dare delle limitazioni superiori non asintotiche alla width e alla depth dei risultanti circuiti quantistici. Questo progetto di ricerca mira proprio a progettare e implementare tali tecniche. PIANO ATTIVITA I ricercatori reclutati si occuperanno di definire delle tecniche di analisi statica nella forma di sistemi di tipo per il linguaggio Quipper, che siano basate sulla logica lineare e sull'effect typing e che permettano di dare limitazioni superiori alla width, alla depth e al numero totale di gate del circuito. |
| Descrizione sintetica in inglese | RESEARCH PROJECT Despite great scientific and engineering progress in recent years, computational space remains an extremely scarce resource in quantum computing. Furthermore, it is not possible to apply an arbitrary number of unitary transformations to the few qubits available without errors due to decoherence taking over. For this reason, it is important, when implementing quantum programs, to design static analysis techniques through which to give non-asymptotic upper bounds to the width and depth of the resulting quantum circuits. This research project aims to design and implement such techniques within functional languages for QC. ACTIVITY PLAN The recruited researchers will be responsible for defining static analysis techniques in the form of type systems for Quipper that are based on linear logic and effect typing, and that allow to give upper bounds on the width, the depth and the total number of gates of the output circuit. |
| Data del bando | 21/12/2023 |
| 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? | No |
|---|
| Data di scadenza del bando | 15/04/2024 |
|---|---|
| Come candidarsi | Other |