Procedura di valutazione comparativa per il conferimento di 1 posizione di Post Doctoral Fellow con incarico post-doc in "Formal Methods Techniques for Security Engineering"

Profile:

Il/la candidato/a dovrà svolgere attività di ricerca sull’applicazione di tecniche di metodi formali per la sicurezza dei sistemi di calcolo. Il/La candidato/a ideale dovrà dimostrare una precedente esperienza su tematiche rilevanti nell’ambito della security engineering e dei metodi formali, quali sicurezza del software, sicurezza dei sistemi, proprietà di information flow, controllo degli accessi, modellazione e verifica formale di protocolli di sicurezza.

Activity:

Il/La candidato/a selezionato/a dovrà svolgere attività di ricerca sull’applicazione dei metodi formali per la verifica delle proprietà di
flusso di informazioni nelle politiche di controllo degli accessi e nei protocolli di sicurezza. In particolare, il/la candidato/a applicherà
semantiche formali, tecniche di model checking e strumenti automatizzati di verifica formale, quali gli SMT solver, al fine di dimostrare formalmente la correttezza e le proprietà di sicurezza dei sistemi oggetto di analisi. Inoltre, il/la candidato/a parteciperà ai
progetti di ricerca della Scuola e contribuirà allo sviluppo di nuove collaborazioni con gruppi di ricerca internazionali. È altresì prevista la collaborazione nelle attività di supervisione e formazione dei dottorandi della Scuola.

Duration:

12 mesi

Gross amount:

€ 28.283,00 annuo lordo

Formal requirements:

• PhD in Computer science;

  Requisiti specifici:

• Conoscenza specifica nei seguenti ambiti:
  - security engineering, modellazione e analisi
  - metodi formali e verifica

SSD:

INFO-01/A - Informatica