Chercheur en ingénierie des systèmes formels h/f

Il y a 3 mois

Palaiseau, Île-de-France Onera Temps plein
Présentation de l'ONERA

L'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, l'ONERA se consacre à anticiper les défis de demain, en répondant aux enjeux aérospatiaux et en contribuant à la compétitivité de l'industrie du secteur. L'institut maîtrise l'ensemble des disciplines et technologies liées à ce domaine, participant à des programmes aérospatiaux majeurs en France et en Europe.

Présentation du département

Le Département Traitement de l'Information et Systèmes (DTIS) est dédié à la recherche et aux études visant à optimiser la conception, les opérations et l'autonomie des systèmes aérospatiaux. Ce département met en œuvre ses expertises dans les secteurs de l'aéronautique, de l'espace et de la défense, en se concentrant sur divers systèmes tels que les aéronefs, les systèmes aérospatiaux et les systèmes d'information.

Avec des équipes réparties sur plusieurs sites, le département regroupe des compétences variées en commande des systèmes, traitement de l'information, intelligence artificielle, ingénierie des systèmes et des logiciels, ainsi que dans d'autres domaines techniques.

Missions

Vous intégrerez l'unité de recherche « Modélisation et Ingénierie des systèmes Distribués et des Logiciels » à Palaiseau, où vous développerez des méthodes et outils basés sur des approches formelles. Vos travaux porteront sur des thèmes tels que :

  • Modélisation et méthodes formelles,
  • Ingénierie dirigée par les modèles,
  • Variabilité et systèmes reconfigurables,
  • Software product lines et logiciels dynamiques.

Votre rôle consistera à mener des études et recherches dans le domaine informatique, en participant à divers projets, y compris des collaborations internationales, visant à appliquer des méthodes informatiques à des systèmes aérospatiaux.

Vous contribuerez également au développement de logiciels de référence reconnus à l'international pour la simulation numérique, en collaborant avec d'autres départements de l'ONERA.

Profil

Vous ê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 des connaissances qui vous permettent de mettre en œuvre des méthodes formelles dans des contextes industriels.

Un bon niveau d'anglais est requis pour les échanges scientifiques, et une ouverture aux collaborations internationales est appréciée.

Des compétences dans les domaines suivants seront valorisées :

  • Méthodes formelles et modélisation,
  • Génie logiciel et validation,
  • Variabilité et systèmes reconfigurables,
  • Reverse-engineering et refactoring.

Vous êtes curieux et motivé par la compréhension des besoins applicatifs, et vous souhaitez contribuer à l'application concrète des méthodes formelles.

Rejoindre l'ONERA, c'est s'engager dans une aventure innovante

Intégrer l'ONERA, c'est bien plus que rejoindre un leader de la recherche aéronautique et spatiale. C'est une opportunité de participer à des projets qui façonnent l'avenir, dans un environnement qui valorise l'équilibre entre vie professionnelle et personnelle, ainsi que le développement continu de ses collaborateurs.

Nous nous engageons également en faveur de l'intégration des personnes en situation de handicap et de la diversité au sein de nos équipes, considérées comme des atouts majeurs pour notre innovation.

  • Chercheur en Ingénierie des Systèmes Formels H/F

    Il y a 3 mois

    Palaiseau, Île-de-France Onera Temps plein

    Présentation de l'ONERAL'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...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de rechercheNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en cybersécurité logicielle bas niveau. Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité.Objectifs de la rechercheNos travaux de recherche visent à comprendre comment les méthodes d'analyse...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 1 semaine

    Palaiseau, Île-de-France CEA Temps plein

    Offre de posteLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche.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 (vérification déductive...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.Qu'est-ce que nous vous proposons?Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique.Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à garantir la...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Recherche et développementLe CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche.Vous serez chargé(e) de développer des méthodes formelles pour le quantique, en collaboration avec les équipes de recherche et de développement.Vous travaillerez sur la conception et l'implémentation...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.Qu'est-ce que nous vous proposons?Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique.Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à garantir la...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Poste de rechercheL'Ingénieur-Chercheur en méthodes formelles pour le quantique recherché par le CEA sera chargé de développer des techniques et des outils formels pour la programmation quantique sûre.Compétences requisesDoctorat ou plus de trois ans d'expérience dans une équipe de rechercheMaitriser un langage fonctionnel (idéalement...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 jours

    Palaiseau, Île-de-France CEA Temps plein

    Développement de méthodes formelles quantiques Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique pour développer des techniques et des outils formels permettant l'écriture efficace de programmes quantiques sûrs. Rôle • Mettre au point des mécanismes de vérification pour assurer, a priori, que...

  • Chercheur en Ingénierie des Systèmes

    il y a 2 semaines

    Palaiseau, Île-de-France ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES Temps plein

    Mission et ObjectifsL'ECOLE NATIONALE SUPERIEURE DE TECHNIQUES AVANCEES recherche un chercheur en ingénierie des systèmes pour rejoindre son unité d'informatique et d'ingénierie des systèmes. Le candidat idéal sera un expert en robotique et intelligence artificielle avec une expérience en recherche et enseignement.ResponsabilitésConduire des...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 1 semaine

    Palaiseau, Île-de-France CEA Temps plein

    Offre de posteLe CEA recherche un Ingénieur-Chercheur en méthodes formelles pour le quantique pour rejoindre son équipe de recherche.ContexteLa recherche en informatique quantique a fait des progrès immenses récemment, et il est temps de concevoir et d'implémenter les outils logiciels adéquats pour le cas quantique.MissionLe candidat sélectionné...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de rechercheNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en cybersécurité logicielle bas niveau.ContexteVous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreL'Institut de recherche et de développement CEA recherche un(e) 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 immenses récemment, et des machines quantiques utiles sont attendues pour un...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 1 mois

    Palaiseau, Île-de-France CEA Temps plein

    Offre de rechercheNous recherchons un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en cybersécurité logicielle bas niveau. Vous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité.Objectifs de la rechercheNos travaux de recherche visent à comprendre comment les méthodes d'analyse...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique, spécialiste en développement d'outils logiciels

    il y a 6 jours

    Palaiseau, Île-de-France CEA Temps plein

    Offre de poste : Ingénieur-Chercheur en méthodes formelles pour le quantique Nous sommes à la recherche d'un Ingénieur-Chercheur pour rejoindre notre équipe de recherche en méthodes formelles pour le quantique. Responsabilités : Développer des outils logiciels pour la vérification automatique de programmes quantiques Concevoir et implémenter des...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveauVous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et plateformes...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau

    il y a 3 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveauVous rejoindrez notre groupe LSL/SABR, spécialisé en analyse automatique de code exécutable pour la sécurité. Nous nous appuyons sur la recherche de l'excellence scientifique associée au travail en équipe pour capitaliser sur des méthodes et plateformes...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 1 mois

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à l'avancement de la recherche en informatique quantique.En synthèse, nous vous proposons :Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique. Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 4 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreRejoignez le CEA pour donner du sens à votre activité et contribuer à la recherche en informatique quantique.En synthèse, qu'est-ce que nous vous proposons?Le CEA recherche un(e) Ingénieur-Chercheur en méthodes formelles pour le quantique. Vous souhaitez mettre votre expertise au service de projets innovants et contribuer à...

  • Ingénieur-Chercheur en méthodes formelles pour le quantique

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Description de l'offreUn poste de recherche en informatique quantiqueLe CEA recherche un(e) 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...

  • Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau H/F

    il y a 2 semaines

    Palaiseau, Île-de-France CEA Temps plein

    Offre de posteL'Ingénieur-Chercheur rejoindra notre groupe LSL/SABR, spécialisé 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 sur des méthodes et...