IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)

Solveur de contrainte (h-f)

Midi Pyrénées, Toulouse (31000) - Référence : 194011 12511191
Mis en ligne le 5 février 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 :C/C++, Java, Shell
Envoyer une candidature

Poste à pourvoir

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 :

Vous devrez 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, vous assurerez 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, vous aurez la possibilité de développer des compétences techniques en programmation objet (Java, C++), ainsi que sur les outils de résolution de contraintes sur les modèles.

Profil recherché

De formation Bac + 5 en école d'ingénieur ou université, vous recherchez un stage de fin d'études.
Vous avez une culture informatique de génie logiciel et une bonne connaissance de Java ou de C. 
Vous êtes motivé(e) et rigoureux (se), aimez travailler en équipe et souhaitez vous investir sur un projet. Rejoignez-nous !
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. 
Poste basé à 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.



Pour plus d'informations : atos.net

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

Envoyer une candidature