Ingénieur méthodes formelles (h/f) cdd de 1 an (cdi)

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 coeur 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. 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 Le profil recherché (compétences et l'expérience requises) est détaillé dans le Descriptif du poste ci-dessus