Technicien Support Utilisateurs H/F (Aix-en-Provence) Vous serez en charge des missions suivantes (liste non limitative): le support informatique, l’installation et la configuration de postes client, le déploiement de matériels et de logiciels, la formation des collaborateurs à l’utilisation de nouveaux services, l’exploitation de serveurs et d’infrastructures réseau et la rédaction de procédures. Ingénieur Développement Temps Réel H/F (Paris ou Aix-en-Provence) Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique. Un système critique est un système pour lequel une défaillance peut avoir des … Ingénieur Développement logiciel Pile OPC UA H/F (Paris ou Aix-en-Provence ou Toulouse) Vous intégrerez l’équipe qui développe le produit Safe and Secure OPC, implémentation sécurisée du protocole OPC UA. Cette équipe a la responsabilité d’accompagner les industriels dans leurs développements ou leurs preuves de concept. Ingénieur Développement Logiciel Model Checking H/F (Aix en Provence ou Toulouse ou Paris) 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. Ingénieur Test Logiciel Système Sécuritaire H/F (Paris ou Aix-en-Provence) 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. Ingénieur Développement Logiciel Sécuritaire H/F (Aix-en-Provence, Paris ou Toulouse) 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, … Ingénieur Validation Système Temps Réel H/F (Paris ou Aix-en-Provence) Sous la direction d’un Chef de projet, vous serez formé à nos processus et techniques de tests (intégration/validation) de nouvelles générations de systèmes critiques (systèmes de conduite automatiques, contrôle de vitesse …). Ingénieur méthodes formelles H/F (Paris ou Aix-en-Provence) Intégré à notre équipe de spécialistes, vous participerez à des projets de modélisation formelle ou de développement formel des logiciels. Ingénieur Développement Java, Python, Eclipse H/F (Aix-en-Provence) 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é Ingénieur développement Ada H/F (Paris) 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.
Technicien Support Utilisateurs H/F (Aix-en-Provence) Vous serez en charge des missions suivantes (liste non limitative): le support informatique, l’installation et la configuration de postes client, le déploiement de matériels et de logiciels, la formation des collaborateurs à l’utilisation de nouveaux services, l’exploitation de serveurs et d’infrastructures réseau et la rédaction de procédures.
Ingénieur Développement Temps Réel H/F (Paris ou Aix-en-Provence) Notre cœur de métier est le développement de systèmes critiques pour le transport, la défense et l’aéronautique. Un système critique est un système pour lequel une défaillance peut avoir des …
Ingénieur Développement logiciel Pile OPC UA H/F (Paris ou Aix-en-Provence ou Toulouse) Vous intégrerez l’équipe qui développe le produit Safe and Secure OPC, implémentation sécurisée du protocole OPC UA. Cette équipe a la responsabilité d’accompagner les industriels dans leurs développements ou leurs preuves de concept.
Ingénieur Développement Logiciel Model Checking H/F (Aix en Provence ou Toulouse ou Paris) 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.
Ingénieur Test Logiciel Système Sécuritaire H/F (Paris ou Aix-en-Provence) 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.
Ingénieur Développement Logiciel Sécuritaire H/F (Aix-en-Provence, Paris ou Toulouse) 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, …
Ingénieur Validation Système Temps Réel H/F (Paris ou Aix-en-Provence) Sous la direction d’un Chef de projet, vous serez formé à nos processus et techniques de tests (intégration/validation) de nouvelles générations de systèmes critiques (systèmes de conduite automatiques, contrôle de vitesse …).
Ingénieur méthodes formelles H/F (Paris ou Aix-en-Provence) Intégré à notre équipe de spécialistes, vous participerez à des projets de modélisation formelle ou de développement formel des logiciels.
Ingénieur Développement Java, Python, Eclipse H/F (Aix-en-Provence) 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é
Ingénieur développement Ada H/F (Paris) 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.
