Ingénieur Méthodes Formelles

il y a 4 semaines


Toulouse, France LH&TECH Engineering Temps plein

Dans le cadre d'un nouveau projet de développement de calculateur avionique, vous serez en charge de faire de l’analyse en appliquant des méthodes formelles sur différentes fonctionalités logicielles.

Vos missions
  • Déployer un environnement de preuve.
  • Réaliser les preuves par l’utilisation de scripts et en analyser les résultats.
  • Communiquer avec les équipes techniques et les clients.
  • Suivi des différents environnements de preuves.
  • Rédaction de la documentation.
  • Prendre connaissances des cahiers de spécification et dossiers techniques.
Vos compétences

Diplômé d’une école d’ingénieur ou équivalent, vous justifiez d’une première expérience dans le domaine de la validation de logiciels de sécurité ou dans la programmation temps-réel avec l'utilisation de méthodes formelles.

  • Maîtrise du langage C et de CODDA/DCSL.
  • Domaine de la V&V des logiciels avioniques (DO178C DAL B).
  • Contexte international, anglais lu, écrit et parlé.
  • Travail en équipe.
  • Autonome, avec un esprit de synthèse et une capacité d’analyse et d’écoute.
Avantages
  • Rémunération attractive.
  • Budget de formation et journées dédiées individuels (200€ à 1000€ et 24 à 48 jours par an).
  • Primes (recommandation, apport d'affaires, placement) et salaire variable selon niveau de responsabilité.
  • Titre-restaurant.
  • Communauté de spécialistes (articles techniques, forum de discussion, formations internes, coaching, mentoring...).
  • Filières d'évolution de carrière et accompagnement individuel.
  • Télétravail (1 à 2 jours par semaine habituellement), RTT, mutuelle, prévoyance santé, 50% de l’abonnement de transport en commun pris en charge.
  • Séance photo individuelle et professionnelle.

Si ce poste vous ressemble, alors rejoignez-nous



  • TOULOUSE, France LH & Tech Temps plein

    Dans le cadre d'un nouveau projet de développement de calculateur avionique, vous serez en charge de faire de l'analyse en appliquant des méthodes formelles sur différentes fonctionnalités logicielles.- Déployer un environnement de preuve.- Réaliser les preuves par l'utilisation de scripts et en analyser les résultats.- Communiquer avec...


  • Toulouse, France NUTRITION & SANTE S.A.S Temps plein

    Pour Nourrir notre Futur, chez Nutrition & Santé, nous concevons des produits alimentaires et solutions nutritionnelles actives et naturelles pour le bien-être du corps et de l’esprit.Nous offrons ainsi une approche transparente et intelligente de la nutrition, à la fois riche en goût et en bénéfices, une expertise de ce qui est bon pour l’Homme et...


  • Toulouse, France ALTEN Temps plein

    Groupe international et leader de son marché, ALTEN intervient sur tous les grands projets porteurs d’enjeux technologiques, en s’intégrant depuis plus de 30 ans à la stratégie industrielle de ses clients.Partenaire technologique de référence des plus grandes entreprises françaises et internationales, Alten est labélisé "Top employeur" 2023, et...


  • Toulouse, France ALTEN Temps plein

    Groupe international et leader de son marché, ALTEN intervient sur tous les grands projets porteurs d’enjeux technologiques, en s’intégrant depuis plus de 30 ans à la stratégie industrielle de ses clients.Partenaire technologique de référence des plus grandes entreprises françaises et internationales, Alten est labélisé "Top employeur" 2023, et...


  • Toulouse, France ALTEN Temps plein

    Groupe international et leader de son marché, ALTEN intervient sur tous les grands projets porteurs d’enjeux technologiques, en s’intégrant depuis plus de 30 ans à la stratégie industrielle de ses clients.Partenaire technologique de référence des plus grandes entreprises françaises et internationales, Alten est labélisé "Top employeur" 2023, et...


  • Toulouse, Haute-Garonne, France ALTEN Temps plein

    Groupe international et leader de son marché, ALTEN intervient sur tous les grands projets porteurs d’enjeux technologiques, en s’intégrant depuis plus de 30 ans à la stratégie industrielle de ses clients.Partenaire technologique de référence des plus grandes entreprises françaises et internationales, Alten est labélisé "Top employeur" 2023, et...


  • Toulouse, Occitanie, France FORTIL Temps plein

    Quelles sont les missions ?Accompagné par un Ingénieur d'affaires, votre premier projet en tant que consultant ingénieur méthode consiste à être le point focal entre le BE / les méthodes / la qualité / la production sur des projets d'assemblage mécanique et/ou électrique.VOTRE QUOTIDIEN DANS NOS EQUIPESPiloter techniquement les dossiers...


  • Toulouse, Occitanie, France FORTIL Temps plein

    Quelles sont les missions ?Accompagné par un Ingénieur d'affaires, votre premier projet en tant que consultant ingénieur méthode consiste à être le point focal entre le BE / les méthodes / la qualité / la production sur des projets d'assemblage mécanique et/ou électrique.VOTRE QUOTIDIEN DANS NOS EQUIPESPiloter techniquement les dossiers...

  • Ingénieur industriel

    il y a 5 jours


    Toulouse, France STEP UP Temps plein

    STEP UP est une société d'ingénierie experte en pilotage de projets industriels et informatiques (+ 230 collaborateurs sur 9 agences en France), plaçant le potentiel humain comme 1er vecteur d'excellence et de performance en entreprise.Oubliez les sociétés d'ingénierie qui ne valorisent que vos seules compétences, chez STEP UP, nous visons également...

  • Ingénieur industriel

    il y a 13 heures


    Toulouse, France STEP UP Temps plein

    STEP UP est une société d'ingénierie experte en pilotage de projets industriels et informatiques (+ 230 collaborateurs sur 9 agences en France), plaçant le potentiel humain comme 1er vecteur d'excellence et de performance en entreprise.Oubliez les sociétés d'ingénierie qui ne valorisent que vos seules compétences, chez STEP UP, nous visons également...


  • Toulouse, France Reisel Temps plein

    Nous sommes une société de conseil en ingénierie et digital qui intervient sur les secteurs d'avenir : la mobilité, la transition écologique, la santé et l'industrie 4.0. Nous accompagnons nos plus de 100 clients, grands groupes et PME, dans leurs défis pour imaginer et créer le monde de demain.Le Groupe Reisel est une société de conseil en...


  • Toulouse, France Reisel Temps plein

    Nous sommes une société de conseil en ingénierie et digital qui intervient sur les secteurs d'avenir : la mobilité, la transition écologique, la santé et l'industrie 4.0. Nous accompagnons nos plus de 100 clients, grands groupes et PME, dans leurs défis pour imaginer et créer le monde de demain.Le Groupe Reisel est une société de conseil en...


  • TOULOUSE, France Akkodis Temps plein

    La ligne de service Consulting & Solutions d'Akkodis France renforce ses équipes en région Toulousaine et recrute un Ingénieur Méthode et Processus H/F en CDI à ToulouseDescription de la mission : - Améliorer les process, méthodes, outils (PMT) pour faire évoluer le référentiel métier pour adopter les nouvelles approches MBSE,...


  • Toulouse, France ONERA Temps plein

    A propos de l'entreprise :L'ONERA, acteur central de la recherche aéronautique etspatiale, emploie plus de 2000 personnes. Placé sous la tutelle duministère des Armées, il dispose d'un budget de 289 millionsd'euros (2023), dont plus de la moitié provient de contratsd'études, de recherche et d'essais. Expert étatique, l'ONERAprépare la défense de...


  • Toulouse, France ONERA Temps plein

    A propos de l'entreprise :L'ONERA, acteur central de la recherche aéronautique etspatiale, emploie plus de 2000 personnes. Placé sous la tutelle duministère des Armées, il dispose d'un budget de 289 millionsd'euros (2023), dont plus de la moitié provient de contratsd'études, de recherche et d'essais. Expert étatique, l'ONERAprépare la défense de...

  • Ingénieur Méthode H/F

    il y a 1 mois


    Toulouse, France LHH Temps plein

    Votre mission Opportunité de carrière passionnante chez Latecoere : Ingénieur Méthode 🚀 Partenaire de rang 1 des grands donneurs d’ordre industriels (Airbus, BAE Systems, Boeing, Bombardier, Dassault Aviation, Embraer, Honda Aircraft Company, Lockheed Martin, Raytheon Technologies, Thales), Latecoere sert le secteur aérospatial avec des...

  • Ingénieur Méthode H/F

    il y a 1 semaine


    Toulouse, France LHH Temps plein

    Votre mission Opportunité de carrière passionnante chez Latecoere : Ingénieur Méthode 🚀 Partenaire de rang 1 des grands donneurs d’ordre industriels (Airbus, BAE Systems, Boeing, Bombardier, Dassault Aviation, Embraer, Honda Aircraft Company, Lockheed Martin, Raytheon Technologies, Thales), Latecoere sert le secteur aérospatial avec des...


  • TOULOUSE, 31100, Toulouse, France Onera Temps plein

    L'unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » du DTIS à Toulouse, également basée à Palaiseau, à vocation informatique, développe des méthodes et outils basés sur des approches formelles (méthodes formelles, ingénierie dirigée par les modèles, modélisation conceptuelle, intelligence...

  • Ingénieur méthode H/F

    Il y a 2 mois


    Toulouse, France Capgemini Temps plein

    Capgemini EngineeringCapgemini Engineering, leader mondial des services d'ingénierie, rassemble des équipes d'ingénieurs, de scientifiques et d'architectes pour aider les entreprises les plus innovantes dans le monde à libérer leur potentiel. Des voitures autonomes aux robots qui sauvent des vies, nos experts en technologies digitales et logicielles...

  • Ingénieur méthode H/F

    il y a 10 heures


    Toulouse, France Capgemini Temps plein

    Capgemini EngineeringCapgemini Engineering, leader mondial des services d'ingénierie, rassemble des équipes d'ingénieurs, de scientifiques et d'architectes pour aider les entreprises les plus innovantes dans le monde à libérer leur potentiel. Des voitures autonomes aux robots qui sauvent des vies, nos experts en technologies digitales et logicielles...