Ingénieur Informatique H/F

Nous recherchons des ingénieurs pour participez à :

• La réalisation des projets industriels intégrant l'utilisation d'une méthode formelle
• Au développement d'outils liés à l'industrialisation de la méthode B : Atelier B (Outil sous Linux dont certains composants sont Open Sources)
• La réalisation des outils logiciels et des logiciels d'administration de systèmes. De la spécification du code, de la définition des tests à la validation, vous interviendrez sur les phases de développement du projet jusqu'à sa réception chez notre client.

De formation ingénieur Bac +5, vous justifiez d'une expérience, ou de bonnes connaissances, en développement, et dans l'utilisation notamment en C, C++, Postgre SQL, Base de données, QT, Web, Linux.