Expert sécurité des logiciels f/h

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 :
1. é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 ;
2. 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, …) ;
3. 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 ;
4. élaborer et mettre en œuvre une stratégie d’évaluation et de labellisation des outils d’analyse de code existants ;
5. 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é à :
6. rendre compte des principales évolutions de l'état de l'art et assurer une veille scientifique et technique ;
7. 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 ;
8. participer au développement de démonstrateurs et de prototypes mettant en œuvre les idées et les concepts proposés ;
9. participer à l'évolution de méthodes et outils existants.

Contraintes et difficultés du poste
10. Restituer avec pédagogie à des interlocuteurs variés (experts ou non).
11. 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
12. Maîtriser plusieurs langages de programmation.
13. Maîtriser les concepts des attaques logicielles résultant de l’exploitation de vulnérabilités et les mesures de protection associées.
14. 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
15. Rigueur, exigence professionnelle.
16. Autonomie, travail en équipe.
17. Adaptation à des environnements différents.