**************** 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 Mise en oeuvre de solveur de contraintes dans un outil de lissage
Date début: 19/06/2013
Durée : 6mois.
Localisation : Toulouse(31000), France
Description: Caractéristiques du poste


*Contexte :*


La programmation par contraintes est une technique de programmation de plus en plus utilisée en informatique, et plus particulièrement en intelligence artificielle. Sa technique ne réside pas dans l'élaboration d'un algorithme de calcul de solutions construit à partir des données d'un problème, comme c'est souvent le cas dans la programmation classique, mais dans une déclaration de prédicats appelés contraintes qui sont fournis à un moteur de recherche censé explorer un domaine prédéfini de possibilités pour extraire celles qui satisfont aux contraintes. Ces possibilités extraites sont les solutions du problème.
Le développement de logiciels avioniques fait intervenir un très grands de nombres fonctions qu'il convient de séquencer dans un ordre précis tout en respectant des contraintes temporelles et d'occupation de bande-passante fortes. Dans un tel contexte, le recours à un solveur de contrainte serait un réel atout en vue de l'optimisation du processus industriel.


Mission :

Il s'agit dans un premier temps modéliser le problème, puis évaluer les possibilités et performances de logiciels type solveurs de contraintes (tels que Gecode, Choco, eclipseclp, ...) pour déterminer les séquences d'exécution de code qui satisfont au mieux les contraintes temporelles et de bande-passante. L'utilisation des ces outils passe par une phase préalable de modélisation du problème et des contraintes dans le langage de l'outil de type prédicat.

Dans un second temps, le candidat devra assurer l'intégration du solveur de contraintes dans un environnement représentatif d'une utilisation projet.*


Environnement technologique et fonctionnel :
Java, C/C++, Shell (Python serait un plus), programmation par contraintes.
*


Objectifs pédagogiques :
Evoluant au sein de l'équipe méthode et outils, le candidat aura la possibilité de développer ses compétences techniques en programmation objet (Java, C++), ainsi que sur les outils de résolution de contraintes sur les modèles.

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 2012 (dates variables selon l'école), en alternance ou à temps complet. Une première connaissance des langages Java, C. Une initiation aux techniques de programmation par contraintes 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
Postuler pour ce poste

Envoyez cette offre à un ami
Retour à la liste des offres
Profils recherchés: -
--
POUR POSTULER :
http://atos.contactrh.com/jobs/547/3959409