**************** 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 Analyses sémantiques automatiques pour règles de codage
Date début: 19/06/2013
Durée : 6mois.
Localisation : Toulouse(31000), France
Description: Caractéristiques du poste


Contexte :La plupart des règles de codage peuvent être vérifiées sur un programme par des analyses plus ou moins sophistiquées de son arbre syntaxique.
Mais certaines ne peuvent être automatiquement vérifiées par ces techniques car réclamant de connaitre les valeurs possibles des paramètres (vérification sur les valeurs des index de tableau, par exemple). Nous entrons là dans le domaine des analyses sémantiques dont l'automaticité n'est pas acquise.
Mission :
L'objectif de ce stage est d'identifier les moyens et de les implémenter dans la technologie du Framework Frama-C, permettant d'employer des analyses sémantiques le plus automatiques possibles permettant d'adresser la vérification de règles de codage non encore automatisées.

Objectifs pédagogiques :
Le stagiaire aura la possibilité de découvrir les processus de vérification dans le développement des logiciels embarqués d'une part. D'autre part, il se familiarisera avec les techniques d'analyse statique avec Frama-C et leur implémentation avec le langage OCaml.
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.
Profils recherchés: Profil


De formation Bac + 5 avec une culture informatique de génie logiciel, une connaissance des techniques d'analyse statique et de la programmation OCaml. 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/3959407