From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from weis@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id WAA02585 for caml-red; Mon, 22 Jan 2001 22:55:54 +0100 (MET) Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id KAA23716 for ; Mon, 22 Jan 2001 10:17:51 +0100 (MET) Received: from front2m.grolier.fr (front2m.grolier.fr [195.36.216.52]) by concorde.inria.fr (8.11.1/8.10.0) with ESMTP id f0M9Hob13482 for ; Mon, 22 Jan 2001 10:17:50 +0100 (MET) Received: from club-internet.fr (nas21-141.vlt.club-internet.fr [195.36.171.141]) by front2m.grolier.fr (8.9.3/No_Relay+No_Spam_MGC990224) with ESMTP id KAA00175 for ; Mon, 22 Jan 2001 10:17:49 +0100 (MET) Message-ID: <3A6BFBF3.C47433A2@club-internet.fr> Date: Mon, 22 Jan 2001 10:22:59 +0100 From: "SURLOG S.A." Reply-To: surlog@surlog.com X-Mailer: Mozilla 4.7 [fr] (Win95; I) X-Accept-Language: fr,en MIME-Version: 1.0 To: Caml List Subject: Offre de stage Content-Type: text/plain; charset=iso-8859-1 Content-Transfer-Encoding: 8bit Sender: weis@pauillac.inria.fr 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