Protocol Stack Engineer 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 wachsen und 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 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.
• Mit anderen Ingenieuren zusammenarbeiten und Standards festlegen, wie wir sicherheitskritischen Code schreiben und überprüfen.

Was Sie mitbringen

• Mindestens 6 Jahre Softwareentwicklung, mit mehreren Jahren Erfahrung in 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 normalerweise fehlerhaft sind.
• Erfahrung im Lesen und Schreiben von Protokollspezifikationen, die präzise genug sind, damit jemand anderes sie umsetzen kann.
• Starke Fähigkeiten in mindestens einer Systemsprache.
• Detailverliebtheit. In diesem Job ist eine fehlende Längenprüfung eine Schwachstelle.
• Gute Englischkenntnisse sind 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, 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 anders umsetzen 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.

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 direkter Kommunikation.
• Flexible Arbeitszeiten, Möglichkeit, bis zu zwei Tage pro Woche von zu Hause aus zu arbeiten.
• Möglichkeit, zwei Wochen pro Jahr von überall aus zu arbeiten.
• Option auf unbezahlten Urlaub.
• 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 oder Englischkurse.
• Eine großartige Kaffeemaschine ;-)
• Regelmäßige Unternehmensveranstaltungen und Aperitifs.
• Das gute Gefühl, zur effektiven Wahrung der Privatsphäre von Millionen von Menschen beizutragen.

Arbeitsort: Pfäffikon SZ (Zürcher Oberland)

Startdatum: Sofort oder nach Vereinbarung.

Hat unser Angebot 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.

Bewerbungen, die per E-Mail gesendet werden, können nicht berücksichtigt werden. Bitte verwenden Sie den offiziellen „Bewerben“-Button unten, damit wir Ihren Lebenslauf nicht versehentlich in unseren überfüllten Postfächern übersehen.

Für Agenturen: Wir besetzen diese Stelle direkt und akzeptieren keine unaufgeforderten Kandidatenprofile.