-
Logiciel Bas Niveau C
il y a 4 jours
Elsys Design Cachan, FranceConception / Développement en C très bas niveau, sans OS. · Rédaction et exécution de plans de tests fonctionnels. · Rédaction et développement de tests unitaires. · Connaissance en architecture firmware en général, maitrise du développement en C, testlink. · Maîtrise de l'enviro ...
-
Logiciel bas niveau C
il y a 4 jours
ELSYS Design Montreuil, France Permanent contractOffer description · Conception / Développement en C très bas niveau, sans OS. · Rédaction et exécution de plans de tests fonctionnels. · Rédaction et développement de tests unitaires. · Required profile · Connaissance en architecture firmware en général, maitrise du développeme ...
-
Développeur C bas niveau SQL
il y a 3 jours
INFOLOR Paris, France contractPoste et missions · Dans le cadre d?un projet de développement d?une application centralisée de gestion de jeux d?argent à haute capacité transactionnelle, nous recherchons un développeur C/SQL. Celui-ci devra notamment : · ? Définir et concevoir des applications transactionnelle ...
-
Développement SW bas niveau
il y a 4 jours
ELSYS Design Montreuil, France Permanent contractOffer description · Dans le cadre des développements autour des plateformes RISC-V vous participerez : · A la génération du Linux embarqué · Au développement des applications embarquées · Au cross compilation via buildroot · Aux tests et à la validation du système · Required pro ...
-
CEA Palaiseau, France CDDDescription de l'offre · 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 ...
-
ingenieur logiciel embarque bas niveau f/h
il y a 4 jours
Capgemini Paris, FranceDescirption de l'entreprise · Leader mondial des services d'ingénierie et de R&D, Capgemini Engineering met en œuvre une connaissance sectorielle approfondie et la maîtrise des dernières technologies digitales et logicielles pour accompagner la convergence des mondes physique et ...
-
Ingénieur logiciel embarqué bas niveau F/H
il y a 2 jours
Apside Technologies FranceOPPORTUNITE A POURVOIR : INGENIEUR LOGICIEL EMBARQUE BAS NIVEAU F/H · Découvrez la Vie Apsidienne et vous aussi, devenez Apsidien // · On aurait pu demander à Chat GPT de vous démontrer en quoi Apside est l'ESN qu'il vous faut, mais on préfère que vous le découvriez vous-mêmes ...
-
ingenieur logiciel embarque bas niveau f/h 1
il y a 4 jours
Capgemini Paris, FranceDescirption de l'entreprise · Leader mondial des services d'ingénierie et de R&D, Capgemini Engineering met en œuvre une connaissance sectorielle approfondie et la maîtrise des dernières technologies digitales et logicielles pour accompagner la convergence des mondes physique et ...
-
Stage - Support IT / Office 365 (H/F)
il y a 1 semaine
TotalEnergies Palaiseau, France**Pays** · France · **Lieu** · 91 - Essonne · **Lieu de travail** · PALAISEAU-LE NEXT(FRA) · **Domaine** · Systèmes d'Information · **Type de contrat** · Stage conventionné · **Durée du contrat** · 6 · **Expérience** · Moins de 3 ans · Vous préparez un **diplôme de niveau **Bac + ...
-
Alternance - Assistante ou Assistant de Direction
il y a 13 heures
EDF Palaiseau, FranceMise en ligne le 23/02/2024 · Principales caractéristiques de l'offre d'emploi · - Type de contrat: · - Alternance · - Niveau de formation: · - CAP / BEP / BAC · - Expérience: · - Débutant · - Spécialité(s): · - Administration/Documentation · - Pays / Région: · - France / Ile-de- ...
-
Alternance - Préventrice ou Préventeur Santé
il y a 3 jours
EDF Palaiseau, FranceMise en ligne le 20/02/2024 · Principales caractéristiques de l'offre d'emploi · - Type de contrat: · - Alternance · - Niveau de formation: · - BAC +2 / BAC +3 · - Expérience: · - Débutant · - Spécialité(s): · - Prévention des risques / Sûreté · - Pays / Région: · - France / Ile- ...
-
Alternance - Chargée ou Chargé de Communication
il y a 3 jours
EDF Palaiseau, FranceMise en ligne le 20/02/2024 · Principales caractéristiques de l'offre d'emploi · - Type de contrat: · - Alternance · - Niveau de formation: · - BAC +4 / BAC +5 · - Expérience: · - Débutant · - Spécialité(s): · - Communication/presse/audiovisuel · - Pays / Région: · - France / Ile ...
-
Auditeur Interne Senior
il y a 6 jours
CGG Massy, Francede l'entreprise · Description du poste · Sous la responsabilité du directeur de l'Audit Interne, vous êtes chargé de réaliser les missions d'audit interne de conformité et de performance selon le programme d'audit établi et validé par le comité d'audit. Les audits internes sont r ...
-
Leader Stratégie
il y a 4 jours
Orano Massy, FranceCDI · - France / Ile-de-France / Essonne (91) · - Ingénieur et Cadre · - Temps plein · - Horaire normal · **Bienvenue chez Orano**: · - Contribuer à relever les défis actuels et futurs pour préserver notre monde et construire celui de demain tout en prenant soin de la santé de ch ...
-
Pilote Excellence Opérationnelle Et Qualité Ile
il y a 2 jours
Orano Massy, FranceCDI · - France / Ile-de-France / Essonne (91) · - Ingénieur et Cadre · - Temps plein · **Bienvenue chez Orano**: · - Contribuer à relever les défis actuels et futurs pour préserver notre monde et construire celui de demain tout en prenant soin de la santé de chacun, c'est stimula ...
-
Chargé de Conception
il y a 1 jour
Enedis Massy, France**Informations générales**: · **Entité **:Enedis est une entreprise de service public, gestionnaire du réseau de distribution d'électricité. Elle développe, exploite, modernise le réseau électrique et gère les données associées. Elle facilite la transition énergétique des territo ...
-
Programmateur Cpa
il y a 1 semaine
Enedis Massy, France**Informations générales**: · **Entité **:Enedis est une entreprise de service public, gestionnaire du réseau de distribution d'électricité. Elle développe, exploite, modernise le réseau électrique et gère les données associées. Elle facilite la transition énergétique des territo ...
-
Assistant Manager
il y a 1 semaine
Enedis Massy, France**Informations générales**: · **Entité **:Enedis est une entreprise de service public, gestionnaire du réseau de distribution d'électricité. Elle développe, exploite, modernise le réseau électrique et gère les données associées. Elle facilite la transition énergétique des territo ...
-
Juriste Senior Frbnl
il y a 1 jour
Reckitt Massy, FranceSiège des marques d'hygiène, de santé et de nutrition les plus appréciées et les plus fiables au monde, notre objectif définit notre raison d'être : protéger, soigner et nourrir dans la quête perpétuelle d'un monde plus propre et plus sain. Reckitt, c'est avant tout une équipe de ...
-
Chargé de Projets
il y a 1 semaine
Enedis Massy, France**Informations générales**: · **Entité **:Enedis est une entreprise de service public, gestionnaire du réseau de distribution d'électricité. Elle développe, exploite, modernise le réseau électrique et gère les données associées. Elle facilite la transition énergétique des territo ...
Ingénieur-Chercheur en méthodes formelles et IA pour la cybersécurité logicielle bas niveau H/F - Palaiseau, France - CEA
Description
Description de l'offre
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érentiantes 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.
Le domaine général est de comprendre comment les méthodes d'analyse de programme et d'IA peuvent se combiner sur des scénarios d'analyse de sécurité au niveau du code binaire (reverse, malware). Les travaux attendus du candidat sont :
· concevoir, implanter et évaluer de nouvelles méthodes de compréhension de code, combinant des aspects analyse de programme boite blanche et inférence boite noire,
· implémenter ses méthodes et en évaluer la pertinence sur des cas représentatifs,
· valoriser ces assets à travers des publications.
Vous contribuerez à des projets avec des partenaires académiques et industriels du LSL, ainsi que des projets de recherche collaboratifs français et européens, notamment dans les domaines de l'analyse de code et de la sécurité.
Profil du candidat
Le candidat retenu doit être titulaire d'un doctorat (ou être sur le point de terminer) en Méthodes Formelles, Logique, Sécurité système ou Intelligence Artificielle. Nous recherchons principalement un candidat motivé et ayant des compétences en : analyse de programmes et méthodes formelles, logique et raisonnement automatique, synthèse de programme et de spécification, rétro-ingénierie.
La connaissance de la programmation fonctionnelle est un plus (idéalement, langage OCaml).
