In sintesi
- Mansioni: Sviluppa prove formali per implementazioni crittografiche e contribuisci all'ottimizzazione degli algoritmi.
- Azienda: Amazon, leader nel settore tecnologico con un ambiente inclusivo e innovativo.
- Benefit: Salario competitivo, assicurazione sanitaria, lavoro remoto e opportunità di sviluppo professionale.
- Altre informazioni: Ambiente dinamico con eccellenti opportunità di crescita nella carriera.
- Perché questo lavoro: Lavora su tecnologie all'avanguardia e fai la differenza in progetti critici per la sicurezza.
- Qualifiche: Dottorato o esperienza equivalente in verifica formale e programmazione in linguaggi come Rust o C.
La retribuzione prevista è compresa tra 167100 - 226100 € per anno.
Il team delle Amazon Cryptographic Libraries (ACL) costruisce la crittografia su cui i servizi AWS e una crescente comunità open-source fanno affidamento, inclusa AWS-LC, la nostra libreria crittografica open-source con validazione FIPS. Come Applied Scientist nel team, il tuo focus principale sarà la verifica formale: costruire prove verificate da macchina che le implementazioni crittografiche siano corrette. Contribuirai anche all'implementazione degli algoritmi, all'ottimizzazione a livello di assembly e all'adozione della crittografia post-quantistica.
Responsabilità chiave del lavoro:
- Sviluppare e mantenere prove verificate da macchina di correttezza per le implementazioni crittografiche in AWS-LC.
- Specificare il comportamento funzionale del codice crittografico a basso livello (Rust, C, assembly) in notazione formale e verificarlo utilizzando sia provatori automatici che interattivi, come HOL-Light, Verus e CBMC.
- Applicare metodi formali, analisi dei programmi e test rigorosi per aumentare il livello di garanzia di un codice critico per la sicurezza e ampiamente distribuito.
- Contribuire all'implementazione e all'ottimizzazione degli algoritmi crittografici, inclusi gli algoritmi post-quantistici (ML-KEM, ML-DSA, SLH-DSA) per l'uso in produzione.
- Assistere nello sviluppo professionale degli altri, mentore attivamente individui e la comunità su questioni tecniche avanzate.
- Pubblicare brevetti e articoli peer-reviewed e presentare la propria ricerca sia internamente che esternamente.
Un giorno nella vita:
Prendi un algoritmo crittografico che deve essere provato corretto e scrivi la specifica formale del suo comportamento, il codice e la prova di correttezza. Sviluppi la prova in un provatore di teoremi interattivo, assistito da modelli AI all'avanguardia e iteri fino a quando la macchina non la verifica end-to-end. Alcuni giorni stai risolvendo un obbligo di prova; altri giorni leggi un articolo su una nuova tecnica di verifica o aiuti a perfezionare un'implementazione di algoritmo, in modo che sia sia veloce che adatta alla prova. Le tue prove supportano codice che è convalidato per FIPS e distribuito su AWS.
Informazioni sul team:
ACL possiede AWS-LC (la libreria crittografica con validazione FIPS di Amazon) e gestisce librerie crittografiche di terze parti. Costruiamo le fondamenta crittografiche sotto quasi ogni servizio AWS e un insieme crescente di progetti open-source esterni. Gli Applied Scientists nel team si occupano del lavoro sulle prestazioni a livello di algoritmo e assembly e collaborano profondamente con il Gruppo di Ragionamento Automatico di AWS sulla verifica formale.
Requisiti di base:
- PhD o esperienza di ricerca equivalente, o un PhD e esperienza in brevetti o pubblicazioni in conferenze o riviste peer-reviewed di alto livello.
- Esperienza nella programmazione in Rust, Java, C, C++, Python o linguaggio correlato.
- Esperienza in uno dei seguenti ambiti: verifica formale, provatori di teoremi interattivi, verifica deduttiva, crittografia o logica matematica.
Qualifiche preferite:
- Esperienza pratica con strumenti di verifica automatica o interattiva dei programmi, come HOL Light, CBMC, Verus o Lean.
- Esperienza nella specifica o verifica di software a basso livello (codice macchina o assembly).
- Familiarità con le primitive crittografiche e la loro implementazione.
- Esperienza nella programmazione a basso livello o di sistema in Rust, C o assembly.
- Familiarità con la crittografia post-quantistica (schemi basati su reticolo, basati su codice o basati su hash).
Sr Applied Scientist, Amazon Cryptographic Libraries datore di lavoro: Amazon
Amazon Italia Logistica S.R.L. è un datore di lavoro eccezionale, offrendo un ambiente dinamico e innovativo dove i dipendenti possono crescere professionalmente e contribuire a progetti significativi. Con un forte focus sulla sicurezza e sul miglioramento continuo, i membri del team hanno accesso a opportunità di formazione e sviluppo, rendendo questa posizione non solo gratificante ma anche fondamentale per il successo della rete Amazon in Italia.
Consigli degli esperti StudySmarter🤫
Ecco come pensiamo che potresti ottenere Sr Applied Scientist, Amazon Cryptographic Libraries
✨Unisciti a gruppi di cybersecurity
Cerca di entrare a far parte di gruppi e comunità locali o online dedicate alla cybersecurity. Partecipa a forum, come quelli su Reddit o Discord, dove le persone discutono le ultime novità del settore e condividono opportunità di lavoro. Essere attivo in queste comunità può farti conoscere e magari ottenere informazioni su posizioni aperte.
✨Metti in mostra le tue skill
Considera di contribuire a progetti open-source legati alla cybersecurity. Avere un portfolio online che dimostri le tue capacità tecniche e i progetti a cui hai lavorato può darti un vantaggio. Inoltre, questo tipo di esperienza è spesso molto apprezzata dai datori di lavoro nel campo.
✨Eventi e conferenze
Non perdere l'occasione di partecipare a conferenze e eventi di cybersecurity come Black Hat o DEF CON. Questi eventi sono fantastici per il networking e per conoscere di persona i professionisti del settore. Se un'azienda come Amazon è presente, assicurati di visitare il loro stand e di connetterti con i reclutatori.
✨Candidati direttamente
Applica direttamente sul sito di Amazon! Spesso, le aziende preferiscono le candidature ricevute tramite il loro portale ufficiale. Non dimenticare di personalizzare la tua candidatura e dimostrare il tuo interesse per il loro team di cybersecurity. Mostrati proattivo e motivato.
Pensiamo che ti servano queste competenze per eccellere come Sr Applied Scientist, Amazon Cryptographic Libraries
Alcuni consigli per la tua candidatura 🫡
Sottolinea le tue Certificazioni:Nel campo della cybersecurity, avere certificazioni come CompTIA Security+, CEH o CISSP può fare la differenza. Assicurati di includerle nel tuo CV e magari di menzionarle anche nella lettera di presentazione per dimostrare che sei aggiornato e serio riguardo al tuo percorso professionale.
Mostra Esperienza Pratica:Raccontaci delle tue esperienze pratiche nel settore! Progetti di sicurezza, stage o anche competizioni di hacking etico possono essere un grande valore aggiunto. Usa il tuo CV per evidenziare case study interessanti o risultati specifici che hai raggiunto.
Personalizza la Tua Lettera di Presentazione:Questa è l'occasione perfetta per spiegare perché sei il candidato ideale per il ruolo di Sr Applied Scientist, Amazon Cryptographic Libraries presso Amazon. Parla delle tue passioni per la cybersecurity e di come intendi contribuire alla sicurezza dell'azienda. Stiamo cercando candidati motivati e con voglia di crescere!
Includi Link Utili:Aggiungi al tuo CV link a progetti o articoli tecnici che hai scritto. Se hai un blog, un profilo GitHub con progetti pertinenti o anche profili su piattaforme come LinkedIn, mettili in evidenza. Questo mostra la tua passione e impegno nel settore della cybersecurity!
Come prepararti a un colloquio di lavoro presso Amazon
✨Dimostra le tue capacità tecniche
In un colloquio per un ruolo di cybersecurity, possiamo aspettarci domande tecniche specifiche come la gestione di vulnerabilità o la sicurezza delle reti. Fai pratica con le varie tecnologie di sicurezza informatica, e prepara esempi concreti di progetti in cui hai applicato queste tecnologie nel tuo portfolio. Ricorda, è meglio mostrare le tue capacità piuttosto che limitarti a parlarne!
✨Preparati a casi pratici
Le interviste di cybersecurity spesso includono casi pratici o scenari di incident response. Possiamo essere chiamati a identificare vulnerabilità in un sistema simulato o a risolvere un attacco informatico ipotetico. Esercitati con simulazioni o piattaforme di test per essere pronto a dimostrare il tuo processo di pensiero e le tue decisioni critiche.
✨Conosci le ultime tendenze
Essere aggiornati sulle ultime tendenze e minacce nel campo della cybersecurity è cruciale. Parla di come hai seguito corsi online o partecipato a conferenze. Questo dimostra al tuo potenziale datore di lavoro, Amazon, che sei appassionato e proattivo nel tuo percorso professionale.
✨Sii pronto a parlare di soft skills
In un ruolo di cybersecurity, le soft skills possono essere altrettanto importanti delle competenze tecniche. Considera come hai lavorato in team per risolvere problemi complessi o come hai comunicato efficacemente i rischi alla direzione. Preparati a raccontare storie che evidenziano le tue capacità relazionali e di problem solving, perché nel mondo della cybersecurity, spesso collaboriamo con diverse parti interessate.
