Ingénieur-Chercheur en Méthodes Formelles et Cybersécurité Logicielle Bas Niveau H/F
Le CEA est un acteur majeur de la recherche, au service des citoyens, de l'économie et de l'Etat. Il apporte des solutions concrètes à leurs besoins dans quatre domaines principaux : transition énergétique, transition numérique, technologies pour la médecine du futur, défense et sécurité sur un socle de recherche fondamentale.
Le CEA s'engage depuis plus de 75 ans au service de la souveraineté scientifique, technologique et industrielle de la France et de l'Europe pour un présent et un avenir mieux maîtrisés et plus sûrs.
Implanté au coeur des territoires équipés de très grandes infrastructures de recherche, le CEA dispose d'un large éventail de partenaires académiques et industriels en France, en Europe et à l'international.
Les 20 000 collaboratrices et collaborateurs du CEA partagent trois valeurs fondamentales : - La conscience des responsabilités - La coopération - La curiositéVous rejoindrez notre groupe LSL / SABR, spécialisé en analyse automatique de code exécutable pour la sécurité.
Pour relever des challenges 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 plateformes logicielles différenciantes dont notre outil phare BINSEC.
Les domaines d'applications associés concernent notamment l'analyse de vulnérabilités de composants tiers ou de librairies cryptographiques, la rétro-ingénierie, la protection de code et la preuve formelle au niveau binaire.
- https : / / list.cea.fr / fr / page / binsec-lanalyse-de-code-binaire-pour-la-securite / En tant que membre d'une équipe de pointe dans un environnement de recherche dynamique, vos missions consisteront à : - La participation au développement de la plate-forme BINSEC d'analyse de code binaire pour la sécurité : - La conception, implémentation et évaluation d'analyses innovantes pour la cybersécurité ;
- Le montage / réalisation / gestion de projets de recherche ou de transfert de nos technologies vers nos partenaires industriels ;
- La veille scientifique et dissémination, notamment via l'écriture de rapports et articles ainsi que la participation aux conférences du domaine.
CEA-ListDoctorat en Informatique, expérience en méthodes formelles ou raisonnement automatique ou compilation.La connaissance de la programmation fonctionnelle est un plus (idéalement, langage OCaml).
Sens du travail en équipe, capacité à la prise d'initiative et de responsabilité (encadrement et gestion de projet)Conformément aux engagements pris par le CEA en faveur de l'intégration de personnes en situation de handicap, cet emploi est ouvert à tous et toutes.
Ingénieur-Chercheur en Calcul Haute Performance Optimisations Numériques et Informatiques H/F
PARLONS DE NOUS !Intégrer le CEA c'est :- Évoluer dans un cadre de recherche, de développement et d'innovation possédant une culture, un patrimoine et des installations uniques avec un esprit de responsabilité et de durabilité- Pouvoir accéder à un éventail de formation et vous inscrire dans un ...
Ingénieur Eco-Conception et Bas Carbone Paris 75 H/F
En études ou sur le terrain, ingénieur confirmé en maîtrise d'ouvrage ou maîtrise d'oeuvre, votre domaine d'intervention s'étend tout au long du cycle de vie d'un projet d'infrastructure ou de développement du territoireMissions principales- Participez à la définition des objectifs environnementaux...
Ingénieur Chercheur en Calcul Scientifique Haute Performance Exascale H/F
Votre mission au sein de l'équipe Agile :- Vous contribuerez, selon votre expertise à l'exploration de certains motifs : discrétisation d'équations aux dérivées partielles, raffinement de maillage adaptatif structuré par blocs, méthodes particulaires- Vous collaborerez avec la communauté applicative...
Ingénieur Travaux Débutant en MOE système H/F
Les sites du projet : Plusieurs Gares, des ouvrages annexes (issue de secours, puits de ventilation) et les tunnels. Ventilation de désenfumage : ventilateurs, variateurs, métallerie. Suivi/participation aux réceptions en usine et sur le site des équipements. Le chef de projet et une équipe en front...
Ingénieur en exploitation et maintenance aéronautique H/F
ENVIRONNEMENT DU POSTE : Le poste est rattaché organiquement au Centre d'expertise de la logistique aéronautique (CELAé), chargé de piloter la fonction logistique de l'aéronautique navale (AN) en soutien direct des missions opérationnelles d'une part, de l'activité organique, et du soutien de niveau...
Consultant Auditeur de Code et d'Architecture en Cybersécurité
L'auditeur de code et d'architecture en cybersécurité est responsable de l'analyse, de l'évaluation et de l'audit des codes sources, des architectures logicielles et des systèmes informatiques pour identifier les vulnérabilités et les risques liés à la sécurité. Excellentes compétences en communicat...
Ingénieur – Chercheur RV et IA pour le contrôle et l'animation de mannequin virtuel H/F
En lien direct avec le techleader, vous prendrez en charge des tâches de développement logiciel en autonomie, de la définition des spécifications jusqu’aux phases de tests. Le développement de nouveaux algorithmes de commande pour notre mannequin virtuel basés sur des techniques d’intelligence artif...
SEC-GEN Technicien des méthodes en maintenance de bâtiment H/F
Titulaire d'un niveau BTS Maintenance en bâtiment ou expérience équivalente, vous justifiez d'une expérience confirmée dans les différents corps d'état de la maintenance des bâtiments (spécialisation générale en maintenance de bâtiment). Sous la responsabilité de la responsable du secteur maintenanc...
Ingénieur-Chercheur pour la vérification et la validation de systèmes IA F/H
Rejoignez le CEA pour donner du sens à votre activité, mener et soutenir des projets de R&D nationaux et internationaux, cultiver et faire vivre votre esprit de curiosité. Conformément aux engagements pris par le CEA en faveur de l'intégration des personnes en situation de handicap, cet emploi est o...
Ingénieur-e industriel méthodes et outils numériques F/H
Safran Transmission Systems étant le leader des ADT pour moteur civil (CFM56, Leap, Trent), ainsi que le centre d'excellence Safran des transmissions mécanique, a en charge le développement de ces réducteurs et la montée en maturité de l'ensemble des technologies associées. Rattaché(e) au départemen...