Chercheur en Ingénierie des Systèmes Formels H/F
il y a 4 semaines
L'ONERA est un acteur clé dans le domaine de la recherche aéronautique et spatiale, avec une équipe de plus de 2100 professionnels. Sous la tutelle du Ministère des Armées, l'établissement dispose d'un budget de 294 millions d'euros, dont une part significative provient de contrats de recherche et d'études. En tant qu'expert d'État, l'ONERA s'engage à préparer la défense de demain et à répondre aux défis futurs des secteurs aéronautique et spatial, tout en contribuant à la compétitivité de l'industrie aérospatiale.
Présentation du départementLe Département Traitement de l'Information et Systèmes (DTIS) est dédié à la recherche et aux études sur la conception, les opérations et l'autonomie des systèmes aérospatiaux. Ce département applique ses compétences dans divers domaines, notamment l'aéronautique, l'espace et la défense.
Avec des équipes réparties sur plusieurs sites, le DTIS regroupe des experts en commande des systèmes, traitement de l'information, intelligence artificielle, ingénierie des systèmes et des logiciels, ainsi que d'autres disciplines techniques.
MissionsVous intégrerez l'unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » à Palaiseau, qui se concentre sur le développement de méthodes et d'outils basés sur des approches formelles. Vos recherches porteront sur des thèmes variés, tels que :
- Modélisation et méthodes formelles,
- Ingénierie dirigée par les modèles,
- Variabilité et systèmes reconfigurables,
- Logiciels dynamiques et lignes de produits logiciels.
Vous serez responsable de la conduite d'études et de recherches dans le domaine informatique, en participant à des projets variés, incluant des collaborations internationales et des contrats industriels.
Votre contribution sera essentielle pour le développement de logiciels de référence, reconnus à l'échelle internationale pour la simulation numérique.
ProfilVous êtes titulaire d'un doctorat en informatique, avec une formation ou une expérience dans les méthodes formelles ou l'ingénierie logicielle. Vous possédez les compétences nécessaires pour mettre en œuvre des méthodes formelles dans des contextes industriels.
Un bon niveau d'anglais est requis pour assurer une communication scientifique efficace, et une ouverture aux collaborations internationales est souhaitée.
Des compétences dans les domaines suivants seront un atout :
- Méthodes formelles et modélisation,
- Validation et génération de codes,
- Variabilité et intégration continue.
Nous recherchons des candidats curieux, désireux de comprendre les besoins applicatifs et de contribuer à l'application concrète des méthodes formelles.
Rejoignez l'ONERAIntégrer l'ONERA, c'est participer à une aventure passionnante, où chaque jour offre l'opportunité d'innover et de construire l'avenir. Nous valorisons l'équilibre entre vie professionnelle et personnelle et offrons un environnement propice à la formation continue et au développement personnel.
Nous sommes également engagés en faveur de l'intégration des personnes en situation de handicap et nous croyons fermement que la diversité de nos équipes est une force pour l'innovation.
-
Chercheur en ingénierie des systèmes formels h/f
il y a 4 semaines
Palaiseau, Île-de-France Onera Temps pleinPrésentation de l'ONERAL'ONERA est un acteur clé dans le domaine de la recherche aéronautique et spatiale, comptant plus de 2100 collaborateurs. Sous la tutelle du Ministère des Armées, l'établissement dispose d'un budget de 294 millions d'euros, dont une part significative provient de contrats de recherche et d'études. En tant qu'expert d'État,...
-
Chercheur en Ingénierie pour la Validation de Systèmes d'IA F/H
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinPrésentation de l'offre « Intégrez le CEA pour donner une dimension significative à votre carrière, diriger et soutenir des initiatives de recherche et développement tant nationales qu'internationales, et nourrir votre curiosité intellectuelle. » EN RÉSUMÉ, QU'EST-CE QUE NOUS VOUS OFFRONS ? Le Commissariat à l'Énergie Atomique et aux...
-
Palaiseau, Île-de-France CEA Temps pleinDescription du poste Vous intégrerez notre équipe LSL/SABR, dédiée à l'analyse automatique de code exécutable en matière de sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur l'excellence scientifique et la collaboration en équipe afin de tirer parti de méthodes et de plateformes logicielles...
-
Chercheur en IA et Méthodes Formelles pour la Sécurité Logicielle H/F
il y a 4 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription du poste Le candidat rejoindra le groupe LSL/SABR, qui se concentre sur l'analyse automatique de code exécutable en matière de sécurité. Pour relever des défis scientifiques et techniques de haut niveau, nous misons sur l'excellence scientifique et le travail collaboratif, en utilisant des méthodes et des plateformes logicielles...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 semaines
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement OCaml)Connaissance des méthodes formelles...
-
Ingénieur-Chercheur en méthodes formelles pour le quantique
il y a 2 jours
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offreLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche en informatique quantique.ContexteLa recherche en informatique quantique a fait des progrès considérables récemment, et des machines quantiques utiles sont attendues pour un futur proche. Il est donc temps de...
-
Palaiseau, Île-de-France CEA Temps pleinPrésentation du poste Au sein de notre département LSL/SABR, vous serez impliqué dans l'analyse automatisée de code exécutable axée sur la sécurité. Nous visons à relever des défis scientifiques et techniques de haut niveau, en mettant l'accent sur l'excellence scientifique et la collaboration en équipe. Notre outil phare, BINSEC, illustre...
-
Palaiseau, Île-de-France CEA Temps pleinPrésentation du poste Au sein de notre département LSL/SABR, vous serez impliqué dans l'analyse automatisée de code exécutable axée sur la sécurité. Nous visons à relever des défis scientifiques et techniques de haut niveau, en mettant l'accent sur l'excellence scientifique et la collaboration en équipe. Notre outil phare, BINSEC, illustre...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'offre Vous rejoindrez notre équipe de recherche et développement au sein du CEA, spécialisée en analyse automatique de code exécutable pour la sécurité. Pour relever des défis scientifiques et techniques ambitieux, nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser...
-
Palaiseau, Île-de-France CEA Temps pleinÀ propos du poste Le Commissariat à l'Énergie Atomique et aux Énergies Alternatives (CEA) recherche un Ingénieur Chercheur spécialisé dans la vérification et la validation de systèmes d'intelligence artificielle. Vous rejoindrez notre groupe LSL/AISER, spécialisé en explicabilité, résilience et sureté des systèmes d'IA. Vos missions ...
-
Palaiseau, Île-de-France CEA Temps pleinDescription de l'OffreLe CEA recherche un Ingénieur Chercheur pour rejoindre son équipe de spécialistes en assurance qualité des systèmes d'intelligence artificielle.MissionL'objectif principal de ce poste est de développer et de mettre en œuvre des méthodes avancées de vérification et de validation pour garantir la fiabilité, la robustesse et la...
-
Ingénieur de recherche en méthodes formelles h/f
il y a 2 jours
Palaiseau, Île-de-France Onera Temps pleinMissionL'ONERA recherche un ingénieur de recherche en méthodes formelles pour rejoindre son département Traitement de l'Information et Systèmes (DTIS). 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).ObjectifsVotre mission consiste...
-
Chercheur en ingénierie logicielle pour la plateforme GNU TeXmacs
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinInformations générales Intitulé de l'offre : Ingénieur en développement logiciel pour un service d'édition collaborative (H/F) Référence : UMR7161-GOVVAN-006 Nombre de Postes : 1 Lieu de travail : PALAISEAU Type de contrat : CDD Technique/Administratif Durée du contrat : 18 mois Quotité de travail : Temps complet Rémunération : Entre 2932...
-
Chercheur Postdoctoral en Ingénierie Logicielle et Sécurité Informatique
il y a 4 semaines
Palaiseau, Île-de-France Institut Mines-Télécom Temps pleinPrésentation de l'institut :L'Institut Mines-Télécom, reconnu pour son excellence académique, se positionne parmi les meilleures écoles d'ingénieurs en France. Son engagement est de former des professionnels capables d'imaginer et de développer des solutions numériques innovantes, tout en respectant les valeurs humaines et environnementales.Contexte...
-
Chercheur en matériaux bidimensionnels
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinChercheur en matériaux bidimensionnels (H/F) Cette offre est disponible dans les langues suivantes : Informations générales Intitulé de l'offre : Chercheur en matériaux bidimensionnels (H/F) Référence : UMR137-PIESEN-012 Nombre de Postes : 1 Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Quotité de travail : Temps...
-
Chercheur en modélisation des écosystèmes
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinChercheur en modélisation des écosystèmes (H/F) Partagez cette offre sur vos réseaux sociaux. Employeur : Centre national de la recherche scientifique (CNRS) Type de poste : Ouvert uniquement aux contractuels Type de contrat : CDD d'un an Rémunération : Salaire brut mensuel entre 2419€ et 2876€, selon l'expérience Missions : Le groupe de...
-
Chercheur post-doctoral en nanotechnologie
il y a 2 jours
Palaiseau, Île-de-France CNRS Temps pleinOffre de posteLe CNRS recherche un chercheur post-doctoral hautement motivé et talentueux pour rejoindre son équipe de recherche et travailler sur un projet passionnant axé sur la croissance de nanotubes de carbone (CNT) à l'aide d'une technique de synthèse assistée par un champ électrique.MissionsLe chercheur post-doctoral sera chargé de concevoir...
-
Chercheur en matériaux 2D
il y a 4 semaines
Palaiseau, Île-de-France CNRS Temps pleinInformations générales Intitulé de l'offre : Chercheur en matériaux 2D (H/F) Référence : UMR137-PIESEN-012 Nombre de Postes : 1 Lieu de travail : PALAISEAU Type de contrat : CDD Doctorant/Contrat doctoral Durée du contrat : 36 mois Quotité de travail : Temps complet Rémunération : La rémunération est d'un minimum de 2135,00 € mensuel...
