-
Ingénieur de recherche en méthodes formelles
il y a 1 semaine
ONERA Palaiseau, France À 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 ...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 3 jours
CEA Palaiseau, France CDDDescription 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' ...
-
ingénieur de recherche en méthodes formelles h/f
il y a 2 semaines
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 ...
-
Chargé de méthodes formelles H/F
il y a 2 semaines
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 2 semaines
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 ...
-
Ingénieur Méthodes Formelles H/F
il y a 2 semaines
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 2 semaines
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é ...
-
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 2 semaines
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 ...
-
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 ...
-
Méthodes D'homotopie Pour L'algèbre
il y a 1 semaine
École polytechnique Palaiseau, France**Méthodes d'homotopie pour l'algèbre différentielle // Homotopy methods for differential algebra**: · - Réf · - **ABG-118636** · **ADUM-52080** · - Sujet de Thèse- 02/12/2023- Autre financement public- École polytechnique- Lieu de travail- Palaiseau Cedex - France- Intitulé du s ...
-
Doctorant (F/H) Doctorant(E) - Régularité de
il y a 3 semaines
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 ...
-
Designer Accompagnement de Projets Innovants Ip
il y a 1 semaine
Institut Polytechnique de Paris Palaiseau, FranceL'Institut Polytechnique de Paris est un établissement public d'enseignement supérieur et de recherche qui réunit cinq Grandes Écoles d'ingénieurs françaises : l'École polytechnique, l'ENSTA Paris, l'ENSAE Paris, Télécom Paris et Télécom SudParis. Sous l'égide de l'Institut, elle ...
-
Responsable Service Clients-
il y a 3 semaines
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 semaines
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) ...
-
Méthodologie Mac
il y a 1 jour
Université Paris-Saclay GS Chimie Orsay, France**Méthodologie MAC : synthèse stéréosélective de dérivés d'acides aminés complexes // MAC Methodology: Stereoselective Synthesis of Complex Amino Acid Derivatives**: · - Réf **ABG-120116** · **ADUM-52898** · - Sujet de Thèse- 08/02/2024- Université Paris-Saclay GS Chimie- Lieu de ...
-
Responsable équipement Senseur Rf
il y a 2 semaines
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 2 semaines
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 2 semaines
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, ...
ingénieur de recherche en méthodes formelles(h/f) - Palaiseau, France - ONERA
Description
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.