Expert en sécurité des logiciels - f/h

Expert en sécurité des logiciels - F/H, Paris

Descriptif des missions

En tant qu'expert en sécurité des logiciels, vous contribuerez à l'expertise du laboratoire dans le domaine de la sécurité logicielle et répondrez aux sollicitations internes et externes de la division scientifique et technique. À cette fin, vous devrez :

* évaluer la sécurité de développements au profit de l’agence ou de ses partenaires (administrations et opérateurs d’importance vitale, en particulier) notamment pour la qualification et la certification ;
* accompagner les processus de développement (paramétrage des outils d’analyse, aide à la compréhension et à la prise en compte des problèmes remontés dans les rapports d’analyse, proposition de corrections, …) ;
* rédiger les guides, les recommandations et les référentiels de règles et de bonnes pratiques de développement à imposer aux développeurs de logiciels critiques ;
* élaborer et mettre en œuvre une stratégie d’évaluation et de labellisation des outils d’analyse de code existants ;
* sensibiliser et former sur la sécurité des systèmes d’information.

Dans le but de fournir une expertise de haut niveau, vous participerez aux activités de R&D menées par le laboratoire. Vous serez amené à :

* rendre compte des principales évolutions de l'état de l'art et assurer une veille scientifique et technique ;
* contribuer aux travaux de recherche académique, par la rédaction d'articles scientifiques et la présentation de résultats de recherche lors des conférences du domaine ;
* participer au développement de démonstrateurs et de prototypes mettant en œuvre les idées et les concepts proposés ;
* participer à l'évolution de méthodes et outils existants.


Contraintes et difficultés du poste

* Restituer avec pédagogie à des interlocuteurs variés (experts ou non).
* Capacité à comprendre des sujets variés.

Profil recherché

Vous êtes titulaire d'un diplôme de niveau bac+5 issu d'une école d'ingénieur ou d'une formation universitaire équivalente et, idéalement d'un doctorat.

Vous justifiez d'une expérience dans la sécurité des logiciels.


Compétences requises

* Maîtriser plusieurs langages de programmation.
* Maîtriser les concepts des attaques logicielles résultant de l’exploitation de vulnérabilités et les mesures de protection associées.
* Maîtriser l'un des domaines suivants :l'analyse de programme et ses fondements théoriques (exécution symbolique, interprétation abstraite, …),la vérification formelle de programmes (B, Coq, Frama-C, ...),le durcissement logiciel lors du développement ou à la compilation.


Qualités attendues

* Rigueur, exigence professionnelle.
* Autonomie, travail en équipe.
* Adaptation à des environnements différents.
#J-18808-Ljbffr