- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Essonne
- Palaiseau
- Détail de l'offre 5400364
- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Essonne
- Palaiseau
- Détail de l'offre 5400364
Ingénieur de recherche en méthodes formelles (H/F) 91 - PALAISEAU
Offre n° 5400364
Ingénieur de recherche en méthodes formelles (H/F)
91 - PALAISEAU - Localiser avec Mappy
Publié le 06 octobre 2024
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é. 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.
- Type de contrat
-
Contrat à durée indéterminée
Contrat travail - Salaire
- Salaire brut : Annuel de 40000,00 Euros à 60000,00 Euros
Profil souhaité
Expérience
- Expérience exigée de 1 An(s)Cette expérience est indispensable
Informations complémentaires
- Qualification : Agent de maîtrise
- Secteur d'activité : Recherche-développement en autres sciences physiques et naturelles
Entreprise
ONERA
D'autres offres peuvent vous intéresser :
- (déjà vu)
Ingénieur Cloud et sécurité (H/F)
KERLOG - 78 - LE PECQ
Pour renforcer l'équipe actuelle, nous sommes à la recherche de notre prochain(e) Ingénieur cloud sécurité. Rattaché(e) au service technique, en tant qu'Ingénieur cloud sécurité, vous êtes en charge...
CDI - Temps plein
Publié il y a 12 jours
CDI
Temps plein - (déjà vu)
Développeur/ Développeuse Salesforce (H/F)
92 - COURBEVOIE
Au sein de la ligne de services partagés Sales & Services d'Equans, nous recherchons un(e) développeur(se) Salesforce pour renforcer l'équipe du Centre d'Excellence Salesforce. Vous ferez partie...
CDI - Temps plein
Publié il y a 17 jours
CDI
Temps plein - (déjà vu)
#TALENTINTECH Développeur BI SENIOR (H/F)
STAND KOEDIA DIGITRIPS - 75 - Paris (Dept.)
Rattaché au Responsable Data Business Intelligence, vous aurez pour missions principales : Définir les besoins / améliorations des tableaux de bord avec le métier Collecter des données et enrichir...
CDI - Temps plein
Publié il y a 10 jours
CDI
Temps plein - (déjà vu)
Développeur / Développeuse JAVA (H/F)
OOSTAOO CONSULTING - 75 - PARIS 09
Dans le cadre de l'agrandissement de nos équipes nous recherchons deux développeurs : - Backend Java, Spring Batch, Spring Boot, la connaissance de Vue.js est un plus Nos clients sont...
CDI - Temps plein
Publié il y a 12 jours
CDI
Temps plein - (déjà vu)
Senior Data Engineer (H/F)
DCUBE - 92 - BOULOGNE BILLANCOURT
La Data, c'est votre dada, vous êtes câblé(e) comme ça : vous aimez collecter et traiter des données pour les mettre à disposition des autres. Votre mission, si vous l'acceptez : - Comprendre et...
CDI - Temps plein
Publié il y a 11 jours
CDI
Temps plein - (déjà vu)
RECONVERSION Poste d'Ingénieur Etude et développement POEI (CDI) (H/F)
ACTIV' CONSULT' ING' - 75 - Paris (Dept.)
Au sein d'une entreprise internationale, leader sur son marché, nous souhaitons intégrer, pour un projet de grande envergure, 10 collaborateurs.trices au sein d'une équipe de développement COBOL et...
CDI - Temps plein
Publié il y a 12 jours
CDI
Temps plein - (déjà vu)
Data Analytics Engineer (H/F)
DCUBE - 92 - BOULOGNE BILLANCOURT
La Data, c'est votre dada, vous êtes câblé(e) comme ça : vous aimez collecter et traiter des données pour les mettre à disposition des autres. En tant que Data Analytics Engineer, vous serez...
CDI - Temps plein
Publié il y a 11 jours
CDI
Temps plein - (déjà vu)
Développeur/Développeuse Java Calypso (H/F)
STATERA CIB - 93 - MONTREUIL
Date publication 30/09/2024 Offre d'emploi contrat CDI (H/F) La mission s'articulera en 5 axes, pour lesquels des compétences techniques et fonctionnelles seront requises : 1 - Support avancé niveau...
CDI - Temps plein
Publié il y a 6 jours
CDI
Temps plein - (déjà vu)
Développeur Systèmes et Intégration (VMS, API, Sécurité) (H/F)
PIXECURITY - 78 - MAISONS LAFFITTE
Qui sommes-nous ? Pixecurity est un fournisseur de solution de sureté intelligentes : Vidéosurveillance, analyse d'image, contrôle d'accès, hypervision. Avec la volonté de toujours proposer des...
CDI - Temps plein
Publié il y a 12 jours
CDI
Temps plein - (déjà vu)
Analyste programmeur (H/F)
ASS FORMATION PERMANENTE PERSONNEL HOSP - 75 - PARIS 12
L'Anfh est l'OPCA de la fonction publique hospitalière. Elle assure la collecte des fonds consacrés, par les établissements publics de santé, les établissements publics sociaux et médico-sociaux au...
CDI - Temps plein
Publié il y a 17 jours
CDI
Temps plein
Découvrez d'autres services web
Réussir son CV et sa lettre de motivation
Suscitez l’intérêt du recruteur et donnez-lui envie de vous rencontrer.
B.A.BA Entretien
Apprenez à préparer votre prochain entretien.
Informations sur le marché du travail
Accédez aux informations et statistiques sur ce métier.
Simulateurs d'aides et allocations en cas de reprise d'emploi
Estimez vos futures ressources financières sur les 6 prochains mois.
- Voir plus de services (Emploi store)