Bandi per assegni di ricerca

Scuola IMT Alti Studi - LUCCA

Torna ai risultati della ricerca
Bando per assegno di ricerca
Descrizione del bando
Titolo del progetto di ricerca in italiano Collaboratore di ricerca in Testing, modellazione e verifica di proprietà di sicurezza di dispositivi dedicati alla sicurezza
Titolo del progetto di ricerca in inglese Research collaborator in Security Testing, Modeling, and Verification of Dedicated Security Devices
Campo principale della ricerca Computer science
Sottocampo della ricerca Informatics
Campo principale della ricerca Computer science
Sottocampo della ricerca Other
G.S.D. 01/INFO-01 - INFORMATICA
S.S.D INFO-01/A - Informatica
G.S.D. 09/IINF-05 - SISTEMI DI ELABORAZIONE DELLE INFORMAZIONI
S.S.D IINF-05/A - Sistemi di elaborazione delle informazioni
Descrizione sintetica in italiano Campi: metodi formali, protocolli crittografici, verifica formale;
Profilo: Il/La candidato/a dovrà condurre ricerche riguardanti il testing di sicurezza e l'analisi di protocolli e sistemi informatici usando tecniche basate su metodi formali. Il/La candidato/a deve dimostrare di possedere una buona conoscenza delle tematiche più rilevanti in materia di sicurezza e metodi formali.
Attività: La persona selezionata lavorerà sul progetto MUR PRIN 2022 PNRR “AMADEUS: Automatic Modelling and verificAtion of Dedicated sEcUrity deviceS”. L'obiettivo del progetto è definire una metodologia di specifica e verifica per dispositivi hardware dedicati alla sicurezza. La persona selezionata progetterà e svilupperà tecniche per estrarre un modello formale direttamente dall'implementazione dei dispositivi, e tecniche per verificare che soddisfino dei requisiti di sicurezza dati
Descrizione sintetica in inglese Fields: Formal Methods, Cryptographic Protocols, Formal verification. Profile: The candidate is expected to carry out research concerning security testing and analysis of protocols and computing systems using on formal methods. The candidate is expected to have a good knowledge of relevant topics in security and formal methods. Activity: The successful candidate will work on the MUR PRIN 2022 AMADEUS project. The goal of the project is to define a specification and verification methodology for dedicated security devices. The successful candidate will design and develop techniques to obtain a formal model directly from the devices implementation, and then verify that they meet a set of security requirements.
Data del bando 10/07/2024
Numero di assegnazioni per anno 1
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.imtlucca.it/it/jobopportunity/security-testing-modeling-and-verification-of-dedicated-security-devices

 

Dettagli dell'assegno di ricerca
Destinatari dell'assegno di ricerca (of target group) Early stage researcher or 0-4 yrs (Post graduate)
Experienced researcher or 4-10 yrs (Post-Doc)

 

Finanziatore
Nome dell'Ente finanziatore Scuola IMT Alti Studi Lucca
Tipologia dell'Ente Academic
Paese dell'Ente Italy
Città Lucca
Sito web http://www.imtlucca.it

 

Contatto presso l'Ente
E-mail researchers.opening@imtlucca.it

 

EU Research Framework Programme
L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? No

 

Dettagli per la candidatura
Data di scadenza del bando 06/09/2024
Come candidarsi https://www.imtlucca.it/it/jobopportunity/security-testing-modeling-and-verification-of-dedicated-security-devices