Ingénieur Logiciel Rust - Systèmes distribués et réplication Git (F/H)
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.
Poste de Senior Software Engineer Rust en CDI, basé à Vélizy-Villacoublay.
Mission
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 et 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.
Qualifications
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
Inclusion statement
CATIA 是全球出色的产品设计和体验解决方案。它不仅提供在 3D 中对任何产品进行建模的独特功能，还提供在产品真实行为上下文中进行建模的独特功能。
想了解更多？
访问我们网站的其他部分以了解更多信息。
在校生和毕业生
成为我们的一员 - 查看实习和工作机会。
您的应聘之旅
了解您的应聘之旅。
我们的文化和价值观
了解我们的文化和价值观。