Post Doctoral Fellow in Formal Methods per Security Engineering
Con Esperienza

Scuola IMT Alti Studi Lucca's logo

Scuola IMT Alti Studi Lucca

Piazza San Ponziano, San Concordio, Lucca, Lucca, Toscana, Italia

Di persona

Contratto temporaneo

Ricerca e Istruzione

Descrizione della Posizione Lavorativa

Procedura per il conferimento di una (1) posizione di Post Doctoral Fellow con incarico post-doc ai sensi dell’art. 22-bis della legge 240/2010, nell’ambito "Formal Methods Techniques for Security Engineering", sotto la supervisione del prof. Tribastone. Pubblicazione: 16-04-2026 - 15-06-2026. Ufficio proponente: Ufficio Risorse Umane e Organizzazione. La posizione è finalizzata a attività di ricerca specialistica nel campo dei metodi formali applicati alla ingegneria della sicurezza; i dettagli sui requisiti, criteri di selezione e modalità di candidatura sono indicati nel bando ufficiale.

Requisiti

Dottorato di ricerca o titolo riconosciuto equivalente come previsto dall’art. 22-bis L.240/2010; requisiti dettagliati nel bando.

Competenze richieste

  • Competenze professionali
  • Metodi formali Verifica formale Sicurezza informatica Programmazione e tool di verifica
  • Competenze trasversali
  • Problem solving Lavoro in team Comunicazione scientifica