-
ingénieur de recherche en méthodes formelles h/f
il y a 4 jours
Onera Palaiseau, France CDIPré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 ...
-
ingénieur de recherche en méthodes formelles(h/f)
il y a 12 heures
ONERA Palaiseau, France CDI· 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 ...
-
Chargé de méthodes formelles H/F
il y a 1 jour
HITACHI RAIL STS FRANCE Les Ulis, France À temps pleinDescription · : L'entité France d'Hitachi Rail renforce ses équipes et recrute un Chargé de méthodes formelles H/F en CDI, pour son site des Ulis (91) – siège social. · A propos de nous : · Hitachi Rail est un fournisseur mondial de solutions de transport ferroviaire intégrée ...
-
Ingénieur Validation Méthode Formelle
il y a 4 jours
Alten Boulogne-Billancourt, FranceDescription du poste · Au sein de l'entité Transport Terrestre et du département Ferroviaire, vous intégrerez l'équipe de développement des systèmes de conduite automatique de métro. · Votre mission consistera à analyser les spécifications fonctionnelles des systèmes, les tradui ...
-
CEA Palaiseau, France CDDDescription 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 ...
-
Ingénieur Méthodes Formelles H/F
il y a 5 jours
IKOS GROUP Levallois-Perret, France CDI· Poste : Contexte : · Dans l'environnement en plein essor du ferroviaire, IKOS recherche un ingénieur méthodes formelles (méthode B) pour accompagner un acteur majeur du secteur ferroviaire dans des projets de signalisation. L'activité principale sera de l'analyse logicielle su ...
-
Ingénieur Méthodes Formelles H/F
il y a 6 jours
IKOS GROUP Courbevoie, France CDIIKOS est la société de conseil spécialisée dans l'ingénierie ferroviaire. À travers nos valeurs, nous nous engageons à participer à la transition écologique en développant les modes de transport du futur, qui seront sûrs et durables, ainsi qu'une énergie plus verte. Nos 1400 ingé ...
-
Ingénieur Méthodes Formelles H/F
il y a 6 jours
IKOS GROUP Levallois-Perret, France À temps pleinQuelles sont les missions ? · Contexte : · Dans l'environnement en plein essor du ferroviaire, IKOS recherche un ingénieur méthodes formelles (méthode B) pour accompagner un acteur majeur du secteur ferroviaire dans des projets de signalisation. L'activité principale sera de l'an ...
-
ALTERNANCE - Ingénieur méthodes formelles H/F - Les Ulis (91)
il y a 2 semaines
Hitachi Rail Les Ulis, Essonne, FranceA propos de nous : · Hitachi Rail est un fournisseur mondial entièrement intégré de solutions de transport ferroviaire de pointe. Nous développons continuellement des solutions dans les domaines du matériel roulant, de la signalisation, de l'exploitation, du service et de la mai ...
-
CEA Palaiseau, France CDDDescription 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 ...
-
SERMA Safety and Security Île-de-France CDIPoste et missions · SafeRiver a rejoint le groupe Serma · SafeRiver est une société d'expertise reconnue dans les domaines de la sûreté de fonctionnement, la safety et la cyber-sécurité des systèmes embarqués critiques et de leurs interactions avec les infrastructures. Ses clien ...
-
Doctorant (F/H) Doctorant(E) - Régularité de
il y a 1 semaine
Inria Palaiseau, France**Type de contrat **:CDD · **Niveau de diplôme exigé **:Bac + 5 ou équivalent · **Fonction **:Doctorant · **A propos du centre ou de la direction fonctionnelle**: · Le centre de recherche Inria de Saclay a été créé en 2008. Sa dynamique s'inscrit dans le développement du plateau ...
-
Responsable Service Clients-
il y a 1 semaine
Groupe Pomona Wissous, France**TerreAzur Ile de France Wissous** · TerreAzur (3000 personnes, CA 898 M€), notre réseau d'experts en fruits et légumes et produits de la mer frais recrute pour l'une de ses 18 directions régionales. · - Si comme nous, vous êtes :_ · - **_ · Passionné(e)_**_ par la relation comm ...
-
Responsable Service Clients
il y a 2 jours
TerreAzur Ile de France Wissous Wissous, FranceVous recherchez un nouveau challenge qui réponde à vos ambitions ? · Vous souhaitez intégrer une entreprise leader sur son marché en Ile de France ? · Vous êtes un(e) épicurien(ne) et appréciez l'univers agroalimentaire ? · Cette annonce vous est dédiée · Nous recherchons un(e) ...
-
Responsable équipement Senseur Rf
il y a 6 jours
MBDA France Le Plessis-Robinson, FranceRejoignez la direction **Engineering** qui soutient nos programmes dans la conduite des activités d'ingénierie et des essais, qui met en œuvre les méthodes d'optimisation de notre excellence technique et qui garantit un service optimal auprès de nos clients · Vous êtes intégré(e ...
-
Responsable équipement Senseur Rf
il y a 15 heures
Kicklox Le Plessis-Robinson, France**L'offre**: · **Secteurs** · Aéronautique · **Missions à réaliser** · MBDA est le seul groupe européen capable de concevoir et de produire des missiles et systèmes de missiles pour répondre à toute la gamme des besoins opérationnels présents et futurs des trois armées (terre, ma ...
-
Responsable équipement Senseur Rf
il y a 1 jour
MBDA Le Plessis-Robinson, FranceMBDA recrute: · MBDA est le seul groupe européen capable de concevoir et de produire des missiles et systèmes de missiles pour répondre à toute la gamme des besoins opérationnels présents et futurs des trois armées (terre, marine et air). · Partenaire européen et acteur mondial, ...
-
Commercial (Dentaire) Lyon (H/F)
il y a 4 jours
ZimVie Rungis, FranceBienvenue chez ZimVie, une nouvelle entreprise internationale cotée en bourse qui se concentre sur l'amélioration de la qualité de vie des patients. Notre entreprise s'appuie sur un héritage de marques reconnues, d'experts médicaux pour un chiffre d'affaires de plus d'un milliard ...
-
Raisonnement Stratégique Avec Ressources en
il y a 1 semaine
Université Paris-Saclay GS Informatique et sciences du numérique Gif-sur-Yvette, France**Raisonnement stratégique avec ressources en présence d'incertitude // Strategic Reasoning With Resources Under Uncertainty**: · - Réf · - **ABG-118279** · **ADUM-51410** · - Sujet de Thèse- 22/11/2023- Université Paris-Saclay GS Informatique et sciences du numérique- Lieu de tr ...
-
Assistant Recette Homologation
il y a 3 jours
Ogmios developpement Issy-les-Moulineaux, FranceDescriptif du poste · Missions et activités du poste: · 1. Assurer et évaluer les exigences utilisateurs, les spécifications et le modules · - Analyser des documents fonctionnels et techniques · 2. Participer à la stratégie et à la conception des tests · - Participer à la stratég ...
Ingénieur de recherche en méthodes formelles - Palaiseau, France - ONERA
Description
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.
Professionnels du métier de Ingénieur de recherche en méthodes formelles à Palaiseau
-
Kevin Calonne
Developpeur web