Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Research Collaborator in Logiche temporali per sistemi collettivi adattivi |
---|---|
Titolo del progetto di ricerca in inglese | Research Collaborator in Temporal logics for collective adaptive systems |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Informatics |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Il candidato sarà chiamato a studiare le logiche temporali utili per monitorare sistemi cyber-fisici distribuiti ed i costrutti linguistici utili per modellare gli aspetti spaziali di tali sistemi. Questi linguaggi formali costituiranno il punto di partenza per la definizione di algoritmi da utilizzare per monitorare i sistemi costituiti da un ampio numero di agenti distribuiti nello spazio, tenendo sempre conto delle imprecisioni proprie di sistemi di questo tipo. Gli strumenti di monitoraggio saranno integrati con procedure di verifica statistica per sistemi cyber-fisici ed utilizzeranno anche metodologie basate su tecniche di machine learning. |
Descrizione sintetica in inglese | The candidate will study the temporal logics appropriate for supporting distribute monitoring of cyber physical systems and the linguistic constructs useful for specifying spatial aspects of such systems. These formal languages will be the starting point for the definition of a distributed algorithm that can be used to monitor systems consisting of a large number of agents distributed over the space, taking noise and imprecision consistently into account. The monitoring routines will be integrated into statistical verification routines for model-based design of cyber physical systems, relying also on machine learning methodologies. |
Data del bando | 15/07/2016 |
Numero di assegnazioni per anno | 1 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
Afghanistan Albania Algeria American Samoa Andorra Angola Antigua And Barbuda Argentina Armenia Aruba Australia Austria Azerbaidjan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermudas Bhutan Bolivia Bosnia-Herzegovina Botswana Brazil Brunei Bulgaria Burkina-Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile Colombia Comores Congo (Democratic Republic Of The) Congo (Republic Of The) Cook Islands Costa Rica Croatia Cuba Cyprus Czech Republic Denmark Djibouti Dominica Dominican Republic East Timor Ecuador Egypt El Salvador Equatorial Guinea Eritrea Estonia Ethiopia Faroe Islands Fidji Finland France French Guyana French Polynesia (Thaiti) Gabon Gambia Georgia Germany Ghana Greece Greenland Grenada Guadelupe Guam Guatemala Guinea Guinea Bissau Guyana Haiti Honduras Hong Kong Hungary Iceland India Indonesia International Iran Iraq Ireland Israel Italy Ivory Coast Jamaica Japan Jordan Kazakhstan Kenya Kiribati Kuwait Kyrgyzstan Laos Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macao Macedonia (FYRo) Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mexico Micronesia, Federated States Of Moldavia Monaco Mongolia Montenegro Montserrat Morocco Mozambique Myanmar (Burma) Namibia Nauru Nepal Netherlands Netherlands Antilles New Caledonia New Zealand Nicaragua Niger Nigeria North Korea Norway Oman Pakistan Palastine Palau Panama Papua New Guinea Paraguay Peru Philippines Poland Portugal Puerto Rico Qatar Reunion Islands (France) Romania Russia Rwanda Saint Kitts And Nevis Saint Lucia Saint Pierre And Miquelon Saint Vincent And The Grenadines Samoa American San Marino Sao Tome And Principe Saudi Arabia Senegal Serbia Seychelles Sierra Leone Singapore Slovakia Slovenia Solomon Islands Somalia South Africa South Korea Spain Sri Lanka Sudan Surinam Swaziland Sweden Switzerland Syria Taiwan Tajikistan Tanzania Thailand Togo Tonga Islands Trinidad And Tobago Tunisia Turkey Turkmenistan Tuvalu Uganda Ukraine United Arab Emirates United Kingdom United States Uruguay Usbekistan Vanuatu Vatican City Venezuela Vietnam Virgin Islands (Uk) Virgin Islands (Us) Yemen Zambia Zimbabwe AFRICA EUROPE |
Nazionalità dei candidati |
Afghanistan Albania Algeria American Samoa Andorra Angola Antigua And Barbuda Argentina Armenia Aruba Australia Austria Azerbaidjan Bahamas Bahrain Bangladesh Barbados Belarus Belgium Belize Benin Bermudas Bhutan Bolivia Bosnia-Herzegovina Botswana Brazil Brunei Bulgaria Burkina-Faso Burundi Cambodia Cameroon Canada Cape Verde Cayman Islands Central African Republic Chad Chile Colombia Comores Congo (Democratic Republic Of The) Congo (Republic Of The) Cook Islands Costa Rica Croatia Cuba Cyprus Czech Republic Denmark Djibouti Dominica Dominican Republic East Timor Ecuador Egypt El Salvador Equatorial Guinea Eritrea Estonia Ethiopia Faroe Islands Fidji Finland France French Guyana French Polynesia (Thaiti) Gabon Gambia Georgia Germany Ghana Greece Greenland Grenada Guadelupe Guam Guatemala Guinea Guinea Bissau Guyana Haiti Honduras Hong Kong Hungary Iceland India Indonesia International Iran Iraq Ireland Israel Italy Ivory Coast Jamaica Japan Jordan Kazakhstan Kenya Kiribati Kuwait Kyrgyzstan Laos Latvia Lebanon Lesotho Liberia Libya Liechtenstein Lithuania Luxembourg Macao Macedonia (FYRo) Madagascar Malawi Malaysia Maldives Mali Malta Marshall Islands Martinique Mauritania Mauritius Mexico Micronesia, Federated States Of Moldavia Monaco Mongolia Montenegro Montserrat Morocco Mozambique Myanmar (Burma) Namibia Nauru Nepal Netherlands Netherlands Antilles New Caledonia New Zealand Nicaragua Niger Nigeria North Korea Norway Oman Pakistan Palastine Palau Panama Papua New Guinea Paraguay Peru Philippines Poland Portugal Puerto Rico Qatar Reunion Islands (France) Romania Russia Rwanda Saint Kitts And Nevis Saint Lucia Saint Pierre And Miquelon Saint Vincent And The Grenadines Samoa American San Marino Sao Tome And Principe Saudi Arabia Senegal Serbia Seychelles Sierra Leone Singapore Slovakia Slovenia Solomon Islands Somalia South Africa South Korea Spain Sri Lanka Sudan Surinam Swaziland Sweden Switzerland Syria Taiwan Tajikistan Tanzania Thailand Togo Tonga Islands Trinidad And Tobago Tunisia Turkey Turkmenistan Tuvalu Uganda Ukraine United Arab Emirates United Kingdom United States Uruguay Usbekistan Vanuatu Vatican City Venezuela Vietnam Virgin Islands (Uk) Virgin Islands (Us) Yemen Zambia Zimbabwe AFRICA EUROPE |
Sito web del bando | https://www.imtlucca.it/school/job-opportunities/academic/290 |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|
Nome dell'Ente finanziatore | Scuola IMT Alti Studi Lucca |
---|---|
Tipologia dell'Ente | Academic |
Paese dell'Ente | Italy |
Città | Lucca |
Codice postale | 55100 |
Indirizzo | Piazza San Ponziano, 6 |
Sito web | https://www.imtlucca.it/ |
researchers.opening@imtlucca.it | |
Telefono | 0583 4326710/556 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
---|
Data di scadenza del bando | 01/08/2016 - alle ore 00:00 |
---|---|
Come candidarsi | https://applications.imtlucca.it/research_collaborator_positions/application.php |