Protocol Stack Engineer (80-100%)

Threema est le messager sécurisé le plus vendu au monde, tant pour les utilisateurs privés que pour les entreprises. Depuis 2012, nous travaillons sans relâche pour garantir que nos utilisateurs puissent communiquer librement sans se soucier de leur vie privée. Notre base d'utilisateurs en croissance comprend des millions de clients privés ainsi que des milliers d'entreprises et d'organisations du monde entier.

Nous sommes en pleine expansion et recherchons un nouveau membre pour rejoindre l'équipe en tant que

Ingénieur en pile de protocoles (80-100%)

Votre rôle

Les protocoles sous-jacents à tout cela sont ce pour quoi nous recrutons. Vous concevrez, implémenterez et maintiendrez les protocoles cryptographiques qui transportent chaque message Threema, y compris Ibex, notre protocole de confidentialité persistante. Votre travail sera lu par nos propres ingénieurs ainsi que par des chercheurs externes, des auditeurs et des utilisateurs curieux. Nous attendons de lui qu'il résiste à cet examen.

Ce que vous ferez

• Concevoir de nouvelles fonctionnalités et extensions de protocoles, telles que la synchronisation multi-appareils, la messagerie de groupe et les appels, et rédiger leurs spécifications.

• Implémenter la logique des protocoles en Rust et examiner les implémentations sur nos clients Android, iOS, bureau et web.

• Modéliser les menaces et analyser les cas limites comme le réordonnancement des messages, la perte d'appareil, les serveurs malveillants et les clés compromises.

• Collaborer avec des chercheurs en sécurité externes et des auditeurs, répondre aux constats et déployer des correctifs.

• Maintenir la compatibilité ascendante pour une large base installée tout en faisant évoluer le protocole.

• Encadrer d'autres ingénieurs et aider à définir les normes pour la rédaction et la revue de code critique pour la sécurité.

Ce que vous apportez

• Au moins 6 ans d'expérience en ingénierie logicielle, avec plusieurs années consacrées aux protocoles réseau ou cryptographiques.

• Une solide maîtrise de la cryptographie appliquée. Vous comprenez comment fonctionnent le chiffrement authentifié, l'échange de clés, la confidentialité persistante et la sécurité post-compromission, ainsi que les erreurs courantes dans les implémentations.

• Expérience dans la lecture et la rédaction de spécifications de protocoles suffisamment précises pour être implémentées par d'autres.

• Compétences solides dans au moins un langage système. Rust est un plus.

• Souci du détail. Dans ce travail, une vérification de longueur manquante est une vulnérabilité.

• Bon niveau d'anglais écrit. L'allemand est un atout mais pas obligatoire.

Atouts

• Expérience avec des outils d'analyse formelle tels que Tamarin, ProVerif ou TLA+.

• Familiarité avec le protocole Signal, MLS ou le framework Noise.

• Recherches publiées, CVE, rapports d'audit ou contributions open source en sécurité.

• Connaissance des plateformes mobiles et de leurs contraintes, telles que la livraison push, les limites en arrière-plan et la consommation de batterie.

Expérience avec les outils d'IA :

• Vous connaissez les modèles d'IA de pointe actuels et les utilisez comme multiplicateurs de productivité dans la conception ainsi que dans le codage, par exemple pour revoir des brouillons de spécifications, parcourir la littérature récente ou identifier des failles dans une conception de protocole.

• Quels que soient les outils utilisés, le résultat vous appartient. L'IA peut rédiger et suggérer, mais la personne responsable d'un protocole fiable, c'est vous.

Compétences relationnelles :

• Fort sens des responsabilités, méthode de travail précise

• Vous pouvez rédiger une spécification de protocole qu'une autre personne peut implémenter, et expliquer les compromis à des non-spécialistes des protocoles

• Jugement pragmatique sur le moment où une conception est suffisamment bonne pour être déployée et quand elle ne l'est pas

• Volonté de faire examiner vos propres conceptions et d'examiner celles des autres avec soin

• Bon niveau d'allemand et d'anglais écrit et parlé (au moins B2)

Nous acceptons également avec plaisir les candidatures de personnes répondant à la plupart mais pas à tous ces critères.

Ce que nous offrons

• Une équipe jeune et motivée avec une communication directe

• Horaires flexibles, possibilité de télétravail jusqu'à deux jours par semaine

• Possibilité de travailler de n'importe où pendant deux semaines par an

• Possibilité de prendre un congé sans solde

• Choix de votre matériel (macOS ou Linux)

• Réduction sur les transports publics ou place de parking (borne de recharge pour voiture électrique disponible)

• Accès gratuit à la salle de sport, avec un coach sportif une fois par mois

• Massage professionnel une fois par mois

• Cours internes d'allemand ou d'anglais

• Une excellente machine à café ;-)

• Événements d'entreprise réguliers et apéritifs

• La satisfaction de contribuer à la protection efficace de la vie privée de millions de personnes

Lieu de travail : Pfäffikon SZ (région de Zurich)

Date de début : Immédiate ou à convenir

Avons-nous suscité votre intérêt ?

Nous croyons que des équipes diverses construisent de meilleurs produits. Nous accueillons et encourageons les candidatures de personnes de tous horizons et perspectives. Votre expérience unique est un atout, et nous serions ravis de vous entendre.

Les candidatures envoyées par e-mail ne peuvent pas être prises en compte. Veuillez utiliser le bouton officiel "Postuler" ci-dessous afin que nous ne manquions pas accidentellement votre CV dans nos boîtes de réception surchargées.

Pour les agences : nous recrutons directement pour ce poste et n'acceptons pas les profils de candidats non sollicités.