Protocol Stack Engineer (80-100%)

Threema è il messenger sicuro più venduto al mondo sia per utenti privati che per aziende. Dal 2012, lavoriamo instancabilmente per garantire che i nostri utenti possano comunicare liberamente senza preoccuparsi della propria privacy. La nostra base di utenti in crescita comprende milioni di clienti privati e migliaia di aziende e organizzazioni da tutto il mondo.

Stiamo crescendo e cerchiamo un nuovo membro del team da inserire come

Protocol Stack Engineer (80-100%)

Il tuo Ruolo

Assumiamo proprio per i protocolli che stanno alla base di tutto questo. Progetterai, implementerai e manterrai i protocolli crittografici che trasportano ogni messaggio Threema, incluso Ibex, il nostro protocollo di forward-secrecy. Il tuo lavoro sarà letto dai nostri ingegneri e anche da ricercatori esterni, auditor e utenti curiosi. Ci aspettiamo che sia all'altezza di questo.

Cosa farai

• Progettare nuove funzionalità ed estensioni del protocollo, come la sincronizzazione multi-dispositivo, la messaggistica di gruppo e le chiamate, e scriverne le specifiche.
• Implementare la logica del protocollo in Rust e revisionare le implementazioni sui nostri client Android, iOS, desktop e web.
• Modellare le minacce e ragionare su casi limite come il riordinamento dei messaggi, la perdita del dispositivo, i server malevoli e le chiavi compromesse.
• Collaborare con ricercatori di sicurezza esterni e auditor, rispondere ai risultati e rilasciare correzioni.
• Mantenere la compatibilità con le versioni precedenti per una vasta base installata pur facendo progredire il protocollo.
• Fare da mentore ad altri ingegneri e aiutare a stabilire standard su come scriviamo e revisioniamo il codice critico per la sicurezza.

Cosa porti con te

• Almeno 6 anni di ingegneria del software, con diversi anni di lavoro su protocolli di rete o crittografici.
• Una solida comprensione della crittografia applicata. Sai come funzionano l'encryption autenticata, lo scambio di chiavi, la forward secrecy e la post-compromise security, e dove le implementazioni solitamente sbagliano.
• Esperienza nella lettura e scrittura di specifiche di protocollo abbastanza precise da poter essere implementate da qualcun altro.
• Forti competenze in almeno un linguaggio di sistema. Rust è un plus.
• Attenzione ai dettagli. In questo lavoro, un controllo della lunghezza mancante è una vulnerabilità.
• Buon inglese scritto. Il tedesco è utile ma non richiesto.

Nice to have

• Esperienza con strumenti di analisi formale come Tamarin, ProVerif o TLA+.
• Familiarità con il protocollo Signal, MLS o il framework Noise.
• Ricerca pubblicata, CVE, report di audit o contributi open-source in ambito sicurezza.
• Background in piattaforme mobili e relativi vincoli, come la consegna push, i limiti in background e l'uso della batteria.

Esperienza con strumenti di AI:

• Sei familiarizzato con gli attuali modelli AI all'avanguardia e li utilizzi come moltiplicatore di produttività nel lavoro di progettazione così come nella codifica, ad esempio per revisionare bozze di specifiche, esaminare la letteratura recente o individuare falle in un design di protocollo.
• Qualunque strumento tu utilizzi, il risultato è tuo. L'AI può bozzare e suggerire, ma la persona responsabile di un protocollo solido sei tu.

Soft skills:

• Forte senso di responsabilità, modo di lavorare preciso.
• Sei in grado di scrivere una specifica di protocollo che qualcun altro possa implementare ed spiegare i compromessi a persone che non sono specialisti di protocolli.
• Giudizio pragmatico su quando un design è abbastanza buono per essere rilasciato e quando non lo è.
• Volontà di vedere i propri progetti analizzati criticamente e di analizzare con cura quelli degli altri.
• Buono tedesco e inglese scritto e parlato (almeno B2).

Accettiamo con piacere anche candidature da persone che soddisfano molti ma non tutti questi criteri.

Cosa Offriamo

• Un team giovane e motivato con una comunicazione diretta.
• Orari di lavoro flessibili, opzione di lavoro da casa fino a due giorni a settimana.
• Opzione di lavorare da qualsiasi luogo per due settimane all'anno.
• Opzione di congedo non retribuito.
• Puoi scegliere il tuo hardware (macOS o Linux).
• Sconto sui trasporti pubblici o posto auto (disponibile ricarica per auto elettriche).
• Uso gratuito della sala fitness, incluso un personal trainer una volta al mese.
• Massaggio professionale una volta al mese.
• Corsi interni di tedesco o inglese.
• Un'ottima macchina del caffè ;-)
• Eventi aziendali e aperitivi regolari.
• La bella sensazione di contribuire alla protezione efficace della privacy di milioni di persone.

Luogo di lavoro: Pfäffikon SZ (Greater Zurich Area)

Data di inizio: Immediatamente o previo accordo

Abbiamo suscitato il tuo interesse?

Crediamo che team diversificati costruiscano j4id10418725a j4it1040a j4iy26a