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

Trouvé dans: Appcast FR A2 - il y a 2 semaines

Palaiseau Île de France 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

    Trouvé dans: Adzuna FR C2 - il y a 2 semaines

    Palaiseau, Île de France, Essonne Onera Temps plein

    Présentation de l'ONERAL’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...

  • Ingénieur de recherche en méthodes formelles

    Trouvé dans: beBee jobs FR - il y a 2 semaines

    Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?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. Vous serez affecté à l'unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » à Palaiseau (unité...

  • Ingénieur de recherche en méthodes formelles

    Trouvé dans: beBee S FR - il y a 3 semaines

    Palaiseau, France ONERA Temps plein

    Quelles sont les missions ?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. Vous serez affecté à l'unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » à Palaiseau (unité...

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

    Trouvé dans: Whatjobs FR C2 - il y a 7 heures

    Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’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...

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

    Trouvé dans: Talent FR C2 - il y a 3 semaines

    Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’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...

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

    il y a 3 semaines

    Palaiseau, France Onera Temps plein

    Présentation de l'ONERAL’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...

  • Ingénieur développement et méthodes formelles pour les systèmes distribués H/F

    Trouvé dans: Talent FR C2 - il y a 3 semaines

    Palaiseau, France CEA Tech Temps plein

    Description du posteDomaineMathématiques, information scientifique, logiciel ContratCDD Intitulé de l'offreIngénieur développement et méthodes formelles pour les systèmes distribués H/F Statut du posteCadre Durée du contrat (en mois)18 /36 Description de l'offre from CEA Tech on Vimeo.Le laboratoire participe au développement de la plateforme MAAT...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau H/F

    Trouvé dans: Talent FR C2 - il y a 3 semaines

    Palaiseau, France CEA Temps plein

    Description de l'offre Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l’excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et plateformes...

  • Ingénieur-Chercheur en méthodes formelles et cybersécurité logicielle bas niveau H/F

    Trouvé dans: Talent FR C2 - il y a 3 semaines

    Palaiseau, France CEA Temps plein

    Description de l'offre Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Pour relever des challenges scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l’excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et plateformes...

  • Méthodes d'homotopie pour l'algèbre différentielle

    Trouvé dans: Talent FR C2 - il y a 3 semaines

    Palaiseau, France CNRS Temps plein

    Informations générales Intitulé de l'offre : Méthodes d'homotopie pour l'algèbre différentielle (H/F) Référence : UMR7161-GOVVAN-001 Nombre de Postes : 1 Lieu de travail : PALAISEAU Date de publication : lundi 25 mars 2024 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Date de début de la thèse : 1 septembre...

  • INGÉNIEUR D’ETUDES ET DE RECHERCHE EN SIMULATION DE SYSTEMES H/F

    Trouvé dans: Adzuna FR C2 - il y a 2 semaines

    Palaiseau, Île de France, Essonne Onera Temps plein

    Présentation de l'ONERAL’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...

  • Responsable méthodes et maintenance H/F

    Trouvé dans: Talent FR 2A C2 - il y a 5 jours

    Roissy-en-France TURNPOINT Temps plein

    Poste : Nous recherchons le futur Responsable Méthodes et Maintenance H/F de notre client sur Roissy-en-France (95), ayant un véritable sens du terrain, sensible aux délais et pédagogue. Vous êtes capable, du fait de vos compétences techniques et savoirs (chiffrer les plans d'actions pour l'amélioration continue, être...

  • Alternant Ingénieur Outils

    Trouvé dans: Talent FR C2 - il y a 3 semaines

    Palaiseau, France Atalian Maintenance et Energy Temps plein

    Description du poste et Missions Dans le cadre de notre croissance, le pôle Maintenance & Energy d'Atalian recrute un alternant Ingénieur Outils et Méthodes H/F à Palaiseau (91) Au coeur de la Direction Technique, vous assurerez le bon fonctionnement des outils métiers et procédures techniques du pôle dans un souci de maîtrise des coûts et...

  • Ingénieur Réseau

    Trouvé dans: beBee S FR - il y a 3 semaines

    Île-de-France Experis France Temps plein

    Ingénieur Réseau & Sécurité (H/F) - ParisExperis recherche un Ingénieur Réseau Sécurité (H/F) pour l'un de ses clients basé à Paris. Vos missions: Assurer le maintien en condition opérationnelle des environnements réseaux et sécurité LAN/WAN (protocoles, éléments actifs, routage, plan d'adressage)Gérer les incidents réseaux et...

  • Ingénieur Système

    Trouvé dans: beBee S FR - il y a 4 semaines

    Île-de-France FED SAS Temps plein

    Fed IT est un cabinet entièrement dédié à l'intérim et au recrutement des métiers des systèmes d'information et de la transformation digitale - infrastructure, chefferie de projet, data, cybersécurité, développement et top management. Nous recherchons pour notre client, société spécialisée dans le service aux entreprises, un...

  • Ingénieur Système

    Trouvé dans: beBee S FR - il y a 3 semaines

    Île-de-France FED SAS Temps plein

    Fed IT est un cabinet entièrement dédié à l'intérim et au recrutement des métiers des systèmes d'information et de la transformation digitale - infrastructure, chefferie de projet, data, cybersécurité, développement et top management. Nous recherchons pour notre client, société spécialisée dans le service aux entreprises, un...

  • Ingénieur Outils

    Trouvé dans: Talent FR C2 - il y a 3 semaines

    Palaiseau, France Atalian Maintenance et Energy Temps plein

    Description du poste et Missions Dans le cadre de notre croissance, le pôle Maintenance & Energy d'Atalian recrute un(e) Ingénieur Outils & Méthodes Maintenance (H/F) en CDI à Palaiseau (91). Rattaché.e au Responsable Outils et méthodes, vous assurerez le bon fonctionnement des outils métiers et procédures techniques du pôle dans un souci de...

  • Ingénieur méthodes matériaux composites domaine aéronautique

    Trouvé dans: Jooble FR O C2 - il y a 2 semaines

    Ile-de-France Astek Temps plein

    Ce que nous allons accomplir ensemble : Vous êtes ou souhaitez être à la pointe de l’actualité sur les technologies liées à la recherche dans le domaine aéronautique ? Vous êtes désireux de rejoindre un acteur majeur de l’aéronautique française ? Vous allez intégrer et renforcer notre pôle expertise en tant qu’ingénieurs méthodes...

  • Ingénieur-e de recherche en microscopie électronique en transmission H/F

    Trouvé dans: Talent FR C2 - il y a 2 jours

    Palaiseau, France CNRS Temps plein

    Informations générales Ouverte aux titulaires et CDI CNRS & fonction publique Intitulé de l'offre : Ingénieur-e de recherche en microscopie électronique en transmission H/F Référence : UMR7643-MOBINT-Z51011 Lieu de travail : PALAISEAU Institut : INP - Institut de physique Date de publication : vendredi 3 mai 2024 Session : Campagne Printemps...

  • Ingénieur Systèmes

    Trouvé dans: beBee S FR - il y a 2 semaines

    Île-de-France Experis France Temps plein

    Ingénieur Systèmes & Réseaux (H/F) - ParisExperis recherche des Ingénieurs Systèmes & Réseaux en Île-de-France. Vos missions : Assurer le bon fonctionnement des systèmes et du réseauAdministrer et assurer au quotidien : l'infrastructure Microsoft et Office 365 (serveurs et postes de travail), la sécurité, le réseau physique et des firewall...