Bando per ricercatore a tempo determinato
Titolo del progetto di ricerca in italiano | Assistant Professor in Security Engineering |
---|---|
Titolo del progetto di ricerca in inglese | Assistant Professor in Security Engineering |
Descrizione sintetica in italiano | Il candidato / la candidata dovrà svolgere attività di ricerca e insegnamento in informatica, in particolare dovrà svolgere attività di ricerca sull'ingegneria della sicurezza e sull'analisi dei sistemi informatici basata su metodi formali. Il candidato deve dimostrare di aver maturato una precedente esperienza su argomenti rilevanti per l'ambito dell'ingegneria della sicurezza e dei metodi formali, quali la sicurezza del software, la sicurezza di sistema, information flow, il controllo degli accessi e la verifica formale. |
Descrizione sintetica in inglese | The candidate is expected to carry out research and teaching activities related to computer science, in particular concerning security engineering and analysis of computing systems based on formal methods. The successful candidate must demonstrate previous experience with relevant topics in security engineering and formal methods such as software security, system security, information flow, access control, and formal verification. |
Numero posti | 1 |
Settore Concorsuale | 01/B1 - INFORMATICA |
S.S.D | INF/01 - INFORMATICA |
Destinatari del bando (of target group) |
Experienced researcher or 4-10 yrs (Post-Doc) |
Data del bando | 25/11/2022 |
Research Framework Programme / Marie Curie Actions | No |
---|
Tipo di contratto | Temporary |
---|---|
Tempo | Other |
Organizzazione/Ente | IMT Lucca |
Paese (dove si svolgerà l'attività) | ITALY |
Città | Lucca |
Organizzazione/Ente | IMT Lucca |
---|---|
Tipo | Academic |
Paese | ITALY |
Città | Lucca |
researchers.opening@imtlucca.it |
Data prevedibile per l'assunzione | 01/03/2023 |
---|---|
Data di scadenza del bando | 09/01/2023 - alle ore 23:59 |
Come candidarsi | https://www.imtlucca.it/it/jobopportunity/security-engineering |