Ingénieur Logiciel Rust - Systèmes distribués et réplication Git (F/H) in Vélizy-Villacoublay

Rejoignez notre équipe R&D au cœur de l’innovation en ingénierie système. Nous développons une solution SaaS conçue autour de l’IA et de SysML v2 pour accompagner la conception, l’analyse, la validation et l’exploitation de systèmes complexes dans l’aéronautique, l’automobile, la défense, l’énergie, le transport et l’industrie.

Avec SysML v2, la modélisation système devient « as code » : le modèle s’écrit, se versionne et s’outille comme un langage de programmation moderne. Nous construisons la chaîne complète, du parsing et du modèle sémantique aux services de langage et aux API, jusqu’à un IDE web et une extension VS Code. La performance sur les grands modèles est un enjeu central.

Vous concevez et développez en Rust le coordinateur de réplication d’un service de stockage Git distribué et multi-tenant, créé à partir de zéro. Le service doit absorber de nombreux clones, lectures et pushs concurrents, notamment émis par des agents IA.

Votre responsabilité est de rendre explicites, puis de faire respecter, les invariants de disponibilité et de cohérence :

• conditions d’acquittement d’une écriture
• fraîcheur des lectures
• éligibilité d’une réplique à devenir primaire
• comportement du système en cas de panne ou de partition réseau

Vous prenez notamment en charge la spécification, l’implémentation et la validation de :

• La réplication des écritures et la validation des mises à jour
• Le routage des lectures vers des répliques à jour
• La bascule de primaire par dépôt
• Le partitionnement
• Les opérations de fond : rattrapage, réparation, déplacement de répliques et vérification périodique de leur intégrité
• Le fonctionnement actif/actif du coordinateur et l’élection du responsable des tâches de fond
• La validation de ces mécanismes par des tests de panne

Vous définissez les interfaces et les garanties attendues du serveur de stockage Git en collaboration étroite avec l’ingénieur qui le développe.

Vous avez une expérience solide du développement backend et avez déjà livré du Rust en production, notamment avec l’écosystème asynchrone et Tokio. Vous maîtrisez les sujets de concurrence, de réseau, d’entrées-sorties et d’exploitation sous Linux.

Vous avez conçu ou exploité un système distribué confronté à des pannes réelles. Vous savez traduire des garanties de cohérence en protocoles, en invariants vérifiables, en code observable et en procédures d’exploitation. Vous êtes à l’aise pour prendre des décisions d’architecture, les documenter et accompagner leur mise en œuvre jusqu’en production.

Une expérience de la réplication, des bases de données distribuées ou des mécanismes de consensus est particulièrement pertinente. Aucune connaissance préalable de SysML ou du MBSE n’est requise.

Vous pouvez travailler et échanger en français ou en anglais ; la documentation technique est rédigée en anglais.

Votre environnement : La stack comprend Rust, Kubernetes, Base de données SQL, Kafka, stockage objet et Helm. Vous travaillerez directement avec les responsables techniques et produit, dans un cadre de décisions rapides et de revues de code exigeantes.

Les attentes de nos clients dans l’aéronautique et la défense placent la fiabilité, la traçabilité et la sécurité au centre du travail quotidien.

Nous rejoindre c'est aussi intégrer une entreprise scientifique au cœur de l’innovation technologique, portée par une forte croissance depuis plus de 40 ans.

Principaux avantages et bénéfices :

• Environnement multiculturel
• Cadre de travail convivial axé sur le bien-être et la santé
• Engagement en faveur de la diversité et de l’inclusion
• Politique dynamique de développement de carrière : plan de formation, mobilités internes