The Coq mailing list

[Bruno Barras <bruno.barras AT inria.fr>]

Dear all,

Trusted Labs is hiring a security consultant in formal methods,
located in Meudon (Paris area). It may be of interest to PhD
graduates or post-docs reading this list and willing to step into
industry. A practical knowledge of a proof assistant is welcome.

A longer description of the job is given below. You can contact
Quang-Huy Nguyen 
(quang-huy.nguyen AT trusted-labs.com)
 for further
inquiry or application.

Bruno Barras.

-------------------

* Security Consultant Formal Methods – based in Meudon (92197), France

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 15+  years’ experience  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).

We  are  interested  in  candidates   with  a  strong  Formal  Methods
background 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, mobile, etc.

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 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: Quang-Huy Nguyen
         
quang-huy.nguyen AT trusted-labs.com
         +33 1 30 97 26 12