caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: "SURLOG S.A." <surlog@club-internet.fr>
To: Caml List <caml-list@inria.fr>
Subject: Offre de stage
Date: Mon, 22 Jan 2001 10:22:59 +0100	[thread overview]
Message-ID: <3A6BFBF3.C47433A2@club-internet.fr> (raw)

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




                 reply	other threads:[~2001-01-22 21:55 UTC|newest]

Thread overview: [no followups] expand[flat|nested]  mbox.gz  Atom feed

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=3A6BFBF3.C47433A2@club-internet.fr \
    --to=surlog@club-internet.fr \
    --cc=caml-list@inria.fr \
    --cc=surlog@surlog.com \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
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).