Industrialisation de l'outil frama-c h/f

Le développement de logiciel embarqué  en langage C requiert l'utilisation d'outils de contrôle du logiciel produit à un grand nombre de phases du développement logiciel. Parmi ces outils de contrôle, le logiciel frama-c http://frama-c.com/ a besoin d'être présent au plus près du développeur tout au long du cycle de développement.

Vous serez en charge de collecter, capitaliser sur les expériences existantes, définir le besoin puis réaliser une distribution performante et évolutive de l'outil frama-C s'intégrant dans les moyens de développement d'une majorité d'utilisateurs.


Vous aurez la possibilité de définir un produit complet en spécification puis de mener à bien sa réalisation en s'interfaçant avec des utilisateurs de l'outil frama-C et de ses multiples possibilités. Les techniques récentes de virtualisation type Docker seront utilisées afin de fournir une application que les utilisateurs pourront utiliser de manière la plus efficace possible.

Vous intégrerez l'équipe Methods and Tools Atos Toulouse et pourrez compter sur l'aide d'experts de l'outil frama-c dans la réalisation de votre travail.

De formation Bac + 5 en cours de validation avec une culture informatique de génie logiciel, vous recherchez un stage de fin d'études.
Vous avez une bonne connaissance de l'administration Linux, les techniques de virtualisation légères (Docker), l'atelier de développement Eclipse/Topcased.

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.

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'informations : atos.net

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