Ingénieur methodes formelles H/F
Ile de France, Paris - Référence : INGEB75 4199988
Mis en ligne le 7 août 2013 par AudreyM (+ d'offres)
Clearsy
Type de contrat :CDI
Métier :Informatique générale
Type d'entreprise :Autre type d'entreprise (client final)
Localisation :Ile de France, Paris
Poste à pourvoir
Créée en 2001, ClearSy a placé l'innovation au coeur de sa stratégie de développement et se positionne aujourd'hui comme le leader de la Méthode formelle B.
Avec 60 collaborateurs répartis sur 3 agences, ClearSy est une société spécialisée en ingénierie des systèmes fiables et :
Réalise des projets industriels intégrant l'utilisation d'une méthode formelle
Développe les outils liés à l'industrialisation de la méthode B : AtelierB
Participe à des projets de recherche et développement dans le domaine du formel
Est centre de compétences et de formation sur la méthode B.
Nous recherchons de nouveaux collaborateurs H/F motivés par les challenges techniques et les petites structures réactives.
Intégré à notre équipe de spécialistes, vous participez à des projets de modélisation formelle ou de développement formel des logiciels. Les prestations peuvent être réalisées dans nos locaux ou directement chez de grands industriels ou donneurs d'ordre.
Avec 60 collaborateurs répartis sur 3 agences, ClearSy est une société spécialisée en ingénierie des systèmes fiables et :
Réalise des projets industriels intégrant l'utilisation d'une méthode formelle
Développe les outils liés à l'industrialisation de la méthode B : AtelierB
Participe à des projets de recherche et développement dans le domaine du formel
Est centre de compétences et de formation sur la méthode B.
Nous recherchons de nouveaux collaborateurs H/F motivés par les challenges techniques et les petites structures réactives.
Intégré à notre équipe de spécialistes, vous participez à des projets de modélisation formelle ou de développement formel des logiciels. Les prestations peuvent être réalisées dans nos locaux ou directement chez de grands industriels ou donneurs d'ordre.
Profil recherché
Ingénieur de formation Bac + 5, grandes écoles, vous avez une première expérience dans un poste similaire et connaissez le développement et l'utilisation de méthodes formelles.
Rejoignez ClearSy, PME leader de la méthode formelle B et innovante qui vous offre de réelles opportunités d'évolution.
Rejoignez ClearSy, PME leader de la méthode formelle B et innovante qui vous offre de réelles opportunités d'évolution.
Description de la société
Clearsy est une PME française, spécialisée dans la réalisation de systèmes et logiciels sécuritaires de niveau SIL1 à SIL4. Elle développe des systèmes complexes, en assurant leur conception, jusqu'à leur mise en service, en passant par leur validation, vérification, et étude de sécurité. ClearSy réalise notamment des systèmes et logiciels sûrs dans le domaine ferroviaire, automobile, militaire, et spatial.
Site web : http://www.clearsy.com
Site web : http://www.clearsy.com