2010 Internships placements

PLACEMENT 1 – CLE_2010_001 – Improvement of Atelier B

Allocated

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 – Test generator

Allocated

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 – Addition of bi-directional communication to a secure modem

Allocated

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 – Development of supervision software

Allocated

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 – Development of a shape recognition algorithm

Expired

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.