Ingénieur en vérification de preuve formelle FPGA

il y a 4 semaines


Valence, Auvergne-Rhône-Alpes, France THALES Temps plein
Qui sommes-nous?

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.

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
  • 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.
Activité avionique

Thales fournit divers systèmes de bord pour l'aviation : avionique de vol, production et conversion d'électricité, multimédia de cabine et connectivité.

Objectif du stage

L'objectif du stage est la mise en œuvre d'un outil de vérification formelle sur un projet en développement.

Missions
  • 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
Qui sommes-nous?

Nous sommes Thales, un leader mondial des hautes technologies.

Nos valeurs

Nous sommes fiers de travailler ensemble pour imaginer des solutions innovantes qui contribuent à construire un avenir plus sûr, plus vert et plus inclusif.

Rejoignez-nous

Rejoignez notre équipe et rejoignez-nous dans notre aventure technique.



  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    Ingénieur en vérification de preuve formelle FPGARejoignez notre équipe de développement à Thales Group et participez à la mise en œuvre d'un outil de vérification formelle sur un projet en développement.Missions principales :Approprier un composant avec sa spécification ;Proposer une stratégie de vérification hybride (simulation/formel) ;Mettre...


  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    Ingénieur en vérification formelle FPGARejoignez notre équipe de développement à Valence et participez à la mise en œuvre d'un outil de vérification formelle sur un projet en développement.Qui sommes-nous?Thales est un leader mondial des hautes technologies spécialisé dans trois secteurs d'activité : Défense & Sécurité, Aéronautique &...


  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    Ingénieur en Vérification Formelle FPGAVous rejoignez le Centre de Compétences Equipements et Technologies Aéronautiques (ETA) de Thales Group, où vous serez intégré.e au Département Hardware. Votre mission sera de mettre en œuvre un outil de vérification formelle sur un projet en développement.Voici vos principales missions :S'approprier un...


  • Valence, Auvergne-Rhône-Alpes, France SERMA INGENIERIE Temps plein

    Playlist des missionsLe Groupe SERMA est un leader Européen, représentant 1400 ingénieurs et techniciens, spécialiste de l'ensemble des activités liées à l'électronique, la microélectronique et les nouvelles énergies.SERMA Ingénierie conçoit, produit et maintient en conditions opérationnelles les systèmes électroniques embarqués de ses...

  • Ingénieur FPGA

    il y a 3 semaines


    Valence, Auvergne-Rhône-Alpes, France SERMA Group Temps plein

    Ingénieur FPGA - Secteur AéronautiqueNous recherchons un ingénieur expérimenté en conception et développement de circuits intégrés programmables (FPGA) pour rejoindre notre équipe de développement de systèmes électroniques.Vous serez chargé de la conception, du développement et de la validation de solutions FPGA pour des applications...

  • Chef de Projet FPGA

    il y a 6 jours


    Valence, Auvergne-Rhône-Alpes, France SERMA INGENIERIE Temps plein

    SERMA Ingénierie est une entreprise multisectorielle qui conçoit, produit et maintient en conditions opérationnelles les systèmes électroniques embarqués de ses clients. Dans le cadre du développement de nos activités et de nouveaux projets, nous souhaitons renforcer notre Pôle FPGA en interne.Nous recherchons un Responsable d'activités FPGA...

  • Chef de service vérification

    il y a 2 semaines


    Valence, Auvergne-Rhône-Alpes, France CAF DE LA DROME Temps plein

    Responsable du service vérification H/FLa Caisse d'Allocations Familiales de la Drôme recherche un responsable de service Vérification pour remplacer un départ en mutation. Ce poste consiste à garantir la sécurisation des risques financiers et à participer à l'amélioration de la qualité des droits aux prestations individuelles.Les missions...


  • Valence, Auvergne-Rhône-Alpes, France CAF DE LA DROME Temps plein

    Responsable de la vérification des prestationsLa Caisse d'Allocations Familiales de la Drôme recrute un responsable de service Vérification pour remplacer un départ en mutation. Ce poste consiste à garantir la sécurisation des risques financiers et à participer à l'amélioration de la qualité des droits aux prestations individuelles.Les...

  • Chef de Service Vérification

    il y a 2 semaines


    Valence, Auvergne-Rhône-Alpes, France CAF DE LA DROME Temps plein

    Chef de Service VérificationLe chef de service vérification est chargé de garantir la sécurisation des risques financiers et de contribuer à l'amélioration de la qualité des droits aux prestations individuelles. Les missions du service vérification recouvrent principalement : Optimiser l'atteinte des objectifs quantitatifs et qualitatifs du service....


  • Valence, Auvergne-Rhône-Alpes, France CAF DE LA DROME Temps plein

    Missions du Service VérificationLe responsable de service vérification est chargé de garantir la sécurisation des risques financiers et de contribuer à l'amélioration de la qualité des droits aux prestations individuelles. Les missions du service vérification recouvrent principalement : Optimiser l'atteinte des objectifs quantitatifs et qualitatifs...


  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    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. Le site de Valence développe et fabrique des composants micro-électroniques, équipements et systèmes de navigation. Nous recherchons un stagiaire ingénieur...


  • Valence, Auvergne-Rhône-Alpes, France CAF DE LA DROME Temps plein

    Responsable du service vérification H/FLa Caisse d'Allocations Familiales de la Drôme recrute un responsable de service Vérification pour remplacer un départ en mutation. Ce poste consiste à garantir la sécurisation des risques financiers et à participer à l'amélioration de la qualité des droits aux prestations individuelles.Les missions du...


  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    Stage en Ingénieur du NumériqueVous êtes en formation ingénieur spécialisé en électronique ?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. Le site de Valence développe et fabrique des composants...


  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    Offre de stage : Ingénieur en électronique spécialiséLe Centre de Compétence Equipement et Technologies Aéronautiques de Thales Group recherche un stagiaire en électronique spécialisé pour rejoindre son Département Capteurs.MissionVous rejoindrez l'équipe qui met au point un prototype d'antibrouilleur bi-antenne pour un récepteur GNSS. Vos...


  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    Spécialiste en Analyse de CodeVous rejoignez le Centre de Compétences Equipements et Technologies Aéronautiques (ETA) de Thales Group, où vous serez intégré.e au Département Hardware. Votre mission sera de mettre en œuvre un outil de vérification formelle sur un projet en développement.Voici vos principales missions :S'approprier un composant avec...


  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    Développeur de Systèmes ÉlectroniquesVous rejoignez le Centre de Compétences Equipements et Technologies Aéronautiques (ETA) de Thales Group, où vous serez intégré.e au Département Hardware. Votre mission sera de mettre en œuvre un outil de vérification formelle sur un projet en développement.Voici vos principales missions :S'approprier un...


  • Valence, Auvergne-Rhône-Alpes, France CAF DE LA DROME Temps plein

    Responsable du service vérificationLa Caisse d'Allocations Familiales de la Drôme recherche un responsable de service vérification pour remplacer un départ en mutation. Ce poste est chargé de garantir la sécurisation des risques financiers et de contribuer à l'amélioration de la qualité des droits aux prestations individuelles.Les missions...


  • Valence, Auvergne-Rhône-Alpes, France Thales Group Temps plein

    Thales est un leader mondial des hautes technologies. Nous sommes spécialisés dans trois secteurs d'activité : Défense & Sécurité, Aéronautique & Spatial, et Cybersécurité & Identité numérique. Notre site de Valence développe et fabrique des composants micro-électroniques, équipements et systèmes de navigation. Nous sommes à la recherche d'un...

  • Électricien Qualifié

    il y a 4 semaines


    Valence, Auvergne-Rhône-Alpes, France Bureau Veritas Group Temps plein

    Missions et ResponsabilitésEn tant que Technicien Electricité au sein de Bureau Veritas Group, vous serez chargé de réaliser des prestations de vérification technique liées à la sécurité des biens et des personnes en électricité.Compétences et Expériences RequisesContrôler les installations électriques basse et haute tension dans le respect de...


  • Valence, Auvergne-Rhône-Alpes, France THALES Temps plein

    Qui sommes-nous?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. Nous développons des produits et solutions qui contribuent à un monde plus sûr, plus respectueux de l'environnement et plus inclusif.Nos engagements,...