Stage implémentation d'analyses sémantiques (H/F)

Stage Par Atos
  • Qualité / Sécurité / Hygiène
  • Toulouse
  • A négocier

Description

Site internet: http://www.atos.net

Stage implémentation d'analyses sémantiques (H/F)

Company Information

Atos SE (Société Européenne), est une entreprise leader de services numériques avec un chiffre d'affaires annuel pro forma de l'ordre de 12 milliards d'euros et environ 100 000 collaborateurs dans 72 pays. Atos fournit à ses clients du monde entier des services de conseil et d'intégration de systèmes, d'infogérance, de Big Data et de Sécurité, d'opérations Cloud et des services transactionnels par l'intermédiaire de Worldline, le leader européen et un acteur mondial dans les services de paiement. Grâce à son expertise technologique et sa connaissance sectorielle pointue, Atos sert des clients dans différents secteurs : Industrie, Distribution, Transports, secteur Public, Santé, Services financiers, Télécoms, Défense et Sécurité, Médias et Services.

Atos déploie les technologies qui accélèrent le développement de ses clients et les aident à réaliser leur vision de l'entreprise du futur. Atos est le partenaire informatique mondial des Jeux Olympiques et Paralympiques. Le Groupe est coté sur le marché Euronext Paris et exerce ses activités sous les marques Atos, Bull, Canopy, Worldline, Atos Consulting, Atos Worldgrid et Unify.

Pour plus d'information :fr.atos.net

Job Description

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. Cependant, certaines ne peuvent être automatiquement vérifiées par ces techniques car elles réclament 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.

Au sein de l'équipe de Vérification et validation, vous serez encadré par des experts du développement de greffons FRAMA-C. En collaboration avec eux, vous devrez identifier les moyens et les implémenter dans la technologie du Framework Frama-C. Ceci vous permettra d'employer des analyses sémantiques le plus automatiques possibles pour adresser la vérification de règles de codage non encore automatisées.

Ainsi, vous aurez la possibilité de découvrir les processus de vérification dans le développement des logiciels embarqués d'une part. D'autre part, vous pourrez vous familiariser avec les techniques d'analyse statique avec Frama-C et leur implémentation avec le langage OCaml.

Job Requirements

Actuellement en cours de formation Bac+4/5 en informatique (école d'ingénieurs ou université), vous recherchez un stage de 3 mois minimum, débutant entre Janvier et Mars 2017.

En fonction de la réussite des sujets traités lors de ce stage, une embauche pourra être envisagée en fin de stage, sur le site de votre stage, ou, si vous le désirez, sur l'un des sites Atos en France.

Vous avez le sens du travail en équipe, vous êtes à l'aise à l'oral et maîtrisez l'anglais à l'oral comme à l'écrit ?

Vous avez été formé et vous maîtrisez la plupart des technologies demandées ?

Vous êtes motivé et rigoureux et vous souhaitez vous investir dans un contexte dynamique et innovant ?

Alors ce stage est fait pour vous !

Ce stage se déroulera au sein de l'agence Atos de Toulouse, une ville en pleine expansion grâce à une démographie et à une économie très actives.

Dans ce contexte Atos vous propose un stage attrayant en vous offrant la possibilité d'intégrer un groupe international et de participer à des projets d'envergure innovants. Nos collaborateurs évoluent dans des environnements technologiques de pointe, à vous maintenant de faire le nécessaire pour en faire partie !

Pour nous rejoindre, rien de plus simple : préparez votre CV et votre lettre de motivation puis postulez !

Chez Atos, la diversité est au cœur de notre politique RH. C'est pourquoi nos métiers sont tous accessibles aux personnes en situation de handicap, et ce qu'elle que soit la nature de leur handicap.

Découvrir la Page Entreprise

Ils ont travaillé ici