The Coq mailing list

[Boutheina Chetali <bchetali AT axalto.com>]

"Research engineer" position in formal verification of embedded systems, 
Axalto-Louveciennes.
The position is available in the Formal Methods group, within the Research 
& Innovation department of Axalto. Candidates are expected to have a strong 
background in formal methods and/or  verification tools. They must have  a 
PHD (Computer Science) and/or 2 years experience in the field.

The goal of our research is to apply formal methods to improve the security 
of smart cards software. it includes program verification using deductive 
methods (theorem provers) or automatic methods (model checkers).Other 
objectives are to transfer methods and tools in order to include the 
methodology in the development process of our smart cards and to use formal 
methods for Common Criteria certification.

Candidates will work in the Formal Methods & security group at 
Louveciennes. A Curriculum Vitae and names of references have to be sent to 
bchetali AT axalto.com.