- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Essonne
- Palaiseau
- Détail de l'offre 4792808
- Accueil France Travail
- Emploi
- Internet - Ecommerce
- Programmeur informatique
- Essonne
- Palaiseau
- Détail de l'offre 4792808
Ingénieur de recherche en méthodes formelles (H/F) 91 - PALAISEAU
Offre n° 4792808
Ingénieur de recherche en méthodes formelles (H/F)
91 - PALAISEAU - Localiser avec Mappy
Actualisé le 26 septembre 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)
Développeur full-stack (H/F)
DOCAPOSTE - 94 - IVRY SUR SEINE
Dans l'équipe de développement des interfaces Graphiques et du MiddleWare, vous serez en charge d'une partie du développement de la solution HCS Designer. Vos principales missions seront les...
CDI - Temps plein
Publié il y a 20 jours Soyez parmi les 1ers à postuler
CDI
Temps plein - (déjà vu)
Développeur Java (H/F)
COLLABORATION BETTERS THE WORLD - 75 - PARIS 09
CBTW recherche pour un de ses clients grand compte un(e) Développeur Java Vos principales missions seront : - Recueil des besoins client - Rédaction des spécifications techniques - Gestion...
CDI - Temps plein
Publié hier
CDI
Temps plein - (déjà vu)
DevOps (H/F)
E-KENT - 75 - PARIS 17
Rejoignez une entreprise dynamique en pleine transformation numérique, où vous contribuerez à l'optimisation et à la gestion d'infrastructures systèmes robustes. Vous intégrerez une équipe motivée et...
CDI - Temps plein
Publié il y a 5 jours
CDI
Temps plein - (déjà vu)
Ingénieur DevOps AWS (H/F)
ABIL RESSOURCES - 93 - MONTREUIL
Dans le cadre d'une modernisation de l'infrastructure pour migrer vers le cloud AWS, en appliquant la méthodologie DevOps et les principes de containerisation. - Piloter notre transformation...
CDI - Temps plein
Publié il y a 11 jours
CDI
Temps plein - (déjà vu)
Développeur / Développeuse full-stack (H/F)
CLEANMOB - 92 - NEUILLY SUR SEINE
Cleanmob cherche un développeur full stack JS en apprentissage. Travail en télétravail - Français, Arabe, Anglais maîtrisé. Avec Khalil (Le cofondateur Tech) tu seras en charge du développement de...
CDI - Temps plein
Publié il y a 22 jours Soyez parmi les 1ers à postuler
CDI
Temps plein - (déjà vu)
POEI - Consultant testing Agile (H/F)
B/ACCEPTANCE - 75 - PARIS 19
Dans le cadre d'une Préparation Opérationnelle à l'Emploi Individuelle (POEI) assurée par l'organisme de formation Devenez.fr et pour accompagner la croissance de notre activité dans le domaine du...
CDI - Temps plein
Publié il y a 11 jours
CDI
Temps plein - (déjà vu)
Ingénieur d'études logiciel de contrôle de commandes de vol F/H (H/F)
DASSAULT AVIATION - 92 - Saint-Cloud
Au sein de la Direction Technique Systèmes et au cœur d'une équipe bi-site, le poste proposé est ouvert à St-Cloud, sur avions civils et militaires (habités et non habités), Vous participez aux...
CDI - Temps plein
Publié il y a 11 jours
CDI
Temps plein - (déjà vu)
Ingénieur Développeur Logiciel - français /anglais (H/F)
EUREO HOLDING - 78 - VERSAILLES
Vous êtes spécialiste du développement de logiciel embarqué ? Votre expertise est recherchée ! Notre client développe, produit et commercialise des outils et appareils de diagnostic pour le secteur...
CDI - Temps plein
Publié hier
CDI
Temps plein - (déjà vu)
Developpeur front-end (H/F)
GANDI - 75 - Paris 13e Arrondissement
Vos principales responsabilités * L'étude, la maintenance, le développement des outils de production, des interfaces clients, * Coordination avec les équipes développement, * Respect des délais...
CDI - Temps plein
Publié il y a 13 jours
CDI
Temps plein - (déjà vu)
Techniciens d'étude et de développement en informatique (H/F)
OTOMIS - 92 - CLICHY
Nous recherchons un.e Programmeur-se AMX/Crestron talentueux-se et expérimenté-e pour rejoindre notre équipe. La-e candidat-e idéal-e sera responsable de la conception, de la programmation, de...
CDI - Temps plein
Publié il y a 13 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)