Protocol Stack Engineer (80–100%) in Freienbach

Threema ist der weltweit meistverkaufte sichere Messenger für private Nutzer und 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 von Privatkunden und Tausende von Unternehmen und Organisationen aus der ganzen Welt.

Wir suchen ein neues Teammitglied als Protocol Stack Engineer (80–100%).

Ihre Rolle

Die Protokolle, die all dies ermöglichen, sind der Grund, warum wir einstellen. Sie werden die kryptografischen Protokolle entwerfen, implementieren und warten, die jede Threema-Nachricht übertragen, einschließlich Ibex, unserem Vorwärtsgeheimnisprotokoll. Ihre Arbeit wird von unseren eigenen Ingenieuren sowie von externen Forschern, Prüfern und neugierigen Nutzern gelesen. Wir erwarten, dass sie dem standhält.

Was Sie tun werden

• Neue Protokollfunktionen und -erweiterungen entwerfen, wie z.B. Multi-Geräte-Synchronisation, Gruppenmessaging und Anrufe, und die Spezifikationen dafür schreiben.
• Protokolllogik in Rust implementieren und Implementierungen in unseren Android-, iOS-, Desktop- und Web-Clients überprüfen.
• Bedrohungen modellieren und über Randfälle nachdenken, wie z.B. Nachrichtenreihenfolge, Geräteverlust, bösartige Server und kompromittierte Schlüssel.
• Mit externen Sicherheitsforschern und Prüfern zusammenarbeiten, auf Erkenntnisse reagieren und Lösungen bereitstellen.
• Rückwärtskompatibilität für eine große installierte Basis gewährleisten, während das Protokoll weiterentwickelt wird.
• Andere Ingenieure betreuen und Standards dafür setzen, wie wir sicherheitskritischen Code schreiben und überprüfen.

Was Sie mitbringen

• Mindestens sechs Jahre Softwareentwicklung, davon mehrere Jahre an Netzwerk- oder kryptografischen Protokollen.
• Ein solides Verständnis der angewandten Kryptografie: Sie wissen, wie authentifizierte Verschlüsselung, Schlüsselaustausch, Vorwärtsgeheimnis und Post-Kompromiss-Sicherheit funktionieren und wo Implementierungen häufig fehlerhaft sind.
• Erfahrung im Lesen und Schreiben von Protokollspezifikationen, die präzise genug sind, damit jemand anderes sie implementieren kann.
• Starke Fähigkeiten in mindestens einer Systemsprache; Rust ist ein Plus.
• Auf Details achten: In diesem Job ist eine fehlende Längenprüfung eine Schwachstelle.

Nice to Have

• 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 z.B. Push-Benachrichtigungen, Hintergrundlimits und Batterienutzung.
• Erfahrung mit KI-Tools: Sie sind mit aktuellen KI-Modellen vertraut und nutzen diese als Produktivitätsmultiplikator in der Designarbeit sowie beim Programmieren.

Soft Skills

• Starkes Verantwortungsbewusstsein, präzise Arbeitsweise.
• Sie können eine Protokollspezifikation schreiben, die jemand anderes implementieren kann, und die Kompromisse gegenüber Personen erklären, die keine Protokollspezialisten sind.
• Pragmatisches Urteilsvermögen darüber, wann ein Design gut genug ist, um es zu versenden, und wann nicht.
• Bereitschaft, eigene Designs kritisch zu hinterfragen und auch die Designs anderer sorgfältig zu prüfen.
• Gute schriftliche und mündliche Deutsch- und Englischkenntnisse (mindestens B2).

Was wir bieten

• Ein junges, motiviertes Team mit direkter Kommunikation.
• Flexible Arbeitszeiten, Möglichkeit, bis zu zwei Tage pro Woche von zu Hause aus zu arbeiten.
• Option, zwei Wochen pro Jahr von überall aus zu arbeiten.
• Möglichkeit, unbezahlten Urlaub zu nehmen.
• Sie können Ihre eigene Hardware wählen (macOS oder Linux).
• Öffentlicher Verkehrsrabatt oder Parkplatz (Ladestation für Elektroautos verfügbar).
• Freie Nutzung des Fitnessraums, einschließlich eines Fitness Trainers einmal im Monat.
• Professionelle Massage einmal im Monat.
• Interne Deutsch- oder Englischkurse.
• Eine großartige Kaffeemaschine ;-)
• Regelmäßige Unternehmensveranstaltungen und Aperitifs.
• Das gute Gefühl, zum effektiven Schutz der Privatsphäre von Millionen von Menschen beizutragen.

Arbeitsort: Pfäffikon SZ (Zürcher Oberland). Startdatum: Sofort oder nach Vereinbarung.

Haben wir Ihr Interesse geweckt? Wir glauben, dass vielfältige Teams bessere Produkte schaffen. Wir begrüßen und ermutigen Bewerbungen von Menschen aller Hintergründe und Perspektiven. Ihre einzigartige Erfahrung ist ein Gewinn, und wir würden uns freuen, von Ihnen zu hören.