Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Linguaggi innovativi e non-convenzionali per la compuitazione e la logica basati sulla linearità |
|---|---|
| Titolo del progetto di ricerca in inglese | Innovative and unconventional languages for computation and logic based on linearity |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | La linearità è una nozione chiave, assieme a interazione e nondeterminismo, di una moderna tendenza riduzionista che cerca una fine analisi del significato di computazione e di logica. La ricerca proposta è il pilastro della prossima generazione di strumenti fondazionali per i linguaggi di programmazione e la logica, specialmente in presenza di aspetti innovativi e nonconvenzionali come quelle quantistiche, reversibili e quantitative. Affrontare problemi complessi in situazioni relativamente agevoli come quelle lineari, aumenta la possibilita di successo. Talvolta, la soluzione puo essere estesa al caso non ristretto. Una lista non esaustiva di argomenti di interesse include: calcoli e linguaggi per l'interazione di risorse, analisi quantitativa via logiche, linguaggi lineari di programmazione, complessita computazionale implicita, definizione di linguaggi di programmazione quantistici, sistemi deduttivi per la computazione quantistica. |
| Descrizione sintetica in inglese | Linearity is a key notion, togheter interaction and non-determinism, of a modern reductionist trend which looks for a finer analysis of the meaning of computation and logic. The envisaged research is the linchpin of the next generation foundational tools for computing and logic languages, especially in presence of innovative and unconventional features as quantum, reversible, quantitative facets. Tackling complex problems in the relatively simple settings that a linear core of computation can supply, increases the chance of success. Sometimes, the solution can be extended to unrestricted non-linear setting. A non exhaustive list of topics of interest includes: calculi and languages for resource interaction, quantitative analysis of interaction via logics, programming languages with linearity, implicit computational complexity, definition of quantum programming languages, deductive systems for quantum computation, and so on. |
| Data del bando | 26/06/2013 |
| Numero di assegnazioni per anno | 1 |
| 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.serviziweb.unito.it/albo_ateneo/ |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| 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 | yes |
| Comprende il costo della ricerca | yes |
| Altri costi in italiano | \ |
| Altri costi in inglese | \ |
| Massima durata dell'assegno (mesi) | 15 |
| Criteri di selezione in italiano (breve descrizione) | il bando, modalità di iscrizione/partecipazione alla selezione e i requisiti sono disponibili su https://www.serviziweb.unito.it/albo_ateneo/ |
| Criteri di selezione in inglese (breve descrizione) | The call, the requirements and how to apply are available at the following address: https://www.serviziweb.unito.it/albo_ateneo/ |
| Processo di selezione in italiano (breve descrizione) | per titoli e colloquio (il calendario dei colloqui viene pubblicato entro la data di scadenza del bando. I candidati NON riceveranno comunicazione di ammissione al colloquio) |
| Processo di selezione in inglese (breve descrizione) | qualifications and interview (in Turin) - Dates and venues of the interviews are published on the website of the University of Turin at the official notice board (https://www.serviziweb.unito.it/albo_ateneo/) by the date of the deadline |
| Nome dell'Ente finanziatore | Universita' degli Studi di Torino |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Turin |
| Sito web | http://www.unito.it/ |
| arearicerca-assegni@unito.it | |
| Telefono | 0 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 16/07/2013 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://loginmiur.cineca.it/ |