Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | POR FESR LAZIO 2014-2020 - GRUPPI DI RICERCA 2020 - OPENNESS |
|---|---|
| Titolo del progetto di ricerca in inglese | POR FESR LAZIO 2014-2020 - GRUPPI DI RICERCA 2020 - OPENNESS |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Le tecnologie AI hanno consentito l'emergere di applicazioni software di nuova generazione; allo stesso tempo una significativa maturazione degli approcci SQA per AI non c'è ancora stata. Vi è una crescente consapevolezza del potenziale rischio dovuto a errori di progettazione, obiettivi scarsamente specificati o errata applicazione delle componenti AI di un sistema. Inoltre, i sistemi AI sono spesso implementati senza l'uso di specifiche chiaramente e completamente strutturate. Pertanto, è difficile stabilire criteri di conformità chiari che possano essere utilizzati in modo affidabile per argomentarne la correttezza. Anche quando è possibile l'uso di tecniche V&V tradizionali, il modo specifico in cui i sistemi di AI sono concepiti solleva sfide difficili per approcci V&V che siano affidabili. L'attività di ricerca contribuisce all'applicazione di tecniche di testing e verifica formale per la validazione di sistemi di decisione AI/ML rappresentati mediante soluzioni di X-AI |
| Descrizione sintetica in inglese | The proliferation of AI technologies has allowed the emergence of new generation software applications, but at the same time there has not yet been a significant maturation of SQA approaches for AI applications. There is growing awareness of the potential risk of design errors, poorly specified objectives or barely incorrect application of the AI components of a system. Also, AI systems are often implemented without fully structured, formal/semi-formal, specifications. Thus, it is difficult to establish clear conformance criteria that can be reliably used in order to argument their correct behaviour. Even though traditional V&V techniques could be applied, the specific way AI systems are actually conceived raises hard challenges for engineering reliable V&V approaches. The objective of the research activity is to contribute to the application of testing and formal verification techniques for the validation of AI/ML decision systems represented by means of X-AI solutions. |
| Data del bando | 04/10/2022 |
| Numero di assegnazioni per anno | 1 |
| E' richiesta mobilità internazionale? | yes |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://www.urp.cnr.it |
| 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 | 19367 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | yes |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | no |
| Massima durata dell'assegno (mesi) | 12 |
| Nome dell'Ente finanziatore | CNR-ISTITUTO DI ANALISI DEI SISTEMI ED INFORMATICA |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | ROMA |
| Codice postale | 00185 |
| Indirizzo | VIA DEI TAURINI, 19 |
| Sito web | http://www.iasi.cnr.it |
| segreteria@iasi.cnr.it | |
| Telefono | 06-49937102 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 25/10/2022 - alle ore 00:00 |
|---|---|
| Come candidarsi | protocollo.iasi@pec.cnr.it |