INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES(H/F)
il y a 3 semaines
A propos de l'entreprise :
L'ONERA, acteur central de la recherche aéronautique etspatiale, emploie plus de 2000 personnes. Placé sous la tutelle duministère des Armées, il dispose d'un budget de 289 millionsd'euros (2023), dont plus de la moitié provient de contratsd'études, de recherche et d'essais. Expert étatique, l'ONERAprépare la défense de demain, répond aux enjeux aéronautiques etspatiaux du futur, et contribue à la compétitivité de l'industrieaérospatiale. Il maîtrise toutes les disciplines et technologies dudomaine. Tous les grands programmes aérospatiaux civils etmilitaires en France et en Europe portent une part de l'ADN del'ONERA : Ariane, Airbus, Falcon, Rafale, missiles, hélicoptères,moteurs, radars... Reconnus à l'international et souvent primés,ses chercheurs forment de nombreux doctorants.
A propos du poste :
Le Département Traitement de l'Information et Systèmes (DTIS)mène des études et recherches pour maîtriser la conception, lesopérations et l'autonomie des systèmes aérospatiaux. Vous serez affecté à l'unité de recherche « Modélisation etIngénierie des systèmes Distribués et des Logiciels » à Palaiseau(unité bi-site Palaiseau-Toulouse) qui développe des méthodes etoutils basés sur des approches formelles : Méthodes formelles /modélisation conceptuelle / vérification ; Ingénierie dirigée parles modèles / génie logiciel / génération de code ; Intelligenceartificielle / raisonnement ; Services distribués / architecturesweb. L'unité a pour objectif de permettre la mise en oeuvre de cesapproches dans un contexte applicatif industriel réel avec lescontraintes issues du domaine applicatif, les problèmes de passageà l'échelle, ...Dans ce cadre, votre recherche s'articule autour des thèmesd'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 dansle domaine informatique et vous participerez à des projets dedifférentes natures (projets européens, contrats industriels,contrats DGA / DGAC / CNES, ...), visant à la mise en oeuvre deméthodes informatiques pour des systèmes aérospatiaux. Notamment, vous contribuerez aux travaux de l'unité en lienavec les départements de l'ONERA, pour le développement delogiciels de référence internationalement reconnus pour lasimulation numérique des écoulements et des structures. Ces codes sont une complexe collection de solveurspolyvalents et de scripts qui pourront être utilisésindustriellement pour de nombreuses analyses, dont la complexitéest difficile à maîtriser humainement, mais un sujet d'intérêt fortpour l'unité.
Profil recherché :
Vous êtes Docteur en informatique et vous avez idéalement uneformation initiale ou une expérience dans le domaine des méthodesformelles ou de l'ingénierie logicielle.Vos connaissances vous permettent d'accompagner la mise enapplication réelle de méthodes formelles.Vous justifiez d'un niveau d'anglais suffisant pour répondreaux besoins de communication scientifique usuelle et êtes ouvertaux collaborations internationales.Des compétences dans un ou plusieurs des domaines suivantsseront appréciées : Méthodes formelles, modélisation, ingénieriedirigé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 applicatifsvariés et une appétence pour la compréhension des besoins et pourpouvoir accompagner la mise en application réelle de méthodesformelles.
-
Ingénieur de recherche en méthodes formelles
Il y a 2 mois
Palaiseau, Île-de-France ONERA Temps pleinQuelles 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
il y a 3 semaines
Palaiseau, Île-de-France ONERA Temps pleinQuelles 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
Il y a 2 mois
Palaiseau, France ONERA Temps pleinQuelles 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
il y a 3 semaines
Palaiseau, France ONERA Temps pleinQuelles 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
Il y a 2 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 DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 3 semaines
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 DE RECHERCHE EN MÉTHODES FORMELLES H/F
Il y a 2 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...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
Il y a 2 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 DE RECHERCHE EN MÉTHODES FORMELLES H/F
Il y a 2 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 DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 3 semaines
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 DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 3 semaines
Palaiseau, France Onera Temps pleinPrésentation de l'ONERAL’ONERA, acteur central de la recherche aéronautique et spatiale, emploie plus de 2100 personnes. Placé sous la tutelle du Ministère des Armées, il dispose d’un budget de 294 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 H/F
il y a 3 semaines
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 7 jours
Palaiseau, Île-de-France CEA Temps plein« 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 Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur-Chercheur en méthodes...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
Il y a 2 mois
Palaiseau, Île de France, Essonne 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...
-
INGÉNIEUR DE RECHERCHE EN MÉTHODES FORMELLES H/F
il y a 3 semaines
Palaiseau, Île de France, Essonne 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...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 4 semaines
Palaiseau (nano-Innov, France Cea Temps plein« 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 Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur-Chercheur en méthodes...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 7 jours
Palaiseau (nano-Innov, France Cea Temps plein« 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 Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur-Chercheur en méthodes...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 semaines
Palaiseau (nano-Innov, France Cea Temps plein« 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 Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un(e) Ingénieur-Chercheur en méthodes...
-
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, 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...
