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...

La survenue d'attaques sur des systèmes cyber-physiques et industriels ces dernières années fait peser de nouvelles menaces sur les équipements...

Vous cherchez un secteur industriel porteur ? Vous souhaitez participer au développement d'une société innovante qui travaille sur de grands projets...

Pour son activité validation de données, CLEARSY recrute des ingénieur(e)s avec mission de :* Concevoir des logiciels ;* Vérifier la spécification...

Rejoignez l'équipe validation formelle de données qui a pour objectif d'automatiser les vérifications manuelles des contraintes sécuritaires...