CLEARSY
About the Company
CLEARSY specializes in designing safety critical systems.
From design to commissioning, we develop SIL1 to SIL4 certified systems. Our expertise includes data validation, system verification and safety demonstration. Also we promote the formal B method that has the potential to disrupt safety critical system development.
CLEARSY proposes solutions to increase passenger flow and safety of the busiest commuter lines, improve train operation safety, reduce costs incurred by safety system development and verify safety critical systems
CLEARSY is now passing a new milestone, thanks to the acquisition on July 2018, of the company ERSA, known by its competencies in the main lines. it has used its software architecture, development and design skills to translate the complex detail of European Interoperability’s ERTMS / ETCS / EVC specications into a suite of tools which are supplied now by CLEARSY.
#CLEARSY
Listed Jobs
- Company Name
- CLEARSY
- Job Title
- Ingénieur validation formelle de données sécuritaires F/H
- Job Description
-
Rejoignez l'équipe validation formelle de données qui a pour objectif d'automatiser les vérifications manuelles des contraintes sécuritaires sur les données de leurs projets ferroviaires.
Vos missions seront de :
Analyser et modéliser les contraintes sécuritaires en utilisant les méthodes formelles rigoureuses
Tester et valider les modélisations
Dérouler les campagnes de validation sur les données réelles des projets avant leurs mises en service
Profil recherché
Bac+5 informatique ou généraliste ingénieur(e) ou universitaire, passionné par la technique, l'informatique et les mathématiques
- Company Name
- CLEARSY
- Job Title
- Ingénieur développeur full stack Atelier B F/H
- Job Description
-
Atelier B est un environnement graphique de développement de logiciel avec la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Atelier B est en constante évolution pour apporter des améliorations ergonomiques et fonctionnelles autour d'un noyau stable de fonctionnalités. Les différentes briques logicielles composant Atelier B ont été développées en C et C++ pour le back-end et Qt pour le front-end.
CLEARSY améliore et modernise constamment le code source d'Atelier B en adoptant notamment des évolutions récentes du langage C++ ainsi qu'en mettant en enrichissant les processus associés d'intégration continue.
Profil recherché
Bac+5 informatique ou généraliste ingénieur(e) ou universitaire, passionné par la technique, l'informatique et les mathématiques.
- Company Name
- CLEARSY
- Job Title
- Ingénieur F/H
- Job Description
-
Vous cherchez un secteur industriel porteur ? Vous souhaitez participer au développement d'une société innovante qui travaille sur de grands projets ?
Alors n'hésitez plus, et rejoignez CLEARSY, PME française spécialisée dans les systèmes et logiciels sécuritaires qu'elle développe pour elle-même ou pour de grands acteurs industriels.
Profil recherché
CLEARSY recrute des ingénieurs de tout niveau d'expérience en électronique, informatique industrielle, méthodes formelles, outils logiciel.
- Company Name
- CLEARSY
- Job Title
- Ingénieur Informatique F/H
- Job Description
-
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.