Get a reply from this employer
Your resume and cover letter, tailored to exactly what they’re hiring for.
Dassault Systèmes recherche un Ingénieur Logiciel Rust expérimenté pour concevoir et développer le coordinateur de réplication d’un service Git distribué et multi-tenant, créé à partir de zéro. Le poste, basé à Vélizy-Villacoublay, s’inscrit dans une solution SaaS autour de l’IA et SysML v2, avec une forte orientation performance et fiabilité.
Vous maîtrisez Rust (Tokio/asynchrone), Linux et les notions de cohérence et de disponibilité.
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.
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 :
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