PostdocMatematica, fisica e chimica
Modellazione e verifica formale dei protocolli di sicurezza e zero-knowledge
Deadline23 settembre 2026
Pubblicato08 settembre 2026
Aggiornamento scheda11 settembre 2026
Settore scientifico-disciplinare (SSD)MATH-01/A - Logica matematica
Gruppo scientifico-disciplinare (GSD)01/MATH-01 - LOGICA MATEMATICA, DIDATTICA E STORIA DELLA MATEMATICA
DurataDa bando ufficiale
Importo39.224
LinguaIT/EN
Sintesi
Procedura di valutazione comparativa per il conferimento di 1 posizione di Post Doctoral Fellow con incarico postdoc in "Modellazione e verifica formale dei protocolli di sicurezza e zero-knowledge"
Requisiti principali
- Requisiti indicati nel bando ufficiale
Opportunità correlate
- Analisi di dati remoti e prossimali multisorgente per il monitoraggio ambientale mediante metodologie di machine e/o deep learning — Università degli studi di Bari · Scadenza: 17 settembre 2026
- Selezione pubblica per incarichi post-doc — Università degli studi di Firenze · Scadenza: 18 settembre 2026
- Selezione pubblica per incarichi post-doc — Università degli studi di Firenze · Scadenza: 18 settembre 2026