Stage - Developpement de L’outil Clearsy Diagram
il y a 1 semaine
**Objectif du stage **:Faire évoluer l’interface graphique de l’outil CLEARSY Diagram Editor en vue d’améliorer l’expérience utilisateur et l’architecture du logiciel.
CLEARSY Diagram Editor est un outil qui permet de numériser les informations métiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas à relais, des schémas de câblage, des schémas de signalisation, etc.
Dans le but de pérenniser l'outil, il est nécessaire de le faire évoluer afin de le rendre plus modulaire et plus facilement maintenable.
**L'objectif du stage sera donc de**:
- proposer et mettre en place une nouvelle architecture pour l'outil ;
- migrer vers un framework graphique plus robuste.
- améliorer l'expérience utilisateur en proposant une interface plus ergonomique.
**Compétences recherchées**:
- Connaissances en C++
- Gestion de configuration avec Git
- Une expérience en développement d’interfaces graphiques avec QML ou Qt est un plus
- Rigueur, autonomie, force de propositions
- Bonnes capacités d’expression écrite et orale
**Localisation** : Aix en Provence
**Durée** : 6 mois
**Niveau** : Bac +5
Type d'emploi : Stage
Durée du contrat : 6 mois
Salaire : à partir de 1 767,00€ par mois
Avantages:
- Prise en charge du transport quotidien
Programmation:
- Du lundi au vendredi
Lieu du poste : En présentiel
-
Stage - Developpement de L’outil Clearsy Diagram
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:Faire évoluer l’interface graphique de l’outil CLEARSY Diagram Editor en vue d’améliorer l’expérience utilisateur et l’architecture du logiciel. CLEARSY Diagram Editor est un outil qui permet de numériser les informations métiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas...
-
Stage - Developpement de L’outil Clearsy Diagram
il y a 3 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:Faire évoluer l’interface graphique de l’outil CLEARSY Diagram Editor en vue d’améliorer l’expérience utilisateur et l’architecture du logiciel. CLEARSY Diagram Editor est un outil qui permet de numériser les informations métiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas...
-
Developpement de L’outil Clearsy Diagram Editor
il y a 3 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:Faire évoluer l’interface graphique de l’outil CLEARSY Diagram Editor en vue d’améliorer l’expérience utilisateur et l’architecture du logiciel. CLEARSY Diagram Editor est un outil qui permet de numériser les informations métiers contenues dans des fichiers graphiques contenant des plans techniques tels que des schémas...
-
Developpement D’un Environnement Permettant de
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:La CLEARSY Safety Plateform (CPS) est un calculateur sécuritaire qui permet de faciliter le développement de systèmes critiques. Elle intègre également une librairie logicielle et une chaine d’outil entièrement intégrée (Docker ou machine virtuelle) permettant de compiler directement les binaires finaux. L'objectif du...
-
Developpement D’un Environnement Permettant de
il y a 3 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:La CLEARSY Safety Plateform (CPS) est un calculateur sécuritaire qui permet de faciliter le développement de systèmes critiques. Elle intègre également une librairie logicielle et une chaine d’outil entièrement intégrée (Docker ou machine virtuelle) permettant de compiler directement les binaires finaux. L'objectif du...
-
Developpement D’un Environnement Permettant de
il y a 1 semaine
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:La CLEARSY Safety Plateform (CPS) est un calculateur sécuritaire qui permet de faciliter le développement de systèmes critiques. Elle intègre également une librairie logicielle et une chaine d’outil entièrement intégrée (Docker ou machine virtuelle) permettant de compiler directement les binaires finaux. L'objectif du...
-
Developpement D'un Environnement Permettant de
il y a 1 semaine
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France CLEARSY Temps plein**Objectif du stage **:La CLEARSY Safety Plateform (CPS) est un calculateur sécuritaire qui permet de faciliter le développement de systèmes critiques. Elle intègre également une librairie logicielle et une chaine d'outil entièrement intégrée (Docker ou machine virtuelle) permettant de compiler directement les binaires finaux.L'objectif du stage sera...
-
Developpement D'un Environnement Permettant de
il y a 1 semaine
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France CLEARSY Temps plein**Objectif du stage **:La CLEARSY Safety Plateform (CPS) est un calculateur sécuritaire qui permet de faciliter le développement de systèmes critiques. Elle intègre également une librairie logicielle et une chaine d'outil entièrement intégrée (Docker ou machine virtuelle) permettant de compiler directement les binaires finaux. L'objectif du stage...
-
Stage - Developpement Banc de Tests Automatise
il y a 3 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...
-
Stage - Developpement Banc de Tests Automatise
il y a 3 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...
-
Stage - Developpement Banc de Tests Automatise
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...
-
Stage - Developpement Banc de Tests Automatise
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...
-
Extension Du Compilateur B Pour Permettre La
il y a 3 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands noms du ferroviaire. Cet outil est aujourd'hui certifié T2 selon la norme EN 50128, ce qui correspond aux outils de vérification pour des systèmes critiques. Dans le cadre d'une certification au niveau T3...
-
Extension Du Compilateur B Pour Permettre La
il y a 1 semaine
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands noms du ferroviaire. Cet outil est aujourd'hui certifié T2 selon la norme EN 50128, ce qui correspond aux outils de vérification pour des systèmes critiques. Dans le cadre d'une certification au niveau T3...
-
Extension Du Compilateur B Pour Permettre La
il y a 3 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands noms du ferroviaire. Cet outil est aujourd'hui certifié T2 selon la norme EN 50128, ce qui correspond aux outils de vérification pour des systèmes critiques. Dans le cadre d'une certification au niveau T3...
-
Extension Du Compilateur B Pour Permettre La
il y a 2 semaines
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:Le CLEARSY Data Solver est un logiciel de validation de données développé par CLEARSY et utilisé par plusieurs grands noms du ferroviaire. Cet outil est aujourd'hui certifié T2 selon la norme EN 50128, ce qui correspond aux outils de vérification pour des systèmes critiques. Dans le cadre d'une certification au niveau T3...
-
Stage - Developpement Banc de Tests Automatise
il y a 1 semaine
Aix-en-Provence, France CLEARSY Temps plein**Objectif du stage **:L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu’une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L’Atelier B est...
-
Stage - Developpement Banc de Tests Automatise
il y a 1 semaine
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France CLEARSY Temps plein**Objectif du stage **:L'Atelier B consiste en un ensemble d'outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu'une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L'Atelier B est formé...
-
Stage - Developpement Banc de Tests Automatise
il y a 1 semaine
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France CLEARSY Temps plein**Objectif du stage **:L'Atelier B consiste en un ensemble d'outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu'une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L'Atelier B est formé...
-
Stage - Developpement Banc de Tests Automatise
il y a 1 semaine
Aix-en-Provence, Provence-Alpes-Côte d'Azur, France CLEARSY Temps plein**Objectif du stage **:L'Atelier B consiste en un ensemble d'outils permettant la mise en œuvre de la méthode B, une méthode de développement logiciel basée sur les méthodes formelles. Elle est basée sur la preuve mathématique qu'une implémentation logicielle correspond à sa spécification, exprimée dans un langage formel. L'Atelier B est formé...
