Protocol Stack Engineer

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

Wir wachsen und suchen ein neues Teammitglied.

Deine Rolle

Die Protokolle, die all dem zugrunde liegen, sind der Grund, warum wir einstellen. Du wirst die kryptographischen Protokolle entwerfen, implementieren und warten, die jede Threema-Nachricht tragen, einschließlich Ibex, unserem Forward-Secrecy-Protokoll. Deine Arbeit wird von unseren eigenen Ingenieuren sowie von externen Forschern, Prüfern und neugierigen Nutzern gelesen. Wir erwarten, dass sie diesem Anspruch standhält.

Was du tun wirst

• Neue Protokollfunktionen und Erweiterungen entwerfen, wie Multi-Device-Synchronisation, Gruppenmessaging und Anrufe, und die Spezifikationen dafür schreiben.
• Protokoll-Logik in Rust implementieren und Implementierungen in unseren Android-, iOS-, Desktop- und Web-Clients überprüfen.
• Bedrohungen modellieren und Randfälle wie Nachrichten-Neuordnung, Geräteverlust, bösartige Server und kompromittierte Schlüssel durchdenken.
• Mit externen Sicherheitsforschern und Prüfern zusammenarbeiten, auf Befunde reagieren und Korrekturen ausliefern.
• Abwärtskompatibilität für eine große installierte Basis bewahren und gleichzeitig das Protokoll weiterentwickeln.
• Andere Ingenieure betreuen und Standards dafür setzen, wie wir sicherheitskritischen Code schreiben und überprüfen.

Was du mitbringst

• Mindestens 6 Jahre Erfahrung in der Softwareentwicklung, davon mehrere Jahre mit Netzwerk- oder kryptographischen Protokollen.
• Ein solides Verständnis angewandter Kryptographie. Du kennst dich mit authentifizierter Verschlüsselung, Schlüsselaustausch, Forward Secrecy und Post-Compromise Security aus und weißt, wo Implementierungen üblicherweise Fehler machen.
• Erfahrung im Lesen und Schreiben von Protokollspezifikationen, die präzise genug sind, damit jemand anderes sie implementieren kann.
• Starke Fähigkeiten in mindestens einer Systemprogrammiersprache. Rust ist ein Plus.
• Detailverliebtheit. In diesem Job ist eine fehlende Längenprüfung eine Sicherheitslücke.
• Gute schriftliche Englischkenntnisse. Deutsch ist hilfreich, aber nicht erforderlich.

Wünschenswert

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

Erfahrung mit KI-Tools:

• Du bist mit aktuellen führenden KI-Modellen vertraut und nutzt sie als Produktivitätsmultiplikator bei Designarbeiten sowie beim Programmieren, z. B. um Spezifikationsentwürfe zu überprüfen, aktuelle Literatur zu sichten oder Schwachstellen in einem Protokolldesign aufzudecken.
• Welche Tools du auch immer nutzt, das Ergebnis gehört dir. KI kann entwerfen und vorschlagen, aber die Verantwortung für ein Protokoll, das hält, trägst du.

Soft Skills:

• Starkes Verantwortungsbewusstsein, präzise Arbeitsweise.
• Du kannst eine Protokollspezifikation schreiben, die jemand anderes implementieren kann, und Nicht-Protokoll-Spezialisten die Kompromisse erklären.
• Pragmatisches Urteilsvermögen, wann ein Design gut genug zum Ausliefern ist und wann nicht.
• Bereitschaft, eigene Designs kritisch prüfen zu lassen und die anderer sorgfältig zu hinterfragen.
• Gute schriftliche und mündliche Deutsch- und Englischkenntnisse (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, Möglichkeit bis zu zwei Tage pro Woche von zu Hause zu arbeiten.
• Möglichkeit, zwei Wochen pro Jahr von überall aus zu arbeiten.
• Möglichkeit unbezahlten Urlaub zu nehmen.
• Du kannst deine eigene Hardware wählen (macOS oder Linux).
• Öffentliche Verkehrsmittel-Rabatt oder Parkplatz (Ladestation für Elektroautos vorhanden).
• Kostenlose Nutzung des Fitnessraums, inklusive Fitness-Trainer einmal im Monat.
• Professionelle Massage einmal im Monat.
• Interne Deutsch- oder Englischkurse.
• Eine tolle Kaffeemaschine.
• Regelmäßige Firmenevents und Apéros.
• Das gute Gefühl, zum effektiven Schutz der Privatsphäre von Millionen Menschen beizutragen.

Arbeitsort: Pfäffikon SZ (Grossraum Zürich)

Startdatum: Sofort oder nach Vereinbarung.

Wir sind überzeugt, dass vielfältige Teams bessere Produkte entwickeln. Wir begrüßen und ermutigen Bewerbungen von Menschen aller Hintergründe und Perspektiven. Deine einzigartige Erfahrung ist eine Bereicherung, und wir freuen uns, von dir zu hören.