Ingénieur de recherche en méthodes formelles

il y a 4 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é 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 oeuvre 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 oeuvre 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é.

Quel est le profil idéal ?

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.

Qui a publié cette offre ?

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.



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


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


  • Palaiseau, Île-de-France Socotec Temps plein

    Socotec Monitoring France, filiale du groupe Socotec (un des leaders mondiaux des TIC) et basée sur le Plateau de Saclay, est une PME spécialisée dans l'instrumentation et la surveillance de tous types d'infrastructures (barrages, ponts, tunnels, réseaux, etc.) . Ayant connu une très forte croissance depuis sa création en 2008, son objectif est...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Rattaché à l'unité FPA du département DPHY où sont menées des activités de recherche dans le domaine de la foudre, des plasmas et de leurs applications dans l'aérospatiale. Ces applications incluent la détermination des conditions atmosphériques de foudroiement, les effets directs d'impact foudre sur peau d'aéronef, la...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Disposant de solides connaissances en physique et en particulier en électromagnétisme, vous participerez aux travaux d'études et de recherches sur la discrétion et la furtivité radar. Pour mener à bien cette activité vous serez amené à exploiter et faire évoluer les outils de modélisation et de calcul du département et...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Le Département Traitement de l'Information et Systèmes mène des études et recherches pour maîtriser la conception, les opérations et l'autonomie des systèmes aérospatiaux. Il regroupe des compétences en commande des systèmes, traitement de l'information, intelligence artificielle, ingénierie des systèmes et des...


  • Palaiseau, Île-de-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 Thales....


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Vous 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,...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Dans l'unité Simulation, Infrastructure et Intégration de Modèles (S2IM) du Département Traitement de l'Information et Systèmes (DTIS), vous intégrez une équipe spécialisée dans le domaine Systèmes de Systèmes couvrant 4 périmètres (Défense, Spatial, Sécurité Civile et Aéronautique). S2IM est en charge du...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Au Département Multi-Physique pour l'Energétique, vous intégrez l'unité Modélisation Propulsion Aérobie travaillant principalement sur la simulation numérique de chambres de combustion de turbomachines et de statoréacteurs / statomixtes. Vos missions consisteront à étudier, par CFD, la phénoménologie des écoulements...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Au Département Multi-Physique pour l'Energétique (DMPE), vous intégrez l'unité MPA (Modélisation Propulsion Aérobie) 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...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Intégré dans l'unité MARS (Modélisation, Analyse et Restitution de Systèmes de défense et de rentrée) du Département Traitement de l'Information et Systèmes, vous assurez un rôle de spécialiste des méthodes de conception, d'analyse, et d'optimisation multidisciplinaire (MDAO : Multidisciplinary Design Analysis and...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Intégré dans l'unité MARS (Modélisation, Analyse et Restitution de Systèmes de défense et de rentrée) du Département Traitement de l'Information et Systèmes, vous assurez un rôle de spécialiste des méthodes de conception, d'analyse, et d'optimisation multidisciplinaire (MDAO : Multidisciplinary Design Analysis and...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?L'unité CASH mène principalement des travaux de définition, d'évaluation de performances de nouveaux concepts de véhicules aérospatiaux aérobies hypersoniques pour des applications militaires et civiles. Ses travaux vont de l'étude d'avant-projet aux essais au sol ou en vol. Elle dispose d'une compétence système et d'une...

  • Ingenieur developpement cedre

    il y a 4 semaines


    Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?L'unité Plateforme Logicielle Multi-physique (PLM) du DMPE est en charge du développement du code CEDRE (multi-solveurs, parallèle MPI, maillages non structurés) dédié à la simulation numérique multi-physique dans le domaine de l'Energétique. Le code CEDRE s'attache à résoudre des écoulements compressibles, réactifs,...


  • Palaiseau, Île-de-France PAGE PERSONNEL Temps plein

    Quelles sont les missions ?En tant qu'Ingénieur Acousticien, vos missions sont : * Dimensionner les équipements de la gamme de notre client afin de garantir la performance exigée par le cahier des charges ; * Effectuer des mesures acoustiques sur site avant et après projet ; * Effectuer des modélisations acoustiques environnementales ; * Etablir des...


  • Palaiseau, Île-de-France ONERA Temps plein

    Quelles sont les missions ?Vous intégrerez l'Unité Composants et Instruments Optroniques (CIO) qui réunit une quinzaine de permanents et une dizaine de doctorants. Elle a pour mission de concevoir, d'évaluer les performances, d'intégrer et de mettre en oeuvre des instruments pour l'opto-électronique infrarouge dans le cadre d'applications pour la...


  • Palaiseau, Île-de-France Cea Temps plein

    Le LASTI vous invite à rejoindre son équipe pour prendre part à des projets de recherche et développement dans des domaines comme le manufacturing, la santé.... Dans le domaine de la santé, parmi les objectifs des projets en cours nous pouvons citer : le développement d'une méthodologie outillée pour la conception et le déploiement de « jumeaux...


  • Palaiseau, Île-de-France EASY PARTNER Temps plein

    ## Contexte du posteAu sein de notre PME française en pleine croissance, spécialisée dans la création de caméras infrarouges et située en IDF, nous sommes à la recherche d'un Ingénieur électronique afin de rejoindre notre équipe.## Missions Accompagner la R&D Hardware Sélectionner des composants Saisir les schémas électroniques sous Altium ...


  • Palaiseau, Île-de-France EASY PARTNER Temps plein

    ## Contexte du posteAu sein de notre belle PME française en pleine croissance, spécialisée dans la création de caméras infrarouges et située en IDF, nous sommes à la recherche d'un Ingénieur logiciel QT/C++ afin de rejoindre notre équipe.## Missions Développer, tester, valider et maintenir les outils de production Suivi des versions logiciel ...