**************** Information d'entreprise ****************

Raison sociale: Atos Intégration
Adresse: 80 Quai Voltaire
Ville: BEZONS
Code postal: 95870
Secteur d'activité : Informatique / Télécom / Internet
Description d'entreprise: Information d'organisation
*

Partenaire informatique mondial des Jeux Olympiques depuis 1992, le groupe Atos est un acteur international des services informatiques qui fournit à ses clients du monde entier,*des solutions de conseil, d'intégration de systèmes, d'infogérance et des services transactionnels de haute technologie.*Atos est présent dans 48 pays, compte 74 000 collaborateurs dans le monde et réalise un chiffre d'affaires annuel de 8,5 milliards d'euros

Atos Systèmes Intégration (SI)*a pour vocation d'imaginer, développer et de maintenir opérationnels les systèmes d'information de ses clients. Pour cela, notre entité *dispose d'un riche portefeuille d'offres d'intégration de systèmes à forte valeur ajoutée, qui garantissent *une rentabilité et une croissance optimale à ses clients. Cette entité continue à adapter ses offres afin de satisfaire la demande croissante de solutions.

**************** Information d'offre ****************

Nature d'offre: Stage
Titre: Stage Atelier d'analyse et de preuve Frama-C sous Eclipse
Date début: 20/05/2013
Durée : 6mois.
Localisation : Toulouse(31000), France
Description: Caractéristiques du poste


*Contexte :Les méthodes d'analyse statique pour la vérification et plus particulièrement les méthodes formelles offrent des avantages décisifs par rapport aux méthodes plus traditionnelles et leur utilisation dans les projets industriels est maintenant grandissante.
Plusieurs niveaux de vérifications peuvent être abordées à partir de la vérification de simples règles de codage jusqu'à la vérification fonctionnelle par preuve s'appuyant sur une spécification formelle de la sémantique du programme. L'introduction de ces nouvelles techniques dans les projets a des répercussions à la fois sur les outillages et sur les méthodes d'utilisation de ces outils.
Atos participe depuis de nombreuses années à des travaux de recherche et d'industrialisation dans ce domaine, en particulier avec l'outil Frama-C (www.frama-c.com). Des développements d'outils sur mesure ont été réalisés pour le compte de grands industriels et utilisés opérationnellement.
Mission :
Ce stage a pour objectif de définir un processus opérationnel d'utilisation de Frama-C dans un environnement Eclipse et de définir et implémenter les éléments d'IHM nécessaires.
Le stage s'effectuera en binôme avec d'un coté un stagiaire intervenant sur les technologies Eclipse et les WebServices et d'autre part un stagiaire orienté processus de vérification de logiciel critique se plaçant en utilisateur du futur outil.
Une attention particulière sera accordée sur les aspects ergonomiques de l'outil et son utilisabilité. C'est pourquoi ce stage est proposé en binôme (de la même école ou pas) afin de pouvoir appréhender de la façon la plus globale les aspects métier et techniques.

Objectifs pédagogiques :
*- compréhension des activités outillées d'un processus de vérification par preuve
*- gestion du cycle de vie d'un produit avec des utilisateurs
*- maitrise des techniques de développement Eclipse
*- maitrise des techniques de développement OCaml et environnement Frama-C
Environnement technologique et fonctionnel :
Le stagiaire intégrera l'équipe de Vérification et validation et sera encadré par des experts du développement de greffons FRAMA-C ainsi que par des experts Eclipse.
Profils recherchés: Profil


De formation Bac+5 en informatique en cours de validation, vous recherchez un stage d'une durée de 5 mois minimum à partir de novembre 2011 (dates variables selon l'école), en alternance ou à temps complet. Une première connaissance des langages Java, C et OCaml. Une initiation aux techniques de vérifications formelles est bienvenue. Une proposition d'embauche en fin de stage est envisageable, sur le site de votre stage, ou, si vous le désirez, dans toute autre région dans laquelle Atos recrute. Vous êtes motivé(e) et rigoureux(se), aimez travailler en équipe et souhaitez vous investir sur un projet. Rejoignez-nous !

Localisation : Toulouse - St Martin du Touch
--
POUR POSTULER :
http://atos.contactrh.com/jobs/547/3784659