Bando per assegno di ricerca
Titolo del progetto di ricerca in italiano | Tecniche per l'esecuzione sicura di byte code su Java Card Virtual Machine |
---|---|
Titolo del progetto di ricerca in inglese | Tecniques for the safe execution of bytecode on a Java Card Virtual Machine |
Settore Concorsuale | 01 - Scienze matematiche e informatiche |
S.S.D | INF/01 - INFORMATICA |
Descrizione sintetica in italiano | In ambito smart card,la Java Card Virtual Machine deve fornire meccanismi che garantiscano l’esecuzione sicura delle applet. La ricerca mirerà ad innovare ed ottimizzare le tecniche di verifica di bytecode e di controllo durante l’esecuzione all’interno di una Java Card Virtual Machine.L’ambito delle Java Card Virtual Machine è caratterizzato da quantità di memoria e capacità di elaborazione molto ridotte.Le tecniche e gli algoritmi di verifica e di controllo allo stato dell’arte,tipiche di sistemi più grandi,dovranno quindi essere rielaborate ed ottimizzate.La ricerca dovrà valutare costantemente la quantità di risorse usate dagli algoritmi di verifica e controllo propostie ed i tempi di risposta di tali algoritmi.Questo permetterà di ricercare strategie all’interno del funzionamento dettato dai vincoli dell’hardware delle smart card.Il candidato ideale dovrà avere comprovata esperienza nell’ambito della ricerca orientata alla gestione di risorse |
Descrizione sintetica in inglese | A Java Card Virtual Machine for smartcards has to provide some mechanisms ensuring that execution of applets occurs in a safely manner.The research activities aim at finding novel and optimised techniques for verifying the bytecode and for checking execution within a Java Card Virtual Machine. A Java Card Virtual Machine is characterised by a minimal amount of memory and computational resources. Hence, the state of the art techniques and algorithms for verification and checks,usually employed when a greater amount of resources are available,have to be modified and optimised. Therefore,it is of great importance to monitor the amount of resources used by the proposed algorithms,as well as the execution time of such algorithms.Memory footprint and performances of the proposed algorithms will be monitored and improved cyclically in order to meet the imposed hardware constraints.The candidate should have experience in the research field concerning resource management |
Data del bando | 13/07/2012 |
Numero di assegnazioni per anno | 1 |
E' richiesta mobilità internazionale? | no |
Paesi in cui può essere condotta la ricerca |
Italy |
Paesi di residenza dei candidati |
All |
Nazionalità dei candidati |
All |
Sito web del bando | http://151.97.1.4/unictnet/Pagina/Portale/Home/Canali_informativi/Bandi/0/archivio/2012/08/06/10516_.aspx |
Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
---|---|
Il contratto prevede la copertura delle prestazioni sociali? | yes |
Importo annuale | 19367.00 |
Valuta | Euro |
Comprende lo stipendio dell'assegnista | yes |
Massima durata dell'assegno (mesi) | 12 |
Criteri di selezione in italiano (breve descrizione) | Sono ammessi i dottori di ricerca, i titolari di un diploma di scuola di specializzazione, i soggetti in possesso da almeno 3 anni di laurea specialistica o magistrale ovvero di diploma di laurea secondo il V.O., con curriculum scientifico. Non possono partecipare coloro che abbiano un grado di parentela o di affinità, fino al quarto grado compreso, con professore appartenente al dipartimento che ha deliberato il programma di ricerca, ovvero con il Rettore, o un componente del C d A dell’Ateneo. I requisiti devono essere posseduti alla data di scadenza del termine utile per la presentazione della domanda. I candidati sono ammessi con riserva. L’Amministrazione può disporre, in ogni momento, con provvedimento motivato, l’esclusione dalle pubbliche selezioni per difetto dei requisiti prescritti |
Processo di selezione in italiano (breve descrizione) | La selezione è per titoli e per colloquio sulla base dei seguenti criteri: valutazione dei titoli fino ad un massimo di 60 punti e 40 punti per il colloquio. Per essere ammessi al colloquio i candidati dovranno conseguire una valutazione titoli non inferiore a 30 punti . La valutazione dei titoli precede il colloquio e sarà resa nota mediante pubblicazione sul sito web del dipartimento interessato. La data del colloquio sarà comunicata ai candidati ammessi con raccomandata A.R. Al termine del colloquio, la Commissione forma l’elenco dei candidati, con l’indicazione del voto riportato. L’elenco verrà affisso presso la sede degli esami. La mancata presentazione al colloquio sarà considerata come rinuncia alla selezione, quale ne sia la causa. La votazione complessiva, per ciascun candidato,è determinata dalla somma dei punteggi ottenuti.La Commissione formula la graduatoria dei candidati che abbiano conseguito una votazione complessiva di almeno 70punti e a individuare il vincitore |
Nome dell'Ente finanziatore | Università degli Studi di Catania |
---|---|
Tipologia dell'Ente | Public research |
Paese dell'Ente | Italy |
Città | Catania |
Codice postale | 95131 |
Indirizzo | Piazza Univeristà n.2 |
Sito web | http://www.unict.it |
tramonta@dmi.unict.it |
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
---|
Data di scadenza del bando | 06/08/2012 - alle ore 00:00 |
---|---|
Come candidarsi | Other |