Security Consultant in Formal Methods – Trusted Labs (Meudon, France)

Security Consultant Formal Methods – based in Meudon (mandatory)

Trusted Labs is a global expert in security consulting and evaluation within the connected ecosystem and a world leader in security certification scheme definition. We have 16 year of expertise in securing and enhancing trust in the connect world and have a strong multi-sector expertise in many segments e.g. banking, automotive, government and energy. Moreover, Trusted Labs evaluation lab is accredited by proprietary schemes as well as by ANSSI (CSPN). Our team is based in Meudon, Paris Area, France.
We are interested in candidates with a strong background in security and who are motivated in working with global customers on a variety security issues or topics. We are looking for security savvy fast-learning and team-player candidates who are eager to manage projects and coordinate with customers. English is mandatory.

A week in the life of a Security Consultant :

You will contribute and/or manage consulting or evaluation projects implicating mathematical modeling. The types of projects could be in one or several of the following list depending on the candidate’s expertise and interests e.g. security risk assessments, certification support e.g. Common Criteria or private schemes, security evaluation methodology, evaluation and penetration testing of diverse connected devices such as smart meters, automotive systems, mobiles…
You will contribute to the innovation roadmap. Consultants are encouraged to team-work on innovative topics and to present findings at technical conferences. Last but not least, you will have a mission of monitoring the state of the art.
You will be supporting business through contributions to defining the technical scope for business opportunities.

To succeed in this job, you must have a Phd degree in computer science or mathematics with a specialization in Formal methods or three years’ experience in the same field.

Security experience in one of the following topics would be highly appreciated: iOS, Android, TEE, HCE, Linux, network penetration testing, white-box cryptography, cryptographic protocols and attacks.

You must be fluent in English.

Contact persons:

Frédérique Ouvrard, Responsable des ressources Humaines,


Mohaned Kafi, CTO Trusted Labs,


Comments are closed.