Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Tecniche e strumenti per verifica formale |
---|---|
Titolo del progetto di ricerca in inglese | Tecniche e strumenti per verifica formale |
Campo principale della ricerca | Computer science |
Sottocampo della ricerca | Informatics |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | Nell'ambito del Progetto IMOCO4.E (Intelligent Motion Control under Industry 4.E, https://cordis.europa.eu/project/id/101007311), studio e sviluppo di metodi e strumenti per la verifica formale di Sistemi Ciberfisici complessi |
Descrizione sintetica in inglese | In the context of the Project Progetto IMOCO4.E (Intelligent Motion Control under Industry 4.E, https://cordis.europa.eu/project/id/101007311), design and development of techniques and tools for formal verification of the design of complex Cyber-Physical Systems |
Data del bando | 22/12/2022 |
Numero di assegnazioni per anno | 1 |
Stanziamento annuale (indicativo) | 27000 |
Periodicità | 12 |
E' richiesta mobilità internazionale? | no |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
EUROPE |
Nazionalità dei candidati |
EUROPE |
Sito web del bando | https://msite.uniss.it/bandi/bando-n-1-assegno-di-ricerca-della-durata-di-12-mesi-ssd-inf01-informatica-progetto-imoco4e-cup-j85f21003840007-resp-prof-pulina |
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 | 27000 |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Comprende vitto e spese di viaggio | no |
Massima durata dell'assegno (mesi) | 12 |
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 |
Processo di selezione in inglese (breve descrizione) | Qualifications and interview |
Nome dell'Ente finanziatore | Dipartimento di scienze umanistiche e sociali |
---|---|
Tipologia dell'Ente | Academic |
Paese dell'Ente | Italy |
Città | Sassari |
Codice postale | 07100 |
Indirizzo | Via Roma, 151 |
Sito web | https://dumas.uniss.it/it |
apsanna@uniss.it | |
sidini@uniss.it | |
Telefono | +39079229743 |
Telefono | +39079229667 |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 10/03/2023 |
---|---|
Come candidarsi | Other |