Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | “Tecniche per verifica di requisiti e correzione automatica in Sistemi Ciberfisici complessi” |
---|---|
Titolo del progetto di ricerca in inglese | “Techniques for requirements verification and automated repair in complex Cyber-Physical Systems” |
Campo principale della ricerca | Engineering |
Sottocampo della ricerca | Communication engineering |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Nell'ambito del Progetto EU CERBERO, fornire metodologie per la verifica (formale) automatizzata atte al supporto dei progettisti, al fine di identificare rapidamente gli errori e correggerli mediante tecniche automatiche di correzione in fase di progettazione di Sistemi Ciberfisici complessi. |
Descrizione sintetica in inglese | In the context of the EU Project CERBERO, provide automated (formal) verification methodologies to support designers to rapidly identify errors and correct them by means of automated repair techniques, at the design stage, in complex Cyber-Physical Systems scenarios. |
Data del bando | 01/06/2017 |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
International |
Nazionalità dei candidati |
International |
Sito web del bando | https://www.uniss.it/bandi/bando-n-4-assegni-di-ricerca-presso-il-dipartimento-di-scienze-politiche-scienze-della-comunicazione-e-ingegneria-dellinformazione |
Destinatari dell'assegno di ricerca (of target group) |
Early stage researcher or 0-4 yrs (Post graduate) |
---|---|
Importo annuale | 19367 |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Comprende vitto e spese di viaggio | no |
Comprende il costo della ricerca | yes |
Criteri di selezione in italiano (breve descrizione) |
Per la partecipazione al concorso sono richiesti, pena l'esclusione, i seguenti requisiti: Dottorato di ricerca o titolo equivalente conseguito all’estero ovvero, per i settori interessati, il titolo di specializzazione di area medica corredato di un’adeguata produzione scientifica o in alternativa il possesso di Laurea specialistica, ovvero Laurea magistrale, o diploma di laurea conseguito ai sensi del precedente ordinamento di durata quadriennale, conseguito presso una Università italiana o un titolo di studio conseguito all’estero e possesso di curriculum scientifico professionale idoneo per lo svolgimento di attività di ricerca maturato in non meno di due anni di attività. |
Criteri di selezione in inglese (breve descrizione) |
Eligible candidates are required to possess one of following titles/qualifications: - PhD’s (or equivalent foreign qualification) in all relevant sectors of expertise - Post-graduate (medical field) with an suitable number/quality of publications OR Bachelor’s degree or Master’s degree obtained within the Italian pre-reform 4-year university course system, issued by an Italian University or an equivalent foreign institution PLUS scientific professional certification of research experience, for a period of at least two (2) years. Failure to comply with the afore-mentioned provisions will result in exclusion from the competition. |
Processo di selezione in italiano (breve descrizione) | per titoli e colloquio (in Sassari) |
Processo di selezione in inglese (breve descrizione) | qualifications and interview (in Sassari) |
Nome dell'Ente finanziatore | Dipartimento di Scienze Politiche, Scienze della Comunicazione e Ingegneria dell’Informazione dell’Università degli Studi di Sassari |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Sassari |
Codice postale | 07100 |
Indirizzo | Viale Mancini n. 5 |
Sito web | http://hostweb3.ammin.uniss.it/php/polcoming.php |
a.manzoni@uniss.it | |
Telefono | 079228879 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 20/06/2017 - alle ore 00:00 |
---|---|
Come candidarsi | Other |