Jobtenir

Ingénieur Logiciel Rust - Systèmes distribués et réplication Git

Dassault Systèmes

Salaire
Non communiqué par l'employeur
Télétravail
Non précisé
Contrat
CDI
Lieu
Vélizy-Villacoublay (78) · 78140
Expérience
Non précisé
Publiée
il y a 2 sem.

Informatique & Tech · Site carrière de Dassault Systèmes

Description du poste

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.

À propos de l'entreprise

Métier
Informatique & Tech

Offres similaires

Explorer