The Coq mailing list

["NGUYEN Quang-Huy" <quang-huy.nguyen AT gemalto.com>]

The Formal Methods team of Gemalto is seeking skillful candidates for a permanent Research Engineer position (CDI in French Labour Law) based in Meudon (in Paris area).

 

Position description
==============

The successful candidate will take part in various research activities of our team whose the main goal is to improve the security of smart cards. It involves the use of different formal techniques (such as theorem proving, model checking or model-based testing) for securing embedded Java/C code and for its security certification (Common Criteria, FIPS, etc). (S)he is encouraged to publish research results in international conferences and/or journals. The job also involves the participation in research collaborations with both academic and industry partners in France and Europe.

 

Candidate Profile
============
The applicants are expected to hold a PhD degree with a strong background in theoretical computer science.
Experiences in the formal techniques described above as well as in the security of smart cards are important assets. A basic level of French may be helpful but is not mandatory.

 

Applications and Inquiries
==================
Interested candidates should inquire for further information and/or apply by sending email to

boutheina.chetali AT gemalto.com and quang-huy.nguyen AT gemalto.com

Applications should contain detailed Curriculum Vitae. PDF format is strongly encouraged.

About Formal Methods in Gemalto
=========================
Gemalto (the result of Axalto, Gemplus merger) is the leader in digital security with pro forma 2007 annual revenues of over €1.6 billion, more than 85 offices in 40 countries and about 10,000 employees including 1,300 R&D engineers. In 2007, Gemalto produced more than 1 billion smart cards.

 

The Formal Methods team of Gemalto has carried out applied research in formal methods since nearly 10 years. One of the recent significant results is the first Common Criteria certificate with the highest formal assurances for of a Java-embedded smart card.

 

 ===================

Quang-Huy Nguyen

Security Labs

Tel: +33 1 55 01 60 91

Fax:+33 1 55 01 51 70
6, rue de la Verrerie, 92197 Meudon

quang-huy.nguyen@gemalto.com
www.gemalto.com