Descriptif du poste: Nous recherchons des ingénieurs pour participer à : * 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. Profil recherché: 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.