Emplois actuels liés à INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F - Palaiseau - Onera
-
Ingénieur de recherche en méthodes formelles h/f
il y a 2 jours
Palaiseau, Île-de-France ONERA Temps pleinPrésentation du posteL'ONERA, leader 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. Vous serez chargé de développer des études et recherches dans le domaine de l'ingénierie logicielle et des méthodes formelles.MissionsVos missions seront les...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
Il y a 4 mois
Palaiseau, France Onera Temps pleinPré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-Chercheur en méthodes formelles pour le quantique
il y a 3 jours
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement OCaml)Connaissance des méthodes formelles...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 4 jours
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement OCaml)Connaissance des méthodes formelles...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 jours
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement OCaml)Connaissance des méthodes formelles...
-
Ingénieur de recherche en méthodes formelles h/f
il y a 1 semaine
Palaiseau, Île-de-France Onera Temps pleinMissionL'ONERA recherche un ingénieur de recherche en méthodes formelles pour rejoindre son département Traitement de l'Information et Systèmes (DTIS). 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).ObjectifsVotre mission consiste...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement OCaml)Connaissance des méthodes formelles...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 1 semaine
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.ContexteLa recherche en informatique quantique a fait des progrès considérables récemment, et des machines quantiques utiles sont attendues pour un futur proche. Il est donc temps de...
-
Palaiseau, Île-de-France CEA Temps pleinOffre de rechercheVous rejoindrez notre équipe de recherche au CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Nous sommes à la recherche d'un candidat motivé pour relever des défis scientifiques et techniques ambitieux en combinant des méthodes d'analyse de programme et d'intelligence artificielle.Domaines...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreNous recherchons un expert en méthodes formelles et intelligence artificielle pour rejoindre notre équipe de sécurité logicielle au CEA. Vous serez chargé de concevoir et d'implanter de nouvelles méthodes de compréhension de code, combinant des aspects d'analyse de programme et d'inférence.Compétences requisesLe...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser...
-
Palaiseau, Île-de-France CEA Temps pleinDescription du poste Vous intégrerez notre équipe LSL/SABR, dédiée à l'analyse automatique de code exécutable en matière de sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur l'excellence scientifique et la collaboration en équipe afin de tirer parti de méthodes et de plateformes logicielles...
-
Palaiseau, Île-de-France CEA Temps pleinDescription du poste Le candidat rejoindra le groupe LSL/SABR, qui se concentre sur l'analyse automatique de code exécutable en matière de sécurité. Pour relever des défis scientifiques et techniques de haut niveau, nous misons sur l'excellence scientifique et le travail collaboratif, en utilisant des méthodes et des plateformes logicielles...
-
Palaiseau, France CEA Temps pleinDescription 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...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreVous rejoindrez notre équipe de recherche et développement au CEA, spécialisée dans l'analyse automatique de code exécutable pour la sécurité. Nous sommes à la recherche d'un candidat motivé pour relever des défis scientifiques et techniques ambitieux en combinant des méthodes de recherche de l'excellence...
-
Palaiseau, France CEA Temps pleinDescription de l'offre « Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. » EN SYNTHESE, QU’EST-CE QUE NOUS VOUS PROPOSONS ? Le C ommissariat à l' É nergie A tomique et aux É nergies A lternatives ( CEA )...
-
Palaiseau, Île-de-France CEA Temps pleinPrésentation du poste Au sein de notre département LSL/SABR, vous serez impliqué dans l'analyse automatisée de code exécutable axée sur la sécurité. Nous visons à relever des défis scientifiques et techniques de haut niveau, en mettant l'accent sur l'excellence scientifique et la collaboration en équipe. Notre outil phare, BINSEC, illustre...
-
Palaiseau, Île-de-France CEA Temps pleinPrésentation du poste Au sein de notre département LSL/SABR, vous serez impliqué dans l'analyse automatisée de code exécutable axée sur la sécurité. Nous visons à relever des défis scientifiques et techniques de haut niveau, en mettant l'accent sur l'excellence scientifique et la collaboration en équipe. Notre outil phare, BINSEC, illustre...
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
Il y a 4 mois
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épartementLe 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é.
ProfilVous ê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.
