Stage Solveur de contrainte (h-f)

Description de l'offre

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 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.
Apply for this job
Back to search results