Torna ai risultati della ricercaBando per assegno di ricerca
| Titolo del progetto di ricerca in italiano | Metodi logici e verifica formale di algoritmi crittografici |
|---|---|
| Titolo del progetto di ricerca in inglese | Logical Methods and Formal Verification of Cryptographic Algorithms |
| Settore Concorsuale | 01 - Scienze matematiche e informatiche |
| S.S.D | - |
| Descrizione sintetica in italiano | Questo programma di ricerca si prefigge di studiare ed eventualmente sviluppare linguaggi specializzati per la descrizione e verifica formale di algoritmi e protocolli crittografici. |
| Descrizione sintetica in inglese | This research program aims to study and eventually develop specialized languages for the description and formal verification of cryptographic algorithms and protocols |
| Data del bando | 16/12/2021 |
| Paesi in cui può essere condotta la ricerca |
Italy |
| Paesi di residenza dei candidati |
EUROPE |
| Nazionalità dei candidati |
EUROPE |
| Sito web del bando | http://host.uniroma3.it/uffici/ricerca/assegni-di-ricerca.aspx |
| Destinatari dell'assegno di ricerca (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
|---|
| Nome dell'Ente finanziatore | Università degli Studi Roma Tre |
|---|---|
| Tipologia dell'Ente | Academic |
| Paese dell'Ente | Italy |
| Città | Roma |
| Sito web | http://www.uniroma3.it |
| ricerca.matematicafisica@uniroma3.it | |
| amm.matematicafisica@uniroma3.it |
| L'assegno finanziato/cofinanziato attraverso un EU Research Framework Programme? | No |
|---|
| Data di scadenza del bando | 16/01/2022 - alle ore 00:00 |
|---|