Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Sistemi logici e linguaggi di programmazione per le computazioni quantistiche |
|---|---|
| Titolo del progetto di ricerca in inglese | Logical systems and programming languages for quantum computations |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | Nell'ambito del Progetto PRIN 2011 “Metodi Logici per il Trattamento dell'Informazione” si propone un'attività di ricerca finalizzata allo sviluppo di sistemi logici e della loro applicazione al disegno di linguaggi di programmazione per le computazioni quantistiche secondo il seguente programma: a partire da proprietà chimico-fisiche di materiali innovativi (quali ad esempio il graphene o i quasicristalli), derivare primitive computazionali a partire dalle quali disegnare linguaggi di programmazione e sistemi logici con un ampio potere espressivo (nel senso della classe di algoritmi) che al tempo stesso forniscono garanzie per la loro realizzabilità fisica. |
| Descrizione sintetica in inglese | Within the project PRIN 2011 "Logic Methods for the Treatment of Information" proposes a research aimed at the development of logical systems and their application to the design of programming languages for the quantum computations according to the following program: from physico-chemical properties of innovative materials (such as graphene or quasicrystals), derive computational primitives from which to draw programming languages and logical systems with a large expressive power (in the sense of the class of algorithms) that the the same time provide guarantees for their physical realizability |
| Data del bando | 25/06/2014 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
All |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://host.uniroma3.it/uffici/ricerca/default.aspx |
| 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 | 22820 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Nome dell'Ente finanziatore | università degli studi Roma 3 |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Roma |
| Codice postale | 00154 |
| Sito web | http://host.uniroma3.it/uffici/ricerca/default.aspx |
| ricerca.affari.generali@uniroma3.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 28/07/2014 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |