SECURITY TESTING, MODELING, AND VERIFICATION OF DEDICATED SECURITY DEVICES
Descrizione dell'offerta di lavoro
The candidate is expected to have a good knowledge of relevant topics in security and formal methods.
Activity The successful candidate will work on the MUR PRIN AMADEUS project.
The goal of the project is to define a specification and verification methodology for dedicated security devices.
The successful candidate will design and develop techniques to obtain a formal model directly from the devices implementation, and then verify that they meet a set of security requirements.
Formal requirements Master's Degree in Computer Science, in Computer Engineering or a closely related field, obtained in Italy or abroad, with a focus on security; Good knowledge of both spoken and written English; Specific requirements A good background in cryptographic algorithms and protocols, or in formal methods, model checking, or automated verification technique; Excellent programming skills.
Duration 1 year Gross amount € per year SSD INFO-01/A Informatics - IINF-05/A Information Processing Systems Project PRIN PNRR “AMADEUS.
Automatic Modelling and verificAtion of Dedicated sEcUrity deviceS” (codice UGOV.
P; Codice MUR.
PEPPHM; CUP.
D53D) finanziato dall’Unione europea – Next Generation EU M4C2 investimento 1.
.
Job Research Area.
CSSE Job Research Unit.
SysMA Job Contract Type.
Assegno di ricerca Full call -rc-testing_sicuerzza-full_call-it.
df Selection Committee -rc-testing_sicurezza-selection_committee-it.
df Application Apply ONLINE only.
Before starting prepare the application attachments and information as listed below.
Info Personal info and contact info (compulsory) Number of your Identity Document (Passport or Identity Card) (compulsory) University degree and ongoing PhD (compulsory) Attachments Your CV in English (compulsory) Contacts.
Dettagli dell'offerta
- Imprecisato
- Tutta l'Italia
- Imprecisato - Imprecisato
- 14/09/2024
- 13/12/2024
Per l’head quarter di una realtà metalmeccanica di grandi dimensioni, multinazionale italiana leader di settore, stiamo ricercando un/a cyber security specialist... buona conoscenza della lingua inglese scritta e parlata; requisiti preferenziali: conoscenza in ambito ot/opsec (operational technology......
Ruolo ricoperto: analista funzionale security competenze richieste: verifica tecnica di conformità ai requisiti di sicurezza aziendali attivita’: attività di security governance normative competenze linguistiche: inglese: livello b1 titoli accademici richiesti: laurea in ambito scientifico certificazioni......
Ruolo ricoperto:-analista tecnico securitycompetenze richieste:-capacità di comprensione di sistemi complessi, in particolare software, con l'obiettivo di analizzare le problematiche di security connesse-capacità di relazionarsi con le linee di ingegneria/sviluppo dei sistemi, con i clienti e con i fornitoricompetenze......
Per realtà giovane, dinamica e altamente qualificata il cui core business è la sicurezza informatica, parte di uno dei più importanti gruppi italiani del settore it, stiamo ricercando un/a network security engineer... competenze gradite (non requisito): - routing&switching;- endpoint security;- competenza......
Ricerca profilo professionale di security specialist requisiti:•esperienza maturata in ambito reti, apparati, connessioni e servizi di rete a livello applicativo,•esperienza pregressa nella verifica di qualità del servizio e della sicurezza da attacchi di hacking•esperienza relativa alle principali metodologie......
Ricerca un profilo professionale di security architect requisiti:•ottima conoscenza delle architetture e delle tecnologie di sicurezza informatica... •consolidata esperienza nell’analisi e nella definizione dei requisiti delle architetture e delle tecnologie di sicurezza informatica......
Partecipa senza impegno, alle presentazioni giornaliere del profilo professionale e giuridico, servizi e condizioni, a cui seguiranno (se interessati/e) immediatamente colloquio individuale, invia cv con foto e recapiti di contatto... 138 tulps, da assumere e stabilizzare per il ruolo operativo di guardia......
You are at ease in motivating your artistic and educational ideas to employees, committees, funding bodies as much as to public and private supporters of casa da música you demonstrably have a substantial network of artists of inspiring width and breadth, of music and artistic agencies and opinion......
Professional growth and development opportunities... ability to work independently and as part of a team... required knowledge of the c language for microcontrollers and cross-platform for optimized development and implementation of artificial intelligence algorithms 'tiny machine learning (tinyml)'......
Cosa ti aspetta?sarai coinvolto all'interno di progetti innovativi, svolgendo attività di support e software testing ocs e ti occuperai di eseguire test e analizzare i risultati, creare e raccogliere log per la documentazione in fase di test e redigere una guida alla risoluzione delle problematiche all'interno......