Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Utilizzo di verifica basata su asserzioni e calcolo approssimato in IA per la produzione intelligente |
|---|---|
| Titolo del progetto di ricerca in inglese | On the use of assertion-based verification for approximate computing design exploration in AI for smart manufacturing |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | ING-INF/05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI |
| Descrizione sintetica in italiano | Questo progetto ha lo scopo di: - Definire e implementare uno strumento per guidare l'approssimazione di un design durante la fase di design exploration, usando la descrizione comportamentale del design stesso e le asserzioni temporali estratte automaticamente dalla sua implementazione. L’obiettivo consiste nell’analizzare le asserzioni per prevedere quali istruzioni presenti nella descrizione del design influenzano maggiormente la loro valutazione. L'analisi sarà basata sullo studio sintattico e semantico delle asserzioni e delle istruzioni del design e della loro frequenza di attivazione/esecuzione. - Applicare e valutare lo strumento per approssimare componenti HW/SW che utilizzano algoritmi di intelligenza artificiale e che sono solitamente inclusi nell’implementazione di digital twin per linee di produzione intelligente. |
| Descrizione sintetica in inglese | This project is intended to: - Define and implement a tool for guiding the approximation of a design under exploration (DUE), by leveraging on the temporal assertions automatically mined from the DUE, and on the behavioral description of the DUE itself. We aim at analyzing assertions to predict which design statements might primarily influence their evaluation. The analysis will be based on the syntactic and semantic study of the assertions and the DUE statements and their activation/execution frequency. - Apply and evaluate the tool in the context of the approximation of AI-based HW/SW components included in the implementation of digital twins for smart manufacturing scenarios. |
| Data del bando | 14/11/2022 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 25000 |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| Nazionalità dei candidati |
AFRICA EUROPE OCEANIA NORTH AMERICA SOUTH AMERICA ASIA |
| Sito web del bando | https://www.univr.it/it/concorsi/assegnisti-di-ricerca/assegni-di-ricerca/0/10928 |
| 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 | 20260 |
| 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) | 24 |
| Criteri di selezione in italiano (breve descrizione) |
Per l'ammissione alla selezione di cui al precedente art. 1 è richiesto il possesso dei seguenti requisiti: a) Titolo di Dottore di Ricerca, ovvero Laurea Magistrale [conseguita ai sensi dell’art. 3, comma 1, lettera n), D.M. 22 ottobre 2004, n. 270], o Laurea Specialistica [conseguita ai sensi dell’art. 3, comma 1, lettera b), D.M. 3 novembre 1999, n. 509], o Diploma di Laurea [conseguito ai sensi degli ordinamenti didattici previgenti al D.M. 3 novembre 1999, n. 509, a conclusione di un corso di studi di durata non inferiore a quattro anni], e possesso di curriculum scientifico-professionale idoneo allo svolgimento di attività di ricerca; b) Conoscenza della seguente lingua straniera: inglese; c) Ulteriori requisiti: attività di ricerca e/o di sviluppo nel settore scientifico-disciplinare: ING-INF/05 SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI. |
| Criteri di selezione in inglese (breve descrizione) |
For admission to the selection process referred to in Art. 1, potential candidates must fulfil the following requirements: a) PhD or Master’s degree [Laurea Magistrale awarded pursuant to Art. 3(1n), Ministerial Decree no. 270 of 22/10/04] or previous Master’s degree [Laurea Specialistica awarded pursuant to Art. 3(1b), Ministerial Decree no. 509 of 03/11/99] or previous Bachelor’s degree [awarded pursuant to the teaching systems prior to Ministerial Decree no. 509 of 03/11/99, at the conclusion of a study programme at least 4 years in length], and a suitable academic and professional background for conducting research; b) Knowledge of the following foreign language: English; c) Other requirements: documented research and/or development experience in the disciplinary sector: ING-INF/05 INFORMATION PROCESSING SYSTEMS. |
| Processo di selezione in italiano (breve descrizione) | La selezione avverrà attraverso la valutazione dei titoli prodotti dai candidati e un colloquio. |
| Processo di selezione in inglese (breve descrizione) | The competition will be carried out by an evaluation of titles and examination by means of an interview. |
| Nome dell'Ente finanziatore | Università degli Studi di Verona - Dipartimento di Informatica |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Verona |
| Codice postale | 37129 |
| Indirizzo | Via dell'Artigliere, 8 |
| Sito web | https://www.univr.it/home |
| elena.cordioli@univr.it | |
| Telefono | +39 (0)458028204 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 05/12/2022 - alle ore 00:00 |
|---|---|
| Come candidarsi | ufficio.protocollo@pec.univr.it |