Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Tecniche e strumenti per la verifica automatica di modelli di apprendimento computazionale |
|---|---|
| Titolo del progetto di ricerca in inglese | Techniques and tools for the automated verification of machine learning models. |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Il programma di ricerca prevede lo sviluppo di tecniche per la verifica automatica di modelli di apprendimento computazionale con particolare riferimento alle reti neurali artificiali. Date opportune precondizioni sugli ingressi e postcondizioni sulle uscite, le tecniche dovranno essere in grado di certificare che la rete neurale rispetta le postcondizioni a patto che gli ingressi rispettino le precondizioni. Inoltre verranno indagate tecniche che consentano di correggere la rete affinché proprietà violate siano poi verificate. Le tecniche dovranno essere realizzate all’interno di strumenti algoritmici che possano automatizzare in modo efficace la verifica |
| Descrizione sintetica in inglese | The research program is about techniques for the automated verification of machine learning models with a focus on artificial neural networks. Given suitable input preconditions and output postconditions, the devised technique will have to make sure that the neural network fulfils the postconditions given the preconditions. Techniques that can repair the network in order to make the stated properties verified will also be sought. Such techniques will have to be implemented in algorithmic tools to automate the verification process effectively |
| Data del bando | 29/07/2022 |
| Numero di assegnazioni per anno | 1 |
| 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.unige.it/concorsi/assricerca/ |
| 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 | 28682 |
| 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 |
| Criteri di selezione in italiano (breve descrizione) |
Titolo di studio per partecipare alla selezione specificato nel bando per ogni programma di ricerca. Il bando per partecipare alla selezione è disponibile all'indirizzo: https://concorsi.unige.it/home Le domande e i CV spediti per e-mail non sono accettati |
| Criteri di selezione in inglese (breve descrizione) |
The qualification to apply every selection is specified in the notice for each research program. To apply for research grants: https://concorsi.unige.it/home Applications and CVs sent by e-mail are not accepted |
| Processo di selezione in italiano (breve descrizione) | valutazione dei titoli presentati e colloquio concernente gli argomenti previsti dal bando |
| Processo di selezione in inglese (breve descrizione) | evaluation of presented titles and interview on the subjects specified by the notice |
| Nome dell'Ente finanziatore | Università degli Studi di Genova |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Genova |
| Codice postale | 16126 |
| Indirizzo | Via Balbi, 5 |
| Sito web | http://www.unige.it/concorsi/assricerca/ |
| assegnisti@unige.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 29/08/2022 |
|---|---|
| Come candidarsi | https://concorsi.unige.it/home |