Employment Offers
Send your job application to recrutement@clearsy.com
Internships
ClearSy offers internship topics
for second and third year engineering students related to mathematical modeling
and software development:
Subject 1: generation of security code
COURSE PROVIDED
Workshop
B (www.atelierb.eu) is a
formal modelling tool for the production of flawless software, developed by
ClearSy. This tool enables software to be constructed according to its
specification, based on mathematical proof.
Functionalities
have to be added to the tool:
The
required knowledge is:
Location: Paris
Duration:
A minimum of 5 months.
Subject 2: formal modelling tools
COURSE PROVIDED
Composys(www.composys.fr) is a formal
system modelling tool developed by ClearSy. It enables components and their
interactions to be described in a hybrid system. Brama (www.brama.fr) is a
formal model animation B tool.
Functionalities
have to be added to the tools:
-
automatic generation of flash animation for a Composys model
-
improvement in thequality of the graphics generated by Composys
-
gateway for interfacing
with Visual Studio.
The course, which is software engineering orientated, consists
in collecting requirements, editing the functional specification, designing,
developing, testing and integrating these new functionalities.
The
required knowledge is:
-
programming languages C, C++, Java, flash
-
development of plug-ins under Eclipse 3
Location:
Aix en Provence
Duration:
a minimum of 5 months
Subject 3: paralleling of Workshop B
COURSE PROVIDED
Workshop B
(www.atelierb.eu) is a
formal modelling tool for the production of flawless software, developed by
ClearSy. This tool enables software to be constructed according to its
specification, based on mathematical proof.
Functionalities
have to be added to the tools:
The course, which is software engineering orientated, consists
in collecting requirements, editing the functional specification, designing,
developing, testing and integrating these new functionalities.
The
required knowledge is:
Location:
Aix en Provence
Duration: a
minimum of 5 months
Subject 4: introduction to factual B in TOPCASED
COURSE PROVIDED
TOPCASED (http://www.topcased.org/) is
computer aided engineering software. It contains an IDE based on Eclipse, to
which it adds functionalities linked essentially to the implementation of the
first branch of the V cycle for engineering the software and hardware. It is
based on software modelling languages such as UML, SysML, AADL, etc.
The purpose of the course is to add factual B to the list of
supported languages. The work to be carried out includes defining the metal
model of the factual B, developing a dedicated editor and constructing a
gateway with the Rodin formal modelling platform (http://sourceforge.net/projects/rodin-b-sharp).
The
required knowledge is:
Location:
Aix en Provence
Duration: a
minimum of 5 months
Subject 5: aimed at 2nd year students:
According
to requirements we can adapt some of these subjects to a course of shorter
duration.
|
