Analyse sémantique automatique h/f
Midi Pyrénées, Toulouse (31000) - Référence : 194004 12454767
Mis en ligne le 29 janvier 2016 par Atos-Recrutement (+ d'offres)
Atos
Type de contrat :Stage
Métier :Responsable des études
Type d'entreprise :Autre type d'entreprise (client final)
Localisation :Midi Pyrénées, Toulouse (31000)
Salaire :12 000 €/an
Compétences requises :Gestion de projet
Poste à pourvoir
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.
Vous serez en charge d'identifier les moyens et de les implémenter dans la technologie du Framework Frama-C. Cette implémentation permettra d'employer des analyses sémantiques les plus automatiques possibles pour adresser la vérification de règles de codage non automatisées.
Objectifs pédagogiques :
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 vous familiariserez avec les techniques d'analyse statique avec Frama-C et leur implémentation avec le langage OCaml.
Environnement technologique et fonctionnel :
Vous intégrerez l'équipe de Vérification et validation et serez encadré par des experts du développement de greffons FRAMA-C.
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.
Vous serez en charge d'identifier les moyens et de les implémenter dans la technologie du Framework Frama-C. Cette implémentation permettra d'employer des analyses sémantiques les plus automatiques possibles pour adresser la vérification de règles de codage non automatisées.
Objectifs pédagogiques :
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 vous familiariserez avec les techniques d'analyse statique avec Frama-C et leur implémentation avec le langage OCaml.
Environnement technologique et fonctionnel :
Vous intégrerez l'équipe de Vérification et validation et serez encadré par des experts du développement de greffons FRAMA-C.
Profil recherché
De formation Bac + 5 en cours de validation avec une culture informatique de génie logiciel, une connaissance des techniques d'analyse statique et de la programmation OCaml, vous recherchez un stage de fin d'études.
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.
Chez Atos, la diversité est au coeur 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.
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.
Chez Atos, la diversité est au coeur 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.
Description de la société
Atos SE (Société Européenne), est une entreprise leader de services numériques avec un chiffre d'affaires annuel de 11 milliards d'euros et 93 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 et de BPO, de Big Data et de Cyber-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 : Défense, Services financiers, Santé, Industrie, Médias, Services aux collectivités, secteur Public, Distribution, Télécoms et Transports.
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, Atos Consulting, Atos Worldgrid, Bull, Canopy, Worldline.
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.
Pour plus d'information : atos.net
Site web : http://www.atos.net
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, Atos Consulting, Atos Worldgrid, Bull, Canopy, Worldline.
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.
Pour plus d'information : atos.net
Site web : http://www.atos.net