caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* Offre de stage
@ 2001-01-22  9:22 SURLOG S.A.
  0 siblings, 0 replies; only message in thread
From: SURLOG S.A. @ 2001-01-22  9:22 UTC (permalink / raw)
  To: Caml List

Bonjour à tous,

voici un sujet de stage que nous proposons à partir du mois d'avril. Si
vous êtes intéressés,
n'hésitez pas à nous contacter.

Salutations,

Maxence Guesdon

====================================================

    Proposition de stage

   Stages niveau Bac + 4/5

 2 Stagiaires développeurs OCAML


La société Surlog S.A. a pour vocation l'évaluation indépendante de la
qualité et de la sûreté
des systèmes logiciels. Afin de réaliser ses analyses de la sûreté des
logiciels,
Surlog S.A. développe ses propres outils d'aide à l'évaluation (AGFL©,
RCSPL©, ...).

1   Contexte

Dans le cadre de ses études de sûreté, Surlog S.A. a développé plusieurs

outils d'analyse spécialisés.
L'outil APLS©(Analyse Préliminaire des Logiciels de Sûreté) est un outil

permettant d'obtenir
rapidement de l'information sur un logiciel à analyser (métriques, flux
des données, graphe d'appel, ...).
Après un prototypage ayant mis en évidence les aspects sensibles de
cette analyse, Surlog S.A.
développe actuellement une version industrielle de cet outil.

2   Sujet du stage

Les 2 STAGIAIRES ETUDIANTS que nous recherchons devront, sous la
direction de leur responsable de stage
 et en collaboration avec l'équipe de développement, effectuer les
tâches suivantes :

   1.Formation au langage objet Objective-Caml et aux méthodes de
développement appliquées
   (gestion de projet, gestion de configuration, ...),
   2.Conception, d'après la spécification fournie, des différents
aspects de l'outil APLS©
   (architecture logicielle, modèle objet, architecture base de données,

principes pour la gestion
    de configuration des fichiers analysés, interface graphique,
algorithmes, ...),
   3.Implémentation et intégration à l'Atelier de Sûreté de Surlog S.A.
,
   4.Rédaction de la documentation associée.

Environnement de développement : Linux, Sun Solaris, outils GNU,
Objective-Caml, LablGtk, OCamlODBC, ...

3   Compétences et autres aptitudes recherchées

Les 2 stagiaires auront la volonté de s'intégrer dans une équipe
dynamique de jeunes ingénieurs de
 développement d'outils spécialisés et de découvrir les méthodes de
développement industriel de logiciels.

Ils auront l'opportunité de concevoir et d'implémenter des outils
logiciels dans un langage objet
 puissant (Objective-Caml) et en utilisant des bibliothèques et outils
très répandus (Gtk, make, SCCS, ...).

4   Environnement du stage

Le stage (rémunéré) d'une durée de 4 à 6 mois se déroulera dans nos
locaux à Vélizy à partir du
 second semestre 2001.

Il nécessite la signature d'une clause de confidentialité concernant les

aspects industriels.

5   Contacts

Loic Pessonnier / Nicolas Diette
Tél : 01.40.83.00.00
Fax : 01.40.83.18.18
Mel : stages@surlog.com


Surlog S.A.     -- http://www.surlog.com
Vélizy Plus, Bâtiment E
1 bis, Rue du Petit Clamart
78140 Vélizy-Villacoublay




^ permalink raw reply	[flat|nested] only message in thread

only message in thread, other threads:[~2001-01-22 21:55 UTC | newest]

Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2001-01-22  9:22 Offre de stage SURLOG S.A.

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).