Publié le 8 April 2011

Internships

Send your job application to recrutement@clearsy.com – Online Application

ClearSy offers internship topics for second and third year engineering students related to mathematical modeling and software development. Depending on requests, it is possible to adapt some of these topics to a shorter traineeship duration.

PLACEMENT 1 – CLE_2010_001 – Allocated

Improvement of Atelier B

Contact UsThe placement consists of adding some new functionalities to the proven Atelier B software tooling. The work to be carried out will, at the very least, consist of:

  • finalising the integration of the formal Brama model animation tool
  • completing the interfacing with the Flash environment in order to be able to control the graphic animation,
  • creating an XML interface for the B compiler
  • programming a generic pattern matcher
  • Skills required: QT, C++
  • Location: Aix en Provence
  • Monthly pay: 500€ + 300€ housing allowance if home is over 50 kms away
  • Duration: minimum of 5 months

PLACEMENT 2 – CLE_2010_002 – Allocated

Test generator

Contact UsWithin the context of developments in safety software, ClearSy has developed a code generator for safety automatons (B2Ladder). This code generator must now be accompanied by a test generator enabling the right code generation to be validated on the target automaton. Tests are generated from formal B models and are designed to work on our test benches. The aim is to half the time required for validating the software designed for railway signalling.

  • Skills required: C/C++ programming, user-definable automatons
  • Valued knowledge: B
  • Location: Aix en Provence / Paris
  • Monthly pay: 500€ + 300€ housing allowance if home is over 50 kms away
  • Duration: a minimum of 5 months

PLACEMENT 3 – CLE_2010_003 – Allocated

Addition of bi-directional communication to a secure modem

Contact UsThe work will consist of adapting a secure modem with unidirectional communication, used in our critical railway systems, in order to have bi-directional communication at our disposal. The work will be accompanied by the testing and interpretation of equipment, by means of a test board.

  • Skills requested: digital electronics
  • Location: Aix en Provence
  • Monthly pay: 500€ + 300€ housing allowance if home is over 50 kms away
  • Duration: a minimum of 5 months

PLACEMENT 4 – CLE_2010_004 – Allocated

Development of supervision software

Contact UsThe work will consist of developing software to supervise the security automatons we are developing for critical railway applications. This supervision software will enable the way in which our security systems operate to be supervised, in order to facilitate the fine tuning and maintenance.

  • Required skills and knowledge: SCADA, C or C++
  • Location: Aix en Provence, Paris
  • Monthly pay: 500€ + 300€ housing allowance if home is over 50 kms away
  • Duration: a minimum of 5 months

PLACEMENT 5 – CLE_2010_005 – Expired

Development of a shape recognition algorithm

Contact UsClearSy is led to develop innovative solutions within the context of work to automate the underground metro system. Within the scope of several of these projects, using data from a laser sensor, it is necessary to recognise the arrival of a train in the station, the opening and closing of doors, as well as the departure of the train. The work will consist of designing an algorithm which effectively recognises shapes, introducing it onto the simulator, testing it and possibly entering it onto the target architecture.

  • Skills required: shape recognition
  • Location: Aix en Provence
  • Monthly pay: 500€ + 300€ housing allowance if home is over 50 kms away
  • Duration: a minimum of 5 months

Comments are closed.