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'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 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...

  • INGÉNIEUR D’ÉTUDE SYSTÈME RADAR

    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 GESTION

    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 D'ÉTUDES NOUVEAUX CONCEPTS DE VÉHICULES AÉROSPATIAUX

    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 DÉVELOPPEMENT LOGICIEL APPLIQUÉ AUX DÉMONSTRATEURS RADARS

    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 MESURE D’ÉMISSIONS AÉRONAUTIQUES 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...

  • CONTRÔLEUR DE GESTION BUDGÉTAIRE

    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...

  • TECHNICIEN SUPÉRIEUR TRAITEMENT ET ANALYSE DE DONNÉES

    Trouvé dans: Adzuna FR C2 - Il y a 30 minutes

    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...

  • ALTERNANT CONTRÔLEUR DE GESTION

    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...

  • CONTRÔLEUR DE GESTION EXPÉRIMENTÉ

    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...

  • CHARGÉ DE RÉALISATION AUDIOVISUELLES

    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...

  • Doctorant sur la Robustesse par construction pour des modèles d'apprentissage frugaux et de confiance

    Trouvé dans: Adzuna FR C2 - il y a 4 jours

    Palaiseau, Essonne, France THALES Temps plein

    QUI SOMMES-NOUS ?Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à une...

  • Assistant comptable H/F

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

    Palaiseau, Essonne, France Hays France Temps plein

    Notre client intervient dans le secteur de l'ingénierie et est situé à Palaiseau. Il recherche dans le cadre d'un CDD de six mois renouvelables, un Assistant comptable. Le poste est à pourvoir dès la mi-mai.Rattaché au Directeur administratif et financier, vous intégrez une équipe de quatre personne

  • Chef de Secteur Paris-Est H/F

    Trouvé dans: Adzuna FR C2 - il y a 4 jours

    Palaiseau, Essonne, France Page Personnel Temps plein

    Notre client, marque emblématique de salades et légumes frais prêts à l'emploi, recherche son futur Chef de Secteur Paris-Est, poste à Palaiseau et départements limitrophes (91 et 77 en partiel).Vous les connaissez c'est sûr. Vous cherchez à booster votre carrière. N'attendez plus, p

  • Développeur C++ Confirmé H/F

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

    Palaiseau, Essonne, France MICHAEL PAGE Temps plein

    Notre client, entreprise de référence dans les domaines de l'électronique numérique et des hyperfréquences en France et à l'international, développe des solutions qui allient matériel, logiciel de test et d'évaluation de systèmes. Dans le cadre d'un accroissement d'activité, il recherche son futur Développeur C++ Confirmé.En...

  • 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 19 minutes

    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 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...

  • 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 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-e de recherche en microscopie électronique en transmission H/F

    Trouvé dans: Talent FR C2 - il y a 1 jour

    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 de recherche en optimisation

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

    Palaiseau, France LesJeudis Temps plein

    Description du posteQUI SOMMES-NOUS ?Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à...

  • Ingénieur de recherche en optimisation

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

    Palaiseau, France THALES Temps plein

    QUI SOMMES-NOUS ?Situé sur le campus de l'École polytechnique, au cœur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à une politique de...

  • Ingénieur en visualisation et environnement de développement 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 en visualisation et environnement de développement H/F Statut du posteCadre Durée du contrat (en mois)36 Description de l'offre Vous rejoindrez notre groupe LSL/CLASS, spécialisé en analyse sémantique de code source pour la sûreté et...

  • Ingenieur dvlpt methodes avancees conception systemes aerospatiaux

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

    Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?L'équipe conduit des recherches dans le domaine des méthodologies multidisciplinaires (optimisation multidisciplinaire (MDO), optimisation, modèles de substitution, incertitudes), les applique à la conception de véhicules aérospatiaux, sur des domaines aéronautique, transport spatial, systèmes de défense. L'équipe...

  • Ingenieur en modelisation et methodes numeriques aerobie

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

    Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Intégrez l'unité MPA travaillant principalement sur la simulation numérique de chambres de combustion de turbomachines et de statoréacteurs/statomixtes. Cette équipe met en oeuvre et (co-)développe des outils allant de l'approche système, pour les performances du moteur complet, à la simulation CFD multi-physiques. Vos...

  • Ingénieur de recherche en IA de la décision et IA explicable

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

    Palaiseau, France Thales Temps plein

    QUI SOMMES-NOUS ?Situé sur le campus de l’École polytechnique, au cœur du pôle scientifique et technologique d’envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à une politique...

  • Ingénieur de recherche en optimisation

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

    Palaiseau, France Thales Temps plein

    QUI SOMMES-NOUS ?Situé sur le campus de l’École polytechnique, au cœur du pôle scientifique et technologique d’envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de Thales. Grâce à une politique...

  • Ingénieur de recherche en Céramiques H/F

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

    Palaiseau, France THALES Temps plein

    Quelles sont les missions ?QUI SOMMES-NOUS ? Situé sur le campus de l'École polytechnique, au coeur du pôle scientifique et technologique d'envergure mondiale de Paris-Saclay, à Palaiseau, Thales Research & Technology (TRT) France constitue le centre de recherche et technologies français du Groupe Thales, au service des activités mondiales de...

  • Ingenieur dvlpt methodes avancees conception systemes aerospatiaux

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

    Palaiseau, France ONERA Temps plein

    Quelles sont les missions ?L'équipe conduit des recherches dans le domaine des méthodologies multidisciplinaires (optimisation multidisciplinaire (MDO), optimisation, modèles de substitution, incertitudes), les applique à la conception de véhicules aérospatiaux, sur des domaines aéronautique, transport spatial, systèmes de défense. L'équipe...