Vedere l'offerta completa

SECURITY TESTING, MODELING, AND VERIFICATION OF DEDICATED SECURITY DEVICES

Descrizione dell'offerta di lavoro

Fields   Formal Methods, Cryptographic Protocols, Formal verification Profile   The candidate is expected to carry out research concerning security testing and analysis of protocols and computing systems using on formal methods.
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 Calendar -rc-testing_sicurezza-calendar-it.
df Final shorlist -rc-testing_sicurezza-shortlist-it.
df Criteria -rc-testing_sicurezza-criteria-it.
df Final decree -rc-testing_sicurezza-final_decree-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.
Vedere l'offerta completa

Dettagli dell'offerta

Azienda
  • Imprecisato
Località
  • Tutta l'Italia
Indirizzo
  • Imprecisato - Imprecisato
Data di pubblicazione
  • 15/11/2024
Data di scadenza
  • 13/02/2025
CYBER SECURITY SPECIALIST
365 gradi srl

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......

Analista funzionale security
Sincrono formazione srl

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......

Analista tecnico security
Sincrono Formazione Srl

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......

NETWORK SECURITY ENGINEER
365 gradi srl

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... 000,00 in base alle competenze tecniche e soft osservate durante l’iter di selezione......

SECURITY SECIALIST
Tecninf s.p.a.

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......

Security Architect
Tecninf S.p.A.

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......

Addetti security (gpg) per venezia e provincia
Vigilanza castellano srl

Requisiti di lavoro istituto di vigilanza privata operante dal 1926 in venezia centro storico e provincia, per ampliamento/ consolidamento proprio organico, seleziona gpg già decretate e candidati (anche senza esperienza) in possesso dei requisiti di cui all'art... partecipa senza impegno, alle presentazioni......

Embedded C Developer and Electronic Engineer
Sensichips srl

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)'......

SUPPORT E SOFTWARE TESTING OCS
Programs & Projects Consulting S.r.L.

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......

Consulenti Health and Nutrition
Nutrirsi Meglio

Ricerchiamo 3 persone serie e motivate da inserire nel ruolo di consulenti health and nutrition... inviare curriculum vitae requisiti di lavoro diploma di scuola secondaria di secondo grado, ottima capacità di espressione in lingua italiana, attitudine al rapporto con il pubblico e al lavoro per obiettivi......