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).
Ingénieur Chargé d'Affaires en Contrôle Technique de la Construction H/F
Vous intervenez dans tous les domaines de la construction : promotion immobilière, bâtiments industriels ou tertiaires, publics ou privés, bâtiments neufs, réhabilitation, extensions- Vous réalisez des analyses de risques à partir des dossiers de conception,- Vous émettez des avis techniques sur l...
Assistant de direction en alternance H/F
Faciliter les interactions entre les représentants bénévoles et salariés des fédérations locales et des centres sociaux et ceux de la FCSF (Mise à jour des listings des acteurs du réseau et de nos adhérents). Préparer, en concertation avec la chargée de mission réseau et les fédération...
Ingénieur Chercheur en Système Embarqué Shm - CDD H/F
Vous avez des connaissances en :La programmation en Python pour le développement des méthodes et en C/C++ pour le déploiement en embarquéLe traitement du signal, l'analyse et le traitement des données ultrasonoresL'instrumentation et la mise en oeuvre de protocoles expérimentauxLe travail en mode pr...
Ingénieur méthodes et industrialisation (H/F)
Son objectif est d'être la référence d'excellence mondiale des déplacements de demain, tout en respectant la planète. Recherchez et identifiez les chemins critiques et les contraintes (goulot) pour la prise en main des rames en coopération avec la production et Produit Train. Contribuez à l'élaborat...
Responsable d'Exploitation et de Service Clients en Alternance H/F
Les missions du Responsable de l'Exploitation et de Service aux Clients : Vous pilotez l'activité d'un ou plusieurs sites (plateforme logistique, dépôt d'unité de production,) sur les plans : technique, commercial, social et financier ; selon les normes et la réglementation d'hygiène et de sécurité...
Cours particuliers en Sciences de la vie et de la terre pour étudiant
Description du coursCours particuliers à domicile en Sciences de la vie et de la terre à VERRIERES LE BUISSON pour un élève en classe de 4èmeRémunération : de 19,56 € à 27,96 € brut/hHoraires du soutien scolaire À partir du 26/08/2024. Profil recherché Être titulaire d'un diplôme de niveau bac + 3 m...
Ingénieur-chercheur en calcul haute performance, optimisations numériques et informatiques H/F
En particulier vous contribuerez au renforcement des activités du laboratoire dans le domaine du développement de la plateforme TRUST, dans l'amélioration de l'architecture et de la modernisation du code, pour faciliter l'implémentation des plus performants méthodes numérique ou de parallélisation, ...
2024-88643 - Ingénieur étude et développement en alternance H/F
IT, Digital et Data<br /><b>Type de contrat : </b>Alternance / Apprentissage<br /><b>Description du poste : </b><br />Présentation de la squad :La squad Système de place assure le build et le run des solutions de paiement en relation avec les places interban...
Assistant.e Ingénieur.e en Mesures Physiques et Instrumentation (PROXIMA 2A)
Il est utilisé annuellement par plusieurs milliers de chercheurs français et étrangers, à travers un large éventail de disciplines telles que la physique, la biologie, la chimie, l’astrophysique, l’environnement, les sciences de la terre, etc. Il s’agit d’un instrument pluridisciplinaire et d’un lab...
Responsable / ingénieur essais et mise en service expérimenté H/F
Egis agit activement en faveur de l’égalité hommes-femmes, de l’intégration de talents internationaux et de l’insertion professionnelle de personnes en situation de handicap, convaincu que ces leviers contribuent à la diversité de ses équipes, à la richesse et au succès du groupe. Dans le cadre de v...