- 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)
Tech Lead Java Spring (H/F)
TALENT BRUT RECRUTEMENT - 78 - MONTIGNY LE BRETONNEUX
Talent Brut recrute un(e) Tech Lead Java en CDI pour son client situé à Montigny-le-Bretonneux (78). Poste Votre rôle dans l'équipe dépendra de vos différentes expériences et de vos affinités...
CDI - Temps plein
Publié il y a 17 jours Soyez parmi les 1ers à postuler
CDI
Temps plein - (déjà vu)
Ingénieur / Ingénieure d'étude et développement informatique (H/F)
TREND-IT - 75 - PARIS 02
TREND-IT est un cabinet de conseil IT, d'expertise technique et de transformation digitale. Nous sommes une ESN pure player Microsoft. Nous accompagnons nos clients tout au long de leurs processus de...
CDI - Temps plein
Publié il y a 16 jours
CDI
Temps plein - (déjà vu)
Développeur full-Stack Java/Angular (H/F)
93 - NOISY LE GRAND
Offre d'Emploi : Développeur Full Stack Java/Angular (H/F) À PROPOS DE NOUS IT-MASTERS est une jeune entreprise individuelle spécialisée dans le conseil en systèmes et logiciels informatiques. Nous...
CDI - Temps plein
Publié il y a 10 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é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)
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)
Ingénieur / Ingénieure en développement d'applications DevOps Clo (H/F)
CYGNA - 92 - COLOMBES
Dans le cadre de notre développement, nous recrutons pour intégrer notre agence en IDF un(e) Ingénieur(e) DevOps Cloud. Jours de travail du lundi au vendredi amplitude horaire de 8h à 18h à...
CDI - Temps plein
Publié il y a 17 jours
CDI
Temps plein - (déjà vu)
Ingénieur développeur back end (H/F)
KERLOG - 78 - LE PECQ
Pour renforcer l'équipe actuelle, nous sommes à la recherche de notre prochain Ingénieur développeur back-end afin de participer au développement d'application. Rattaché au service technique, vous...
CDI - Temps plein
Publié il y a 12 jours
CDI
Temps plein - (déjà vu)
Testeur / Testeuse informatique (H/F)
OUIWIN - 75 - PARIS 16
Poste CDI de Testeur/se informatique.
CDI - Temps plein
Publié il y a 2 jours
CDI
Temps plein - (déjà vu)
Senior Software Engineer H/F - CDI (H/F)
ACHEEL - 75 - PARIS 16
Venez participer à l'essor de l'équipe Tech d'Acheel ! Nous sommes à la recherche d'un(e) Software Engineer passionné(e) et dévoué(e) pour rejoindre notre équipe Tech dynamique. Au sein de cette...
CDI - Temps plein
Publié il y a 16 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)