Chercheur en IA et Méthodes Formelles pour la Sécurité Logicielle H/F

Description 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...

Description 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...

Description 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...

Pré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...

Pré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...

À 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 ...

Description 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...

Description 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...

Description 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...

Description 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...

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...

Pré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,...

Pré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...

MissionL'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...

Pré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...

Présentation de l'établissementL'Institut Mines-Télécom, à travers Télécom Paris, est une institution prestigieuse parmi les meilleures écoles d'ingénieurs en France, reconnue pour son excellence académique et sa recherche innovante.Objectif du posteNous recherchons un(e) chercheur(e) postdoctoral(e) spécialisé(e) en génie logiciel et...

À PROPOS DE NOUS : Thales Research & Technology (TRT) France, situé sur le campus de l'École polytechnique, est le centre de recherche et d'innovation du Groupe Thales. Nous nous engageons à développer des solutions technologiques de pointe en collaboration avec le monde académique et des entreprises innovantes. Notre mission est de proposer des...

Présentation de l'établissementL'Institut Mines-Télécom, à travers Télécom Paris, se positionne parmi les meilleures écoles d'ingénieurs en France, alliant excellence académique et innovation technologique.Notre mission est de former des professionnels capables de concevoir des solutions numériques qui respectent l'humain et l'environnement, tout...

Informations 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...

Description de l'offre « Contribuez à des projets innovants au sein du CEA, en participant à des initiatives de recherche et développement à portée nationale et internationale. » CE QUE LE CEA VOUS OFFRE : Le CEA est à la recherche d'un(e) Ingénieur en Sécurité des Réseaux IA pour intégrer la Direction de la Recherche Technologique...