Stage de programmation par contraintes

  • Par Atos
  • Stage
  • Toulouse (Haute-Garonne)
  • Système d'information / Urbanisation des SI
2017-04-12T17:13:47+0000

Description de l'offre

Company Information

Atos est un leader international de la transformation digitale avec environ 100 000 collaborateurs dans 72 pays et un chiffre d'affaires annuel de l'ordre 12 milliards d'euros. Numéro un européen du Big Data, de la Cybersécurité, des supercalculateurs et de l'environnement de travail connecté, le Groupe fournit des services Cloud, solutions d'infrastructure et gestion de données, applications et plateformes métiers, ainsi que des services transactionnels par l'intermédiaire de Worldline, le leader européen des services de paiement. Grâce à ses technologies de pointe et son expertise digitale & sectorielle, Atos accompagne la transformation digitale de ses clients dans les secteurs Défense, Finance, Santé, Industrie, Médias, Énergie & Utilities, Secteur Public, Distribution, Télécoms, et Transports. Partenaire informatique mondial des Jeux Olympiques et Paralympiques, le Groupe exerce ses activités sous les marques Atos, Atos Consulting, Atos Worldgrid, Bull, Canopy, Unify et Worldline. Atos SE (Societas Europea) est une entreprise cotée sur Euronext Paris et fait partie de l'indice CAC 40.

Pour plus d'information : fr.atos.net

Job Description

La programmation par contraintes est une technique de programmation de plus en plus utilisée en informatique, et plus particulièrement en intelligence artificielle.
Le développement de logiciels avioniques fait intervenir un très grands nombre de 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.

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 de 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, vous devrez 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.

Profil recherché

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.

Au sein de l'équipe méthode et outils, vous aurez la possibilité de développer vos compétences techniques en programmation objet (Java, C++), ainsi que sur les outils de résolution de contraintes sur les modèles.En fonction de la réussite des sujets traités lors de ce stage, une embauche pourra être envisagée.

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.

Voici d'autres offres qui pourraient te plaire

Reçois les offres qui te correspondent par email !
Des milliers de jobs sont disponibles pour toi sur Wizbii :)

À propos de Atos

A propos d'Atos

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

About Atos

Atos SE (Societas Europaea) is a leader in digital services with pro forma annual revenue of circa € 12 billion and circa 100,000 employees in 72 countries. Serving a global client base, the Group provides Consulting & Systems Integration services, Managed Services & BPO, Cloud operations, Big Data & Cyber-security solutions, as well as transactional services through Worldline, the European leader in the payments and transactional services industry. With its deep technology expertise and industry knowledge, the Group works with clients across different business sectors: Defense, Financial Services, Health, Manufacturing, Media, Utilities, Public sector, Retail, Telecommunications, and Transportation.

Atos is focused on business technology that powers progress and helps organizations to create their firm of the future. The Group is the Worldwide Information Technology Partner for the Olympic & Paralympic Games and is listed on the Euronext Paris market. Atos operates under the brands Atos, Atos Consulting, Atos Worldgrid, Bull, Canopy, Unify and Worldline.

For more information, visit: atos.net

1437 jobs disponibles chez Atos

Trouve ton futur job sur Wizbii,
la 1ère plateforme professionnelle pour l’emploi des jeunes

Offres d'emploi

Ton job dans la poche
Télécharger