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 quotidienThales 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 le laboratoire Systèmes Embarqués Critiques de Thales pour participer au développement de technologies innovantes, consacrées à la sûreté et la sécurité. Au sein du thème méthodes Formelles vous viserez à conjuguer recherche de haut niveau scientifique et applicabilité industrielle. Notamment, en utilisant les méthodes formelles pour produire les artefacts de certification des systèmes Thales (satellites, carte à puces, avionique) en définissant des propriétés de sûreté ou de sécurité directement sur le code logiciel (C, Ada, etc.) ou matériel (System Verilog / RISC-V). Vos missions incluront le développement des connaissances sur les applications industrielles des méthodes formelles, la contribution à des projets collaboratifs avec des institutions extérieures et le suivi de l'état de l'art. Si vous souhaitez promouvoir et appliquer ces méthodes dans un cadre international, ce poste est fait pour vous !

Votre profil Ingénieur Méthodes formelles (H/F) CDD de 1 an

Faire adopter les méthodes formelles par un public non familier vous motive ?

Vous avez l'ambition d'approfondir vos connaissances dans l'application des méthodes formelles ?

Vous disposez d'un diplôme d'Ingénieur et idéalement d'un doctorat en informatique et avez de l'expérience sur un des points suivants :

• Méthodes formelles théoriques ou appliquées et application à l'IA
• Spécification formelle de propriétés (fonctionnnelles, de sécurité)
• Systèmes critiques (cyber-sécurité, avionique, communication ...)
• Anglais (niveau C1 attendu)

Capacité à appréhender rapidement un nouveau sujet, Curiosité, esprit d'équipe et rigueur sont des atouts que l'on vous reconnait?

Alors ce poste est fait pour vous !

Le mot de l'équipe

Promouvoir et appliquer les méthodes formelles de manière pragmatique au sein d'un grand groupe international et communiquer sur les avancées scientifiques et techniques dans le milieu scientifique et industriel vous motive ? Alors venez nous rencontrer !

Emmanuel

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

Le poste pouvant nécessiter d'accéder à des informations relevant du secret de la défense nationale, la personne retenue fera l'objet d'une procédure d'habilitation, conformément aux dispositions des articles R.2311-1 et suivants du Code de la défense et de l'IGI 1300 SGDSN/PSE du 09 août 2021.