Doctorant en Vérification formelle des OS & firmwares (H/F)

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.

Thales s’engage pour l’emploi et l’insertion des personnes en situation de handicap. A ce titre, notre établissement est reconnu Organisme Handi-Accueillant.

Rejoignez nous en tant que Doctorant dans un rôle d'ingénierie en temps réel et embarqué. Vous serez chargé(e) de concevoir, mettre en œuvre et tester des fonctionnalités en suivant les principes d'évolutivité et de performances, tout en se concentrant sur l'expérience utilisateur finale. Vous veillerez à appliquer les bonnes pratiques de codage pour produire un code de haute qualité et réutilisable, tout en respectant les normes de sécurité pour les applications web.

En collaborant étroitement avec d'autres développeurs, vous partagerez vos connaissances et contribuerez à l'amélioration continue des produits. Vous travaillerez également avec l'équipe UX pour valider l'expérience utilisateur et suivrez la méthodologie Agile en créant des histoires d'utilisateur et des tâches associées. De plus, vous serez impliqué(e) dans le déploiement d'applications et de nouvelles versions, tout en maintenant un dépôt de code source conforme. Ce projet représente une opportunité unique d’élargir vos compétences en ingénierie logicielle tout en travaillant sur des solutions innovantes de haute qualité.

 Votre profil

Doctorant en Vérification formelle des OS & firmwares (H/F)

Êtes-vous titulaire d'un master en ingénierie, informatique ou dans un domaine connexe, prêt à vous plonger dans un environnement DevOps/Agile/Scrum qui exige réactivité et débrouillardise ?

Souhaitez-vous évoluer dans un cadre "temps réel", jonglant entre des aspects techniques de bas niveau et des fonctionnalités de haut niveau ?

Êtes-vous prêt à travailler sur divers dispositifs, comme des radars ou des objets connectés pour les télécommunications et l'IOT ?

Avez-vous des compétences en développement sur des systèmes d'exploitation embarqués, comme Linux ou VxWorks ?

Êtes-vous à l'aise avec des langages de programmation, tels que C ou C++ ? Connaissez-vous la configuration de systèmes embarqués et les protocoles de communication ?

Rigueur, travail d’équipe et organisation sont des atouts que l’on vous reconnait ?

Rigueur et organisation 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 !