STAGE - Ingénieur - Vérification preuve formelle FPGA - H/F - R0265783

Réf. 986692 - publié le 9 octobre 2024

Informations générales

Missions

Thales vous propose une offre de stage dans les domaines Sciences, technologies, Agroalimentaire, Bâtiment, travaux publics, génie civil, Design industriel,... à Valence.

DESCRIPTION DE L'ENTREPRISE :
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.

DESCRIPTION/RESPONSABILITÉS :
QUI SOMMES-NOUS ?
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.

Nos engagements, vos avantages
• Une réussite commune portée par notre culture et excellence technologique, votre expérience et notre ambition partagée
• Un package de rémunération attractif (épargne salariale, variable ou 13ième mois selon les postes, restaurant d’entreprise,…)
• La possibilité de développer vos compétences en continu grâce à nos parcours de formation et nos académies internes #ENTREPRISEAPPRENANTE
• Notre attention portée à votre équilibre personnel et professionnel (Accord télétravail, RTT, congés d’ancienneté, jours enfants malades, guide parentalité, crèches, CSE / ASC,… )
• Des communautés internes permettant de vous engager sur les sujets qui vous tiennent à cœur : innovation, diversité, environnement
• Un environnement inclusif et bienveillant où vous êtes accueilli et valorisé avec notre politique handi-accueillante, notre charte LGBT+, notre initiative #StOpe pour lutter contre le sexisme.

L’activité avionique fournit divers systèmes de bord pour l’aviation : avionique de vol, production et conversion d’électricité, multimédia de cabine et connectivité. Son offre couvre également des solutions d’entraînement et de simulation pour les forces terrestres, aériennes et interarmées, ainsi que des systèmes d’imagerie à rayons X et des amplificateurs de puissance radiofréquences et hyperfréquences.

Le site de Valence développe et fabrique des composants micro-électroniques, équipements et systèmes de navigation. Il est, par ailleurs, le centre de gravité mondial pour les activités avioniques hélicoptères de Thales.

Stage de 6 mois à pourvoir à Valence.

CE QUE NOUS POUVONS ACCOMPLIR ENSEMBLE :
Intégré.e au Centre de Compétences Equipements et Technologies Aéronautiques (ETA), vous rejoignez le Département Hardware. Celui-ci conçoit et vérifie des composants ASIC et FPGA pour des capteurs ou des récepteurs GNSS (Systèmes de Navigation par Satellites). Le métier FPGA/ASIC est en recherche de nouveaux outils et méthodes pour le développement de ses produits. Aujourd'hui, la vérification formelle ouvre de nouvelles possibilités que nous souhaitons explorer.

L'objectif du stage est ainsi la mise en œuvre d’un outil de vérification formelle sur un projet en développement. Autrement dit, proposer un système de surveillance et de testabilité des équipements. La certification aéronautique (DO-254) sera un élément à prendre en compte.

En nous rejoignant, vos principales missions seront suivantes :
• S’approprier un composant avec sa spécification ;
• Proposer une stratégie de vérification hybride (simulation/formel) ;
• Mettre en œuvre l'outil formel ;
• Présenter ses résultats.

Nous sommes toujours en phase ? Oui ? Alors, n’attendez plus, postulez !

Tous nos stages sont conventionnés et soumis à une gratification dont le montant est déterminé selon votre niveau d’études.

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

Profil

QUI ETES-VOUS ?
• Vous êtes en BAC+5 d’une formation spécialisée en électronique ou micro-électronique ?
• Vous maitrisez le développement VHDL et l’analyse de code en général ?
• Vous connaissez l’environnement Unix ?
• Vous avez déjà utilisé l’outil de simulation RTL ?
• SystemVerilog Assertion ou PSL vous sont des langages familiers ? C’est un plus !
• Vous êtes à l’aise pour lire et écrire en anglais ?
• Vous avez un esprit d’analyse ?
• Votre rigueur vous permet d’être rapidement autonome ?
• Vous êtes de nature curieuse et force de proposition ?
• Oui ? Alors ce stage est pour vous !

Postuler

Nom du recruteur : Alison Gergaud