Analyse Binaire Dynamique, Exécution Symbolique Et Concolique, Fuzzing Hybride, Cybersécurité

il y a 1 semaine


Biot, France EURECOM Temps plein

Fonction
- Ingénieur de recherche
- Département
- Sécurité Numérique
- Date
- 10-2025
- Reference
- Poste d'Ingénieur de Recherche ou Postdoctorant H/F (Références : SN/AF/Fuzz/102025)

L'objectif technique principal de ce poste est de participer à la maturation des outils de fuzzing hybrides académiques d'EURECOM. La pile technologique principale comprend SymQEMU, SymCC et LibAFL/LibAFL-QEMU. Ces outils facilitent le fuzzing hybride grâce à l'exécution concolique pour une couverture incrémentale et la découverte de nouveaux chemins et vulnérabilités de programmes.

L'ingénieur de recherche/post-doctorant agira en tant que développeur bas niveau et expert CI/CD, et se concentrera sur la transition de ces recherches vers un prototype commercial fiable, performant et flexible.

Les principales responsabilités techniques incluront:

- Maturation et fiabilité des outils (SymQEMU/SymCC) : développement logiciel pour améliorer les performances, la fiabilité et la flexibilité des outils de fuzzing, en tenant compte des efforts de développement supplémentaires nécessaires à l'industrialisation.
- Tests de régression et assurance qualité (AQ) : Correction des problèmes, ajout de cas de test, de documentation, de nouveaux exemples et démonstrations. Mise en œuvre et amélioration d'environnements robustes d'intégration et de déploiement continus (CI/CD) et de suites de tests de régression sophistiquées.
- Intégrité du moteur concolique : Traitement et prévention spécifiques des problèmes tels que la concrétisation silencieuse des valeurs au sein du moteur concolique, afin de générer de meilleurs cas de test.
- Intégration pour l'amélioration des performances : Contribution à l'intégration bas niveau des technologies de performance avancées, notamment Intel PT (Processor Trace), dans les frameworks LibAFL et SymQEMU afin d'optimiser l'analyse d'exécution.
- Support à l'intégration industrielle : Collaboration avec des entreprises partenaires afin de rendre SymQEMU accessible aux non-experts (c'est-à-dire aux utilisateurs sans expertise technique en programmation ou DevSecOps) en soutenant son déploiement optimisé.

**Prérequis**
- Niveau d'études/Diplôme : Ingénieur/Master (BAC+5/6) ou doctorat dans un domaine connexe.
- Domaine/Spécialité : Cybersécurité, Sécurité des systèmes, Analyse binaire ou Développement bas niveau, Rust.
- Technologies : Une expérience directe ou une motivation pour l'apprentissage du fuzzing, de l'exécution symbolique, de QEMU ou de LibAFL est fortement appréciée. Une expertise en développement bas niveau, en tests de régression et en environnements d'intégration/déploiement continus (CI/CD) est essentielle.
- Autres compétences/Spécialité : Capacité à travailler dans un environnement de recherche international et multiculturel. Un fort esprit d'équipe est recherché.

**Candidature**
- Un curriculum vitae détaillé ;
- Une liste de publications, précisant les trois plus importantes, ou des liens vers des projets logiciels ou des rapports.
- Une lettre de motivation.
- Des références, si disponibles.

**Date d'embauche** : Poste à pourvoir de suite
**Durée du contrat** : Contrat à durée déterminée jusqu'à 18 mois



  • Biot, France Steria Temps plein

    Description du poste Votre futur environnement de travail Au sein de la Division Cybersécurité et du Value Center Prevent, vous intégrez l'équipe Audit sur notre site de Sophia-Antipolis. Vos rôles et missions En tant qu'Auditeur(trice) expert(e) en cybersécurité, intégré(e) à l'équipe Audit, vous êtes en charge de contribuer activement à toutes...


  • Biot, France Sopra Steria Temps plein

    Description du poste Votre futur environnement de travail Au sein de la Division Cybersécurité et du Value Center Prevent, vous intégrez l'équipe Audit sur notre site de Sophia-Antipolis. Vos rôles et missions En tant qu'Auditeur(trice) expert(e) en cybersécurité, intégré(e) à l'équipe Audit, vous êtes en charge de contribuer activement à toutes...

  • Architecte Transverse

    il y a 6 jours


    Biot, France Sopra Steria Temps plein

    **Description de l'entreprise** À propos de Sopra Steria**: Sopra Steria, acteur majeur de la Tech en Europe, avec 51 000 collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services et solutions numériques. Il aide ses clients à mener leur transformation digitale et à obtenir des bénéfices concrets et durables. Le...


  • Biot, France Sopra Steria Temps plein

    Architecte Sécurité du Cloud - Cybersécurité - Biot Join to apply for the Architecte Sécurité du Cloud - Cybersécurité - Biot role at Sopra Steria A propos de Sopra Steria Sopra Steria, acteur majeur de la Tech en Europe, avec 51 000 collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services et solutions...


  • Biot, France Data ScienceTech Institute Temps plein

    Nous recherchons des étudiants qualifiés en IT/Cybersécurité pour rejoindre l'un de nos partenaires prestigieux du secteur tertiaire. En tant qu'Expert en Cybersécurité, vous jouerez un rôle essentiel dans la protection des systèmes d'information et des données sensibles de notre partenaire, en mettant en œuvre des stratégies de sécurité...


  • Biot, France MyDataModels Temps plein

    **L'entreprise** Créée en 2018, MyDataModels poursuit un développement soutenu. Elle s’est spécialisée dans le small data et l’intelligence artificielle et entend bien décliner sa nouvelle technologie dans de nombreux domaines. MyDataModels offre à toutes les entreprises la puissance de l’Intelligence artificielle, sans compétences...


  • Biot, Provence-Alpes-Côte d'Azur, France Sopra Steria Temps plein

    de l'entrepriseÀ propos de Sopra SteriaSopra Steria, acteur majeur de la Tech en Europe, avec collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services et solutions numériques. Il aide ses clients à mener leur transformation digitale et à obtenir des bénéfices concrets et durables. Le Groupe apporte une réponse...


  • Biot, France Sopra Steria USA Temps plein

    Description de l'entreprise À propos de Sopra Steria : Sopra Steria, acteur majeur de la Tech en Europe, avec 51 000 collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services et solutions numériques. Il aide ses clients à mener leur transformation digitale et à obtenir des bénéfices concrets et durables. Le Groupe...


  • Biot, France Meritis Temps plein

    En tant qu'Architecte Sécurité (H/F), vous interviendrez dans un contexte de refonte totale de la DSI. Vous aurez comme principales missions seront la : - Sécurisation de l'architecture anti-malware - Analyse des risques et vulnérabilités en termes de cybersécurité - Vérification de la conformité aux exigences - Rédaction des stratégies de...


  • Biot, France Sopra Steria Temps plein

    Description de l'entrepriseÀ propos de Sopra Steria​Sopra Steria, acteur majeur de la Tech en Europe, avec 51 000 collaborateurs dans près de 30 pays, est reconnu pour ses activités de conseil, de services et solutions numériques. Il aide ses clients à mener leur transformation digitale et à obtenir des bénéfices concrets et durables. Le Groupe...