INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F

Il y a 4 mois

MagnylesHameaux, France ONERA Temps plein

Présentation de l'ONERA

L’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 289 millions d’euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l’ONERA prépare la défense de demain, répond aux enjeux aéronautiques et spatiaux du futur, et contribue à la compétitivité de l’industrie aérospatiale. Il maîtrise toutes les disciplines et technologies du domaine. Tous les grands programmes aérospatiaux civils et militaires en France et en Europe portent une part de l’ADN de l’ONERA : Ariane, Airbus, Falcon, Rafale, missiles, hélicoptères, moteurs, radars… Reconnus à l’international et souvent primés, ses chercheurs forment de nombreux doctorants.

Présentation du département

Le Département Traitement de l'Information et Systèmes (DTIS) mène des études et recherches pour maîtriser la conception, les opérations et l’autonomie des systèmes aérospatiaux. Le département met en œuvre ses compétences dans les domaines de l’aéronautique, de l’espace et de la défense : aéronefs (avions de transport, avions de combat, drones, dirigeables, hélicoptères, …), systèmes aérospatiaux (système de transport aérien, lanceurs, satellites, …), systèmes d’information (systèmes de veille, de localisation…), systèmes de défense (missiles, systèmes de systèmes, …).

Réparti sur 3 sites (Palaiseau, Toulouse, Salon de Provence, le département regroupe des compétences en commande des systèmes, traitement de l’information, intelligence artificielle, ingénierie des systèmes et des logiciels, interaction homme-système, mathématiques appliquées, conception et optimisation des systèmes, sûreté et sécurité, robotique et autonomie.

Missions

Vous serez affecté à l’unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » à Palaiseau (unité bi-site Palaiseau-Toulouse) qui développe des méthodes et outils basés sur des approches formelles : Méthodes formelles / modélisation conceptuelle / vérification ; Ingénierie dirigée par les modèles / génie logiciel / génération de code ; Intelligence artificielle / raisonnement ; Services distribués / architectures web. L’unité a pour objectif de permettre la mise en œuvre de ces approches dans un contexte applicatif industriel réel avec les contraintes issues du domaine applicatif, les problèmes de passage à l’échelle, …

Dans ce cadre, votre recherche s’articule autour des thèmes d’intérêt de l’unité, et plus spécifiquement en génie logiciel, notamment autour de thèmes parmi :

la modélisation / les méthodes formelles, l’ingénierie dirigée par les modèles / le génie logiciel, la variabilité / les systèmes reconfigurables, les software product lines / les logiciels dynamiques.

Vous serez chargé de développer des études et recherches dans le domaine informatique et vous participerez à des projets de différentes natures (projets européens, contrats industriels, contrats DGA / DGAC / CNES, …), visant à la mise en œuvre de méthodes informatiques pour des systèmes aérospatiaux.

Notamment, vous contribuerez aux travaux de l’unité en lien avec les départements de l’ONERA, pour le développement de logiciels de référence internationalement reconnus pour la simulation numérique des écoulements et des structures.

Ces codes sont une complexe collection de solveurs polyvalents et de scripts qui pourront être utilisés industriellement pour de nombreuses analyses, dont la complexité est difficile à maîtriser humainement, mais un sujet d’intérêt fort pour l’unité.

Profil

Vous êtes Docteur en informatique et vous avez idéalement une formation initiale ou une expérience dans le domaine des méthodes formelles ou de l’ingénierie logicielle.

Vos connaissances vous permettent d’accompagner la mise en application réelle de méthodes formelles.

Vous justifiez d’un niveau d’anglais suffisant pour répondre aux besoins de communication scientifique usuelle et êtes ouvert aux collaborations internationales.

Des compétences dans un ou plusieurs des domaines suivants seront appréciées : Méthodes formelles, modélisation, ingénierie dirigée par les modèles, spécification, … - Génie logiciel, validation, génération de codes, génération de tests, … - Variabilité, systèmes reconfigurables, system product lines, évolution et intégration continues, … - Reverse-engineering, variability mining, refactoring, …

Vous éprouvez de la curiosité pour des cadres applicatifs variés et une appétence pour la compréhension des besoins et pour pouvoir accompagner la mise en application réelle de méthodes formelles.

Rejoignez l’ONERA, façonnez l’avenir 

Intégrer l’ONERA, c’est bien plus que rejoindre le premier acteur de la recherche aéronautique et spatiale en France. C’est s’engager dans une aventure où chaque jour est une occasion d’innover, de repousser les limites de la connaissance et de construire le futur.

À l’ONERA, nous favorisons l’équilibre entre vie professionnelle et vie personnelle. Nous offrons un environnement stimulant qui encourage la formation continue de nos collaborateurs, permettant à chacun de se développer et de s’épanouir.

Notre entreprise s'engage dans une politique en faveur de l'intégration et du maintien dans l'emploi des personnes en situation de handicap.

Notre index d’égalité professionnelle de 95/100, établi en 2023, témoigne de notre engagement en faveur de la mixité. 

À l’ONERA, nous croyons fermement que la diversité de nos équipes est une force, enrichissant notre travail et nos innovations.

Ensemble, nous pouvons façonner l’avenir de l’aéronautique, de la défense et de l’espace. Rejoignez l’ONERA, et prenez votre envol vers l’avenir.

  • Ingénieur de recherche en méthodes formelles h/f

    il y a 4 jours

    Magny-les-Hameaux, Île-de-France ONERA Temps plein

    Présentation du posteL'ONERA, premier acteur de la recherche aéronautique et spatiale en France, recherche un ingénieur de recherche en méthodes formelles pour rejoindre son équipe de recherche.MissionsVous serez chargé de développer des études et recherches dans le domaine de l'ingénierie logicielle et des méthodes formelles. Vous participerez à...

  • Ingénieur de recherche en méthodes formelles h/f

    il y a 1 semaine

    Magny-les-Hameaux, Île-de-France ONERA Temps plein

    Présentation de l'ONERAL'ONERA est un acteur central de la recherche aéronautique et spatiale, employant plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 289 millions d'euros (2023), dont plus de la moitié provient de contrats d'études, de recherche et d'essais.Présentation du départementLe...

  • Ingénieur de Recherche en Méthodes Formelles H/F

    il y a 2 semaines

    Magny-les-Hameaux, Île-de-France ONERA Temps plein

    Présentation de l'ONERAL'ONERA est un acteur central de la recherche aéronautique et spatiale, employant plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 289 millions d'euros, dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l'ONERA prépare la défense de...

  • Ingénieur en méthodes formelles CDI

    il y a 4 jours

    Les Ulis, Île-de-France Compagnie des Signaux - CSEE Temps plein

    Compagnie des Signaux - CSEERejoignez notre équipe de professionnels en tant que Chargé de méthodes formelles H/F en CDI!MissionNous sommes à la recherche d'un(e) Ingénieur en méthodes formelles pour rejoindre notre équipe de développement. Vous serez chargé(e) de collaborer avec les équipes de développement, d'étude et de sécurité pour assurer...

  • Ingénieur en méthodes formelles CDI

    il y a 4 jours

    Les Ulis, Île-de-France Compagnie des Signaux - CSEE Temps plein

    Compagnie des Signaux - CSEERejoignez notre équipe de professionnels en tant que Chargé de méthodes formelles H/F en CDI!MissionNous sommes à la recherche d'un(e) ingénieur(e) en méthodes formelles pour rejoindre notre équipe de développement. Vous serez chargé(e) de collaborer avec les équipes de développement, d'étude et de sécurité pour...

  • Ingénieur de Recherche en Méthodes Formelles H/F

    il y a 2 semaines

    Magny-les-Hameaux, Île-de-France ONERA Temps plein

    Présentation de l'ONERAL'ONERA est un acteur central de la recherche aéronautique et spatiale, employant plus de 2000 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d'un budget de 289 millions d'euros, dont plus de la moitié provient de contrats d'études, de recherche et d'essais. Expert étatique, l'ONERA prépare la défense de...

  • Ingénieur en Méthodes Formelles H/F

    il y a 4 heures

    Les Ulis, Île-de-France Compagnie des Signaux - CSEE Temps plein

    Compagnie des Signaux - CSEE Nous sommes à la recherche d'un Ingénieur en Méthodes Formelles H/F pour rejoindre notre équipe de développement de solutions de signalisation ferroviaire intégrées.Mission Vous serez chargé d'appliquer les méthodes formelles sur des postes d'enclenchement, en collaborant étroitement avec les équipes de développement,...

  • Ingénieur en méthodes formelles H/F

    il y a 5 jours

    Les Ulis, Île-de-France Hitachi Rail Temps plein

    Rejoignez notre équipe de développement de méthodes formellesNous sommes à la recherche d'un Ingénieur en méthodes formelles H/F pour rejoindre notre équipe de développement de méthodes formelles à Hitachi Rail. Vous serez chargé d'appliquer les méthodes formelles sur des postes d'enclenchement et de contribuer à la construction d'un monde plus...

  • Ingénieur en méthodes formelles H/F

    il y a 5 jours

    Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps plein

    DescriptionHitachi Rail STS France recherche un Ingénieur en méthodes formelles H/F pour renforcer ses équipes et contribuer au développement de solutions innovantes dans le domaine des transports ferroviaires.A propos de nousHitachi Rail est un fournisseur mondial de solutions de transport ferroviaire intégrées. Nous développons des solutions...

  • Ingénieur en méthodes formelles

    il y a 4 jours

    Les Ulis, Île-de-France Compagnie des Signaux - CSEE Temps plein

    Compagnie des Signaux - CSEERejoignez notre équipe de professionnels en tant que Chargé de méthodes formelles et contribuez à la création de solutions innovantes pour le transport ferroviaire.MissionNous sommes à la recherche d'un candidat motivé pour rejoindre notre équipe de développement et d'ingénierie. Vous serez chargé de l'assistance aux...

  • Ingénieur en méthodes formelles H/F

    il y a 3 jours

    Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps plein

    DescriptionHitachi Rail STS France recherche un Ingénieur en méthodes formelles H/F pour renforcer ses équipes et contribuer au développement de solutions innovantes dans le domaine des transports ferroviaires.A propos de nousHitachi Rail est un fournisseur mondial de solutions de transport ferroviaire intégrées. Nous développons des solutions...

  • Ingénieur en méthodes formelles H/F

    il y a 1 semaine

    Les Ulis, Île-de-France Hitachi Rail Temps plein

    Rejoignez notre équipe de développement de méthodes formellesNous sommes à la recherche d'un Ingénieur en méthodes formelles H/F pour rejoindre notre équipe de développement de méthodes formelles à Hitachi Rail. Vous serez chargé d'appliquer les méthodes formelles sur des postes d'enclenchement et de contribuer à la construction d'un monde plus...

  • Ingénieur en méthodes formelles H/F

    il y a 6 heures

    Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps plein

    Description du posteHitachi Rail STS France recherche un Ingénieur en méthodes formelles H/F pour rejoindre son équipe de développement de solutions de transport ferroviaire intégrées.MissionsAssister les équipes de développement, d'étude, de sécurité au cours des différentes phases du projetÉtablir le catalogue de preuve et exécuter les...

  • Ingénieur en méthodes formelles CDI

    il y a 9 heures

    Les Ulis, Île-de-France Compagnie des Signaux - CSEE Temps plein

    Compagnie des Signaux - CSEERejoignez notre équipe de Compagnie des Signaux - CSEE, un fournisseur mondial de solutions de transport ferroviaire intégrées. Nous développons des solutions innovantes et durables dans les domaines du matériel roulant, de la signalisation, de l'exploitation, du service et de la maintenance, ainsi que de la technologie...

  • Ingénieur en méthodes formelles H/F

    il y a 1 jour

    Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps plein

    DescriptionPoste à pourvoir : Chargé de méthodes formelles H/FHitachi Rail STS France recherche un(e) Ingénieur en méthodes formelles H/F pour renforcer ses équipes et contribuer au développement de solutions innovantes dans le domaine de la signalisation ferroviaire.MissionsAssister les équipes de développement et d'étude dans les différentes...

  • Chargé de méthodes formelles H/F

    il y a 5 jours

    Les Ulis, Île-de-France Compagnie des Signaux - CSEE Temps plein

    Compagnie des Signaux - CSEERejoignez notre équipe de spécialistes en méthodes formelles ferroviairesNous sommes à la recherche d'un chargé de méthodes formelles H/F pour rejoindre notre équipe de spécialistes en méthodes formelles ferroviaires. Vous serez chargé d'appliquer les méthodes formelles sur des postes d'enclenchement et de contribuer à...

  • Ingénieur en méthodes formelles H/F

    il y a 2 jours

    Les Ulis, Île-de-France Hitachi Rail Temps plein

    Rejoignez notre équipe de développement de méthodes formellesNous sommes à la recherche d'un ingénieur en méthodes formelles pour rejoindre notre équipe de développement de méthodes formelles à Hitachi Rail. Vous serez chargé d'appliquer les méthodes formelles sur des postes d'enclenchement et de contribuer à la construction d'un monde plus...

  • Spécialiste en méthodes formelles H/F

    il y a 2 semaines

    Les Ulis, Île-de-France Hitachi Rail Temps plein

    Description du posteL'entité France d'Hitachi Rail recrute un Ingénieur en méthodes formelles H/F pour renforcer ses équipes et contribuer au développement de solutions innovantes dans le domaine des transports ferroviaires.MissionsAssister les équipes de développement, d'étude, de sécurité au cours des différentes phases du projet.Établir le...

  • Ingénieur en méthodes formelles H/F

    il y a 5 jours

    Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps plein

    Description du posteContexteL'entité France d'Hitachi Rail renforce ses équipes et recrute un Ingénieur en méthodes formelles H/F en CDI, pour son site des Ulis (91) – siège social.A propos de nousHitachi Rail est un fournisseur mondial de solutions de transport ferroviaire intégrées. Nous développons des solutions innovantes et durables dans les...

  • Chargé de méthodes formelles H/F

    il y a 1 semaine

    Les Ulis, Île-de-France HITACHI RAIL STS FRANCE Temps plein

    Description du poste Nous recherchons un Chargé de méthodes formelles pour rejoindre notre équipe de développement de systèmes ferroviaires à HITACHI RAIL STS FRANCE. MissionsAppliquer les méthodes formelles pour développer des preuves formelles de sécurité et de fiabilité des systèmes ferroviaires.Travailler en étroite collaboration avec les...