Ingénieur Algorithmie distribuée tolérante aux fautes pour le contrôle d'infrastructures digitales support des systèmes de gestion de missions collaboratives (H/F) CDDTHALES

Chez Thales, nous sommes fiers de travailler ensemble pour imaginer des solutions innovantes qui contribuent à construire un avenir plus sûr, plus vert et plus inclusif. Un avenir de confiance. Mais ces technologies ne viennent pas de nulle part. L'intelligence humaine est le moteur derrière la technologie qui fait la renommée de Thales. Les projets que nous conduisons sont complexes et nos clients exigeants. Pour répondre aux besoins actuels et futurs de nos clients, nous maîtrisons plus d'une centaine de disciplines, de l'optique à la physique quantique, du traitement du signal à la connectivité et à l'intelligence artificielle. Rejoindre Thales, c'est repousser les limites de la technologie et la mettre au service du progrès et du développement durable de nos sociétés. C'est donc être au cœur d'une formidable aventure technique. Une attention portée à l'équilibre des collaborateurs au service de leur réussite. C'est pourquoi, notamment, nous nous efforçons de créer un environnement de travail accueillant et d'accorder la flexibilité nécessaire à l'équilibre entre vie professionnelle et vie personnelle. Nous savons que cet équilibre est essentiel à votre épanouissement et à la réussite des projets que nous vous confierons. Des parcours professionnels riches. Chez Thales, nous jouons collectif. Ce qui signifie travailler en équipe, côtoyer des experts et donc apprendre et développer ses compétences en permanence tout en faisant bénéficier le Groupe de son savoir-faire. C'est aussi la possibilité d'évoluer, de changer de fonction ou d'activité, voire de pays.

Lieu : Palaiseau, France

Construisons ensemble un avenir de confiance

Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cyber & Digital. Il développe des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif. Le Groupe investit près de 4 milliards d'euros par an en Recherche & Développement, notamment dans des domaines clés de l'innovation tels que l'IA, la cybersécurité, le quantique, les technologies du cloud et la 6G. Thales compte près de 81 000 collaborateurs dans 68 pays.

Nos engagements, vos avantages

• Une réussite portée par notre excellence technologique, votre expérience et notre ambition partagée

• Un package de rémunération attractif

• Un développement des compétences en continu : parcours de formation, académies et communautés internes

• Un environnement inclusif, bienveillant et respectant l'équilibre des collaborateurs

• Un engagement sociétal et environnemental reconnu

Votre quotidien

Thales Research&Technology, notre centre de recherche dans les domaines matériels, et CortAIx Labs, notre centre de recherche en IA et digital ont pour mission de proposer des innovations de ruptures, de maintenir et d'accroitre l'avance technologique et d'en assurer la compétitivité pour le groupe.

En nous rejoignant vous intégrerez une équipe de recherche travaillant sur les systèmes de gestion de missions collaboratives, civils et militaires. Dans ce cadre vous participez, à l'identification de besoins en algorithmes distribués décentralisés, et à la caractérisation algorithmique de technologies sur étagère de type middleware de communication (ex : DDS, MQTT, Akka, etc.), base de données réparties (ex : REDIS), orchestrateurs (ex : K3S), pour répondre au besoin du groupe Thales.

Vous modéliserez mathématiquement les bonnes abstractions des architectures distribuées associées.

Vous adoptez une approche ligne de produit, c'est-à-dire que vous modéliserez explicitement la variabilité sur :

• la définition des tâches à résoudre en décentralisé par le système distribué,

• les hypothèses (environnement, pannes, attaques cyber, hypothèses et garanties des logiciels COTS, etc.),

• les niveaux de qualité de service (SLA, QoS),

• les modèles de calcul, de communication, et de mobilité des drones et robots.

Vous effectuez l'étude formelle des conditions d'existence de protocoles résolvant les tâches sélectionnées, pour les modèles de calcul sélectionnés (solvabilité). En cas d'inexistence démontrée de toute solution protocolaire sur un couple (tâche, modèle), vous proposez différentes politiques de compromis pour relaxer les contraintes et parvenir à une résolution qui conserve un intérêt opérationnel.

Vous adopterez une approche catégorique de la modélisation, sur notamment des transformations implémentant la variabilité des modèles de calcul et celle du transport ou non des variants/invariants comportementaux. Sur un périmètre prioritaire pour une expérimentation « de bout en bout » qui sera défini en cours d'étude, vous développez un cadriciel d'algorithmes distribués robustes et résilients, en Python et/ou en TLA+, à partir duquel du code embarqué robots sera généré par l'équipe qui travaillera avec vous.

Vous participez à la programmation des algorithmes, à leur simulation, et à leur déploiement sur robots ou dans le Edge.

Vous participez au suivi de leur comportement en essais terrain : analyses off-line, ou on-line, de séries temporelles, notamment pour vérifier la non-violation en opération des contrats protocolaires assurant les conditions d'existence d'un comportement garanti.

Votre profil

Ingénieur Algorithmie distribuée tolérante aux fautes pour le contrôle d'infrastructures digitales support des systèmes de gestion de missions collaboratives (H/F) CDD

Votre priorité est de contribuer à l'avancée de la recherche ?

Vous avez l'ambition de développer votre expertise sur le sujet ?

Vous avez envie de découvrir la recherche en industrie au sein de Thales ?

Vous disposez d'un Doctorat en informatique et en mathématiques du calcul distribué appliquées à la robotique distribuée et avez de l'expérience sur :

• Méthodes topologiques de preuve d'inexistence d'algorithmes décentralisés réalisant une tâche répartie donnée, pour un modèle de calcul, de communication, de mobilité, et d'adversaires donnés.

• Programmation C, C++, Python et RUST

• Machine Learning sur series temporelles

• Connaissance du contrôle en formation de drones volants guidant des drones roulants

Esprit d'équipe, curiosité, autonomie et sens de la communication sont des atouts que l'on vous reconnait ? Alors ce poste est fait pour vous !

Thales, entreprise Handi-Engagée, reconnait tous les talents. La diversité est notre meilleur atout. Postulez et rejoignez nous !