vous aurez pour principales missions :

de réaliser des relectures critiques premier (au sein de l’organisation industrielle) ou second regard (pour le compte de la maîtrise d’ouvrage MOA ou maîtrise d’œuvre MOE) des documents système et/ou logiciel d’un projet ;
de vérifier les traçabilités montantes, descendantes et horizontales (cohérence) de l’ensemble des exigences techniques et non techniques d’un projet (management, FDMS, exploitation, maintenance, SSI, …), jusqu’à la satisfaction du besoin par un ensemble de tests et/ou d’analyses ;
de participer au rôle de chargé de validation système (

En tant que Chef de Projet au sein de l’activité Système Temps Réel, vous prendrez en charge les missions suivantes :

Identification et analyse des besoins clients
Définition et planification des tâches
Pilotage de l’ensemble des phases du projet (suivi de l’avancement, planning, gestion des risques…)
Coordination et animation de l’équipe projet

Vous aurez pour principales missions :
Réaliser des analyses de risques système et/ou logiciel
Participer au suivi technique de la partie SdF du projet

Vous aurez pour mission d’ouvrir et développer de nouveaux comptes en valorisant l’expertise et les savoir-faire spécifiques de l’entreprise.

Vous prendrez en charge des activités de développement logiciel (spécification à la validation) et de test de logiciels embarqués ou contraints sur des systèmes temps réel.

Vous intégrerez l’équipe qui développe le produit Systerel Smart Solver (outil de vérification formelle des systèmes ou logiciels développés en SCADE, C, Ada.) et qui a la responsabilité d’accompagner les industriels dans leur mise en œuvre de la preuve formelle.

Une fois intégré(e) au projet, vous prendrez notamment en charge des activités de tests logiciels et/ou systèmes.Vous aurez ainsi à comprendre le fonctionnement du système et sa finalité, tout en appliquant des méthodes de travail rigoureuses.

Dans le cadre de son développement, Systerel recrute des ingénieurs capables d’appréhender (spécification, architecture, validation) des systèmes critiques et complexes dans les domaines du ferroviaire, nucléaire, …

Sous la direction de notre DAF, votre rôle sera de garantir la fiabilité de la paie et d’établir le reporting social.

Intégré à notre équipe de spécialistes, vous participerez à des projets de modélisation formelle ou de développement formel des logiciels.

Au sein de l’activité Modélisation et Preuves, vous travaillerez sur le développement et la maintenance d’outils logiciels sous Linux dans un contexte rigoureux et de haute technicité

Vous aurez à intervenir au sein de nos équipes ainsi qu’auprès de nos clients pour des missions de conseil et de développement mettant à profit votre maîtrise des technologies Ada.