ALTERNANCE – Développement et Vérification de Logiciel – F/HTHALES

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 : Meudon, 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

• Notre savoir-faire technologique

• Notre attention portée à l'équilibre des collaborateurs

• Un environnement inclusif et bienveillant

• Un engagement sociétal et environnemental reconnu (Thales Solidarity, indice CAC 40 ESG…)

Votre quotidien

En nous rejoignant à Meudon, vous rejoignez le siège social du Groupe Thales situé en bord de Seine et organisé en un véritable campus, regroupant notamment nos activités d'identité et de sécurité numériques.

Au sein de l'équipe R&D, vous participez au développement, à la validation et à la certification de produits gouvernementaux contenant un microcontrôleur.

Ces produits peuvent être des passeports, des cartes d'identité, des permis de conduire, des cartes de santé ou tout autre produit adressant le marché gouvernemental. Votre contribution peut prendre plusieurs formes :

• Développement d'outils pour améliorer les processus d'intégration continue,
• Validation des produits logiciels et faciliter leur certification (certification critères communs).

Vous travaillerez dans une équipe internationale d'ingénieurs sur le Campus de Meudon. Pour réussir les missions qui vous sont attribuées, vous devez :

• Identifier les objectifs, les risques et les difficultés
• Proposer des solutions permettant de résoudre les problèmes
• Implémenter, vérifier et tester l'implémentation de façon unitaire
• Valider l'intégration de l'implémentation au sein d'une solution complète
• Analyser et partager avec l'équipe les résultats obtenus

Vous contribuerez directement à la consolidation du processus de vérification de composants logiciels selon les exigences de la certification critères communs. Une attention particulière sera accordée aux exigences permettant d'atteindre les plus hauts niveaux d'assurances EAL6 et EAL7. Cela implique notamment de travailler avec des outils de vérification formelle de propriétés de sécurité tels que Frama-C.

Vos missions seront donc articulées autour de deux objectifs :

• Améliorer la visualisation des résultats de la vérification formelle
• Améliorer la traçabilité des exigences de sécurité dans le code vérifié

Dans le cadre de votre alternance les deux premières années sont habituellement consacrées à votre formation sous forme de contributions concrètes et ponctuelles, avec une montée en compétence progressive, pour aboutir sur une mission d'ingénieur complète confiée la troisième année, qui concrétise un projet d'étude.

Votre profil :

Vous préparez un diplôme d'ingénieur ou équivalent dans le domaine de l'informatique et vous êtes à la recherche d'une alternance pour 2 ou 3 ans ?

Vous possédez des connaissances en langage de programmation OCaml et Java ? et en développement web ?

Vous avez un bon niveau d'anglais ?

Vous appréciez le travail d'équipe ?

On dit de vous que vous êtes quelqu'un d'autonome et de curieux ?

Thales reconnait tous les talents, la diversité est notre meilleur atout. Postulez et rejoignez nous !