Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Ragionamento Efficiente nei Sistemi con Risorse Limitate (CompRAS) |
|---|---|
| Titolo del progetto di ricerca in inglese | Computations in Resource Aware Systems (CompRAS) |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | L'attività di ricerca proporrà e studierà modelli e linguaggi formali di specifica delle interazioni tra agenti in ambienti con risorse limitate. Si concentrerà in particolare sui modelli della teoria dei giochi e sui linguaggi di specifica sensibili alle risorse, sui risultati di complessità computazionale, e sulle soluzioni algoritmiche. Ulteriori attività di ricerca nel contesto di altri progetti su temi collegati possono essere definite previo accordo reciproco tra AR e supervisore. Qualora questa attività nel contesto di altri progetti sia supervisionata nel dettaglio da un professore/ricercatore diverso dal supervisore indicato, quest'ultimo dovrà in ogni caso controfirmare espressamente la parte di relazione che si riferisce all'attività sui progetti aggiuntivi. |
| Descrizione sintetica in inglese | The research activity will propose and study models and formal specification languages of multiagent interactions where the resources are limited. It will particularly focus on game-theoretical models and resource-sensitive specification languages, on complexity results, and algorithmic solutions. Additional research activities in the context of other research projects on similar topics may be defined in due course with the mutual agreement between research assistant and supervisor. If the supervision of this activity taking place within another project is done in detail by a different professor/researcher, the main supervisor has to explicitly countersign the part of the report regarding the activity on additional research projects. |
| Data del bando | 22/02/2021 |
| Numero di assegnazioni per anno | 1 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
OTHER |
| Nazionalità dei candidati |
OTHER |
| Sito web del bando | https://www.unibz.it/it/home/position-calls/positions-for-academic-staff/5098-sistemi-di-elaborazione-delle-informazioni-dr-troquard?group=18 |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | Libera Università di Bolzano |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Bolzano |
| Sito web | https://www.unibz.it |
| personnel_academic@unibz.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 25/03/2021 - alle ore 00:00 |
|---|---|
| Come candidarsi | https://www.unibz.it/it/home/position-calls/positions-for-academic-staff/5098-sistemi-di-elaborazione-delle-informazioni-dr-troquard?group=18 |