Protocol Stack Engineer (80-100%)

Threema est la messagerie sécurisée la plus vendue au monde, tant pour les particuliers 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 pleine croissance comprend des millions de clients privés et des milliers d'entreprises et d'organisations du monde entier.

Nous grandissons et recherchons un nouveau membre pour rejoindre l'équipe en tant que

Protocol Stack Engineer (80-100%)

Votre rôle

Ce sont les protocoles sous-jacents à tout cela pour lesquels nous recrutons. Vous concevrez, implémenterez et maintiendrez les protocoles cryptographiques qui transportent chaque message Threema, y compris Ibex, notre protocole de forward-secrecy. Votre travail sera lu par nos propres ingénieurs ainsi que par des chercheurs externes, des auditeurs et des utilisateurs curieux. Nous nous attendons à ce qu'il soit à la hauteur.

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 du protocole en Rust et réviser les implémentations sur nos clients Android, iOS, desktop et web.
• Modéliser les menaces et raisonner sur les cas limites tels que le réordonnancement des messages, la perte d'appareils, les serveurs malveillants et les clés compromises.
• Travailler avec des chercheurs en sécurité et des auditeurs externes, répondre aux conclusions et déployer des correctifs.
• Assurer la rétrocompatibilité pour une large base installée tout en faisant progresser le protocole.
• Mentorat d'autres ingénieurs et aide à l'établissement de normes pour la rédaction et la révision 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 de travail sur des protocoles réseau ou cryptographiques.
• Une solide compréhension de la cryptographie appliquée. Vous savez comment fonctionnent le chiffrement authentifié, l'échange de clés, la forward secrecy et la post-compromise security, et où les implémentations échouent habituellement.
• Expérience dans la lecture et la rédaction de spécifications de protocoles suffisamment précises pour qu'une autre personne puisse les implémenter.
• Fortes compétences dans au moins un langage système. Rust est un plus.
• Souci du détail. Dans ce travail, un contrôle de longueur manquant est une vulnérabilité.
• Bon anglais écrit. L'allemand est utile mais pas obligatoire.

Les plus

• Expérience avec des outils d'analyse formelle tels que Tamarin, ProVerif ou TLA+.
• Familiarité avec le protocole Signal, MLS ou le framework Noise.
• Recherche publiée, CVE, rapports d'audit ou contributions open-source en sécurité.
• Expérience des plateformes mobiles et de leurs contraintes, telles que la livraison push, les limites d'arrière-plan et l'utilisation de la batterie.

Expérience avec les outils d'IA :

• Vous êtes familier avec les modèles d'IA de pointe actuels et les utilisez comme multiplicateur de productivité dans le travail de conception ainsi que dans le codage, par exemple pour réviser des ébauches de spécifications, étudier la littérature récente ou identifier les failles dans la conception d'un protocole.
• Quels que soient les outils que vous utilisez, le résultat vous appartient. L'IA peut rédiger et suggérer, mais la personne responsable d'un protocole qui tient, c'est vous.

Soft skills :

• Sens aigu des responsabilités, méthode de travail précise.
• Capacité à rédiger une spécification de protocole qu'une autre personne peut implémenter, et à expliquer les compromis à des personnes qui ne sont pas des spécialistes des protocoles.
• Jugement pragmatique sur le moment où une conception est assez bonne pour être déployée et quand elle ne l'est pas.
• Volonté de voir vos propres conceptions décortiquées, et de décortiquer celles des autres avec soin.
• Bon allemand et anglais, à l'écrit comme à l'oral (au moins B2).

Nous acceptons également avec plaisir les candidatures de personnes qui répondent à beaucoup, mais pas à tous, ces critères.

Ce que nous offrons

• Une équipe jeune et motivée avec une communication directe.
• Horaires de travail flexibles, option de télétravail jusqu'à deux jours par semaine.
• Option de travailler de n'importe où pendant deux semaines par an.
• Option de prendre un congé non payé.
• Vous pouvez choisir votre propre matériel (macOS ou Linux).
• Réduction pour les transports publics ou place de parking (recharge pour voiture électrique disponible).
• Utilisation gratuite de la salle de fitness, incluant un entraîneur de fitness 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 et apéritifs réguliers.
• Le sentiment gratifiant de contribuer à la protection efficace de la vie privée de millions de personnes.

Lieu de travail : Pfäffikon SZ (Greater Zurich Area)

Date de début : Immédiatement ou d'un commun accord

Avez-vous suscité votre intérêt ?

Nous croyons que les équipes diversifiées construisent j4id10418725a j4it1040a j4iy26a