Recrutement

Merci d'envoyer votre candidature à recrutement@clearsy.com

Stages 2010

ClearSy propose aux élèves ingénieurs de 2ème et 3ème année des sujets de stage liés à la modélisation mathématique et au développement de logiciels :

STAGE 1 - CLE_2010_001

Amélioration de l'Atelier B

Le stage consiste à ajouter de nouvelles fonctionnalités à l'outil de génie logiciel Atelier B. Les travaux à réaliser consisteront au minimum à :

finaliser l'intégration de l'animateur de modèle formel Brama
de réaliser l'interfaçage avec l'environnement Flash afin de pouvoir commander des animations graphiques,
de créer une interface XML pour le compilateur B
de programmer un pattern matcheur générique

Compétences demandées : QT, C++
Localisation : Aix en Provence
Rémunération mensuelle : 500€ + 300€ d'indemnité de logement si foyer distant de plus de 50km
Durée : 5 mois minimum

STAGE 2 - CLE_2010_002 - Pourvu

Générateur de tests

Dans le cadre des développements des logiciels de sécurité, ClearSy a développé un générateur de code pour automates de sécurité (B2Ladder).
Ce générateur de code doit être accompagné maintenant d'un générateur de tests permettant de valider, sur l'automate cible, la bonne génération du code. Les tests sont générés à partir de modèles formels B et sont destinés à être joués sur nos bancs de tests.
L'objectif est de diviser par deux les temps de validations des logiciels destinés à la signalisation ferroviaire.

Compétences demandées : programmation en C/C++, automates programmables
Connaissances appréciées : B
Localisation : Aix en Provence / Paris
Rémunération mensuelle : 500€ + 300€ d'indemnité de logement si foyer distant de plus de 50km
Durée : 5 mois minimum

STAGE 3 - CLE_2010_003 - Pourvu

Ajout d'une communication bidirectionnelle à un modem sécurisé

Les travaux consisteront à adapter un modem sécurisé à communication unidirectionnelle utilisé dans nos systèmes critiques ferroviaires, afin de disposer d'une communication bidirectionnelle. Les travaux s'accompagneront du test et de la caractérisation de l'équipement, au moyen d'une table de mesure.

Compétences demandées : électronique numérique
Localisation : Aix en Provence
Rémunération mensuelle : 500€ + 300€ d'indemnité de logement si foyer distant de plus de 50km
Durée : 5 mois minimum

STAGE 4 - CLE_2010_004 - Pourvu

Développement d'un logiciel de supervision

Les travaux consisteront à développer un logiciel de supervision des automates sécuritaires que nous développons, pour des applications critiques ferroviaires.
Ce logiciel de supervision permettra de surveiller l'exécution de nos systèmes de sécurité, afin d'en faciliter la mise au point et la maintenance.

Compétences et connaissances requises : SCADA, C ou C++
Localisation : Aix en Provence, Paris
Rémunération mensuelle : 500€ + 300€ d'indemnité de logement si foyer distant de plus de 50km
Durée : 5 mois minimum

STAGE 5 - CLE_2010_005 - Echu

Développement d'un algorithme de reconnaissance de formes

ClearSy est amené à développer des solutions innovantes dans le cadre de travaux d'automatisation de métro. Dans le cadre de plusieurs de ces projets, il est nécessaire de reconnaitre, à partir de données issues d'un capteur laser, l'arrivée d'un train en station, l'ouverture et et la fermeture des portes ainsi que le départ du train. Les travaux consisteront à concevoir un algorithme de reconnaissance de formes efficace, l'implanter sur simulateur, le tester et éventuellement le porter sur l'architecture cible.

Compétences demandées : reconnaissance des formes
Localisation : Aix en Provence
Rémunération mensuelle : 500€ + 300€ d'indemnité de logement si foyer distant de plus de 50km
Durée : 5 mois minimum

IMPORTANT

Selon les demandes, nous pouvons adapter certains de ces sujets à une durée de stage plus courte.