Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodologie per la verifica di sistemi complessi generati automaticamente nell’ambito del progetto PandA (http://panda.dei.polimi.it) |
|---|---|
| Titolo del progetto di ricerca in inglese | Metodologies for the verification of automatically generated complex systems in the context of project PandA (http://panda.dei.polimi.it) |
| Settore Concorsuale | 09 - Ingegneria industriale e dell'informazione |
| S.S.D | - |
| Descrizione sintetica in italiano | Analisi delle tecniche correnti di verifica di sistemi complessi generati automaticamente. Sviluppo di procedure e metodologie per la verifica di sistemi complessi generati automaticamente a partire da nella traduzione di codice C in descrizioni hardware. Le procedure da sviluppare specializzeranno il flusso di progetto attuale aggiungendo una più metodologie atte alla verifica delle specifiche generate automaticamente. Valutazione sperimentale delle tecniche proposte. |
| Descrizione sintetica in inglese | Review of the current state of art in term of methodologies for the verification of automatically generated complex systems. Development of procedures and methodologies for the verification of automatically generated complex systems starting from C based specification translated in hardware oriented descriptions. The developed procedures will customize the current design flow by adding one or more metholodogies aimed to the verification of the automatically generated descriptions. Experimental evaluation of the proposed techniques. |
| Data del bando | 29/12/2014 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
|---|---|
| Processo di selezione in italiano (breve descrizione) | Per partecipare alla selezione, si prega di leggere il bando disponibile sul sito web: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Processo di selezione in inglese (breve descrizione) | In order to participate in the selection, please read the notice of selection (“bando”) available at the following website: http://www.polimi.it/lavora-con-noi/collaborazioni-di-ricerca/assegnidiricerca/ |
| Nome dell'Ente finanziatore | Dipartimento di Elettronica, Informazione e Bioingegneria |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Milano |
| Sito web | http://www.dei.polimi.it |
| assegniricerca@polimi.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | Fp7/Other |
|---|
| Data di scadenza del bando | 29/12/2014 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |