È aperta una selezione pubblica, per titoli e colloquio, per il conferimento di n. 1 Assegno Professionalizzante per lo svolgimento di attività di ricerca presso l’IIT-CNR, Area Scientifica Scienze Informatiche.
L’attività sarà svolta nell’ambito del progetto di ricerca Cybersane e avrà come tematica “Studio di strumenti per la sicurezza informatica in particolare basati su metodi formali”.
Sono richiesti:
– esperienza e competenza di software per la sicurezza, inclusi strumenti basati su metodi formali;
– esperienza e conoscenza su linguaggi di programmazione Python, Java.
La responsabilità scientifica è del Dott. Fabio Martinelli.