Descriptif du poste: Description de l'entreprise 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 Cybersécurité & Identité numérique. 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. Avec plus de 600 experts IA et une centaine de doctorants en IA chaque année, et disposant d'un réseau de partenaires industriels, start-up et académiques de premier ordre, Thales est, depuis une décennie, un acteur majeur de l'IA de confiance, transparente, explicable et éthique. Le Groupe figure en tête, en Europe, dans le classement des déposants de brevets dans l'IA des systèmes critiques. Il intègre de l'IA dans plus d'une centaine de ses produits et services. CortAIx est l'accélérateur IA qui dotera les forces armées, les avionneurs et tous les opérateurs d'infrastructures critiques, de solutions hautement sécurisées leur apportant plus d'efficacité dans l'analyse des données et la prise de décision, tout en tenant compte des contraintes spécifiques, telles que la cybersécurité, l'embarquabilité et la frugalité, liées aux environnements critiques. Au sein de cette nouvelle organisation, nous représentons l'axe "cortAIx Factory" qui vise à accélérer la qualification et l'industrialisation des outils de développement de l'IA ainsi que les cas d'usage pour les données des systèmes. Thales dote déjà ses systèmes d'IA et continue d'identifier de nouveaux cas d'usages pour accélérer la performance, comme par exemple la planification de missions, la gestion du trafic aérien, le pilotage de drones et de robots. Missions 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.  Profil recherché: 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.     Au sein de cortAIx labs, Vous proposerez des technologies innovantes pour les produits du groupe Thales notamment pour : La charge utile des satellites, L'avionique, L'optronique, les Technologies des cartes à puce. Vous aurez comme principaux objectifs : spécifier, raffiner et formaliser les propriétés critiques (confidentialité, intégrité, temps-réel, disponibilité) attendues et d'instrumenter les plateformes matérielles et logicielles pour qu'elles vérifient ces propriétés. Pour cela vous devrez : * Mettre en œuvre et instrumenter des micro-noyaux à forte assurance, * Développer des solutions logicielles bas-niveau dédiées cyber-security (incluant TPM, HSM, etc.) ou systèmes à forte assurance dans des architectures critiques notamment pour le temps-réel. * Comprendre et analyser le fonctionnement d'architectures matérielles, many/multi-cœurs hétérogènes notamment en vue d'une utilisation dans des systèmes certifiés, * candidater et gérer les projets collaboratifs dont vous aurez la charge   Vous Intégrerez et prototyperez ces avancées technologiques sous la forme de démonstrateurs safe & secure ou de banc-test à destination des Entités de THALES. Vos travaux s'inscriront notamment dans le cadre de projets collaboratifs.   Enfin, vous développerez l'expertise collective de cortAIx labs avec les autres membres du laboratoire et les autres laborat