Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Verifica automatica di programmi basata su programmazione logica con vincoli |
|---|---|
| Titolo del progetto di ricerca in inglese | Automatic verification of programs based on constraint logic programming |
| Campo principale della ricerca | Computer science |
| Sottocampo della ricerca | Computer systems |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | INF/01 - INFORMATICA |
| Descrizione sintetica in italiano | La programmazione logica con vincoli viene usata con successo per la verifica automatica delle proprietà dei programmi, anche in ambito industriale. Viene usata per modellare la semantica del linguaggio di programmazione e della logica nella quale viene specificata la proprietà da verificare, ed anche per la verifica delle proprietà stesse mediante l'uso di tecniche di trasformazione e di analisi di programmi logici con vincoli. |
| Descrizione sintetica in inglese | Constraint logic programming is used successfully for automatic verification of programs, even in industrial environments. Is used to model the semantics of programming language and logic in which property is specified to be checked, and also to check the same property by the use of processing techniques and analysis of logic programs with constraints. |
| Data del bando | 01/07/2014 |
| Numero di assegnazioni per anno | 1 |
| Stanziamento annuale (indicativo) | 23.075 |
| Periodicità | annuale |
| E' richiesta mobilità internazionale? | no |
| Paesi in cui può essere condotta la ricerca |
All |
| Paesi di residenza dei candidati |
All |
| Nazionalità dei candidati |
All |
| Sito web del bando | http://www.unich.it |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|---|
| Il contratto prevede la copertura delle prestazioni sociali? | no |
| Importo annuale | 23.075 |
| Valuta | Euro |
| Comprende lo stipendio dell'assegnista | no |
| Comprende vitto e spese di viaggio | no |
| Comprende il costo della ricerca | yes |
| Criteri di selezione in italiano (breve descrizione) | l'assegno di cui al presente bando è erogato previa valutazione comparativa basata sui titoli presentati dai candidati |
| Criteri di selezione in inglese (breve descrizione) |
the research grant under this contract shall be granted after a comparative evaluation based on the qualifications presented by applicants |
| Processo di selezione in italiano (breve descrizione) |
a)dei titoli e pubblicazioni scientifiche compresi: il dottorato di ricerca o titolo equipollente conseguito all'estero, del diploma di specializzazione di area medica, degli attestati di frequenza a corsi di perfezionamento post-laurea conseguiti all'estero nonchè dello svolgimento di una documentata attività di ricerca presso soggetti pubblici e provati, a mezzo di contratti, borse di studio o incarichi, sia in Italia che all'estero (60 punti su 100). b) del colloquio (40 punti su cento). Non possono essere ammessi al colloquio i candidati che abbiano ottenuto meno di 20/100 nella valutazione dei titoli. Le procedure concorsuali si concluderanno con la nomina del vincitore e con la formazione di una graduatoria di idonei valida fino a un massimo di un anno, il cui utilizzo è vincolato alle specifiche esigenze indicate nel bando |
| Processo di selezione in inglese (breve descrizione) |
a) the titles and scientific publications including: a PhD or equivalent qualification obtained abroad, the degree of specialization of the medical area, the certificates of attendance at post-graduate courses taken abroad as well as the performance of a documented research at public and tested by means of contracts, grants or assignments, both in Italy and abroad (60 points out of 100). b) interview (40 points out of a hundred). Can not be allowed to interview candidates who have obtained less than 20/100 in the valuation of securities. The bankruptcy proceedings will conclude with the winner and the formation of a list of suitable valid up to a maximum of one year, whose use is restricted to the specific requirements specified in the notice |
| Nome dell'Ente finanziatore | Università degli Studi |
|---|---|
| Tipologia dell'Ente | Public research |
| Paese dell'Ente | Italy |
| Città | Chieti |
| Codice postale | 66013 |
| Indirizzo | Via dei Vestini n. 13 |
| Sito web | http://www.unich.it |
| assegnidiricerca@unich.it | |
| Telefono | 0871/3556080 |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 01/08/2014 - alle ore 00:00 |
|---|---|
| Come candidarsi | Other |