Protocol Stack Engineer (80-100%)

Threema ist der weltweit meistverkaufte sichere Messenger sowohl für Privatpersonen als auch für Unternehmen. Seit 2012 arbeiten wir unermüdlich daran, sicherzustellen, dass unsere Nutzer frei kommunizieren können, ohne sich um ihre Privatsphäre sorgen zu müssen. Unsere wachsende Nutzerbasis umfasst Millionen von Privatkunden sowie tausende Unternehmen und Organisationen aus der ganzen Welt.

Wir wachsen und suchen ein neues Teammitglied als

Protocol Stack Engineer (80-100%)

Deine Rolle

Die Protokolle unter all dem sind das, wofür wir einstellen. Du wirst die kryptografischen Protokolle entwerfen, implementieren und warten, die jede Threema-Nachricht tragen, einschliesslich Ibex, unserem Forward-Secrecy-Protokoll. Deine Arbeit wird von unseren eigenen Ingenieuren sowie von externen Forschern, Auditoren und neugierigen Nutzern gelesen. Wir erwarten, dass sie dem standhält.

Was du tun wirst

• Entwirf neue Protokollfunktionen und Erweiterungen, wie z. B. Multi-Device-Sync, Gruppenmessaging und Anrufe, und schreibe die Spezifikationen dafür.
• Implementiere die Protokoll-Logik in Rust und überprüfe Implementierungen in unseren Android-, iOS-, Desktop- und Web-Clients.
• Modelliere Bedrohungen und begründe Edge-Cases wie Nachrichten-Umordnung, Geräteverlust, bösartige Server und kompromittierte Schlüssel.
• Arbeite mit externen Sicherheitsforschern und Auditoren zusammen, reagiere auf Ergebnisse und liefere Fixes aus.
• Gewährleiste die Abwärtskompatibilität für eine grosse installierte Basis, während du das Protokoll vorantreibst.
• Mentore andere Ingenieure und hilf dabei, Standards dafür zu setzen, wie wir sicherheitskritischen Code schreiben und reviewen.

Was du mitbringst

• Mindestens 6 Jahre Erfahrung im Software Engineering, davon mehrere Jahre an Netzwerk- oder kryptografischen Protokollen.
• Ein solides Verständnis der angewandten Kryptografie. Du weisst, wie Authenticated Encryption, Schlüsselaustausch, Forward Secrecy und Post-Compromise Security funktionieren und wo Implementierungen normalerweise Fehler aufweisen.
• Erfahrung im Lesen und Schreiben von Protokollspezifikationen, die präzise genug sind, damit jemand anderes sie implementieren kann.
• Starke Kenntnisse in mindestens einer Systemsprache. Rust ist ein Plus.
• Liebe zum Detail. In diesem Job ist ein fehlender Längen-Check eine Schwachstelle.
• Gutes schriftliches Englisch. Deutsch ist hilfreich, aber nicht erforderlich.

Schön zu haben

• Erfahrung mit formalen Analysetools wie Tamarin, ProVerif oder TLA+.
• Vertrautheit mit dem Signal-Protokoll, MLS oder dem Noise-Framework.
• Veröffentlichte Forschung, CVEs, Audit-Berichte oder Open-Source-Beiträge im Bereich Sicherheit.
• Hintergrund in mobilen Plattformen und deren Einschränkungen, wie z. B. Push-Delivery, Hintergrundbeschränkungen und Batterienutzung.

Erfahrung mit KI-Tools:

• Du bist mit aktuellen Frontier-KI-Modellen vertraut und nutzt sie als Produktivitätsmultiplikator bei Designarbeiten sowie beim Coding, zum Beispiel um Entwürfe von Spezifikationen zu reviewen, aktuelle Literatur zu sichten oder Schwachstellen in einem Protokoll-Design aufzuspüren.
• Unabhängig von den Tools, die du verwendest, bleibt das Ergebnis deines. KI kann Entwürfe erstellen und Vorschläge machen, aber die verantwortliche Person für ein beständiges Protokoll bist du.

Soft Skills:

• Starker Sinn für Verantwortung, präzise Arbeitsweise.
• Du kannst eine Protokollspezifikation schreiben, die jemand anderes implementieren kann, und Kompromisse (Trade-offs) gegenüber Personen erklären, die keine Protokoll-Spezialisten sind.
• Pragmatisches Urteilsvermögen darüber, wann ein Design gut genug für den Release ist und wann nicht.
• Die Bereitschaft, dass deine eigenen Designs kritisch hinterfragt werden, und die Sorgfalt, andere Designs kritisch zu prüfen.
• Gute Deutsch- und Englischkenntnisse in Wort und Schrift (mindestens B2).

Wir freuen uns auch über Bewerbungen von Personen, die viele, aber nicht alle dieser Kriterien erfüllen.

Was wir bieten

• Ein junges, motiviertes Team mit unkomplizierter Kommunikation.
• Flexible Arbeitszeiten, Option auf Homeoffice bis zu zwei Tage pro Woche.
• Option, zwei Wochen pro Jahr von überall aus zu arbeiten.
• Option auf unbezahlten Urlaub.
• Du kannst deine eigene Hardware wählen (macOS oder Linux).
• Vergünstigung für den öffentlichen Verkehr oder ein Parkplatz (Ladestation für Elektroautos verfügbar).
• Kostenlose Nutzung des Fitnessraums, inklusive eines Fitnesstrainers einmal im Monat.
• Professionelle Massage einmal im Monat.
• Interne Deutsch- oder Englischkurse.
• Eine hervorragende Kaffeemaschine ;-)
• Regelmässige Firmenanlässe und Apéros.
• Das gute Gefühl, zum effektiven Schutz der Privatsphäre von Millionen von Menschen beizutragen.

Arbeitsort: Pfäffikon SZ (Greater Zurich Area)

Startdatum: Sofort oder nach Vereinbarung

Haben wir dein Interesse geweckt?

Wir glauben, dass diverse Teams j4id10418725a j4it1040a j4iy26a bauen