Proposition de stage ingénieur au sein de l’Institut de Recherche en Communications et Cybernétique de Nantes
Ce blog étant par essence plutôt porté vers des considérations culturelles, le présent message s’auto-détruira dans quelques semaines. Mais d’ici là, et sachant que certains de mes lecteurs sont des personnes pouvant être intéressées par le fait de relayer une telle annonce, je reproduis ici l’offre de stage que je propose au sein de mon équipe de recherche.
Proposition de stage ingénieur au sein de l’Institut de Recherche en Communications et Cybernétique de Nantes
Contexte
Un des pôles de l’équipe MOVES (Modélisation et Vérification des Systèmes Embarqués) de l’IRCCyN (Institut de Recherche en Communications et Cybernétique de Nantes) se focalise sur l’étude des réseaux de régulation génique à l’aide de formalismes et de méthodologies issues de la vérification formelle. Ces travaux font actuellement l’objet d’une collaboration, tant théorique que pratique, avec le LINA sous l’égide de la fédération AtlanSTIC. Dans ce cadre, plusieurs prototypes de logiciels ont vu le jour afin d’étudier les comportements des systèmes biologiques étudiés. En outre, de nouvelles perspectives se font jour, à travers l’utilisation du pi-calcul stochastique pour la modélisation des réseaux de régulation : en la matière, un interfaçage efficace avec le logiciel libre SPIM est à prévoir.
Objectif
L’objectif du projet est de proposer et d’implanter un framework commun aux différents programmes développés au sein de l’équipe MOVES. Ce travail de conception et de programmation vise à contribuer à l’émergence d’un atelier logiciel nantais efficace pour l’édition, la manipulation et l’analyse des réseaux de régulation génique.
Travail à réaliser
Le travail consiste en :
- l’établissement d’un framework commun aux différents logiciels jusqu’alors développés au sein de l’équipe MOVES sur l’analyse des réseaux de régulation génique ;
- l’amélioration des interfaces graphiques déjà existantes ;
- si le temps restant le permet, la création et la mise en ligne d’un site web dédié au framework ainsi résultant.
Prérequis techniques
Le stage s’adresse à des élèves-ingénieurs de niveau Bac+4 ou Bac+5. Une bonne connaissance de la programmation informatique en C/C++ et Java est requise.
Environnement et conditions de travail
L’équipe MOVES de l’IRCCyN est composée de trois enseignants-chercheurs permanents, d’un enseignant-chercheur temporaire et de cinq doctorants. Le sujet s’intègre dans plusieurs projets en collaboration avec des établissements de la région Pays de la Loire et des organismes de recherches français et allemands.Le stage durera 4 mois et sera rémunéré sur la base d’environ 640 euros bruts par mois. Il démarrera entre le 1er avril et le 1er juin 2009.
Encadrant principal et contact
Morgan Magnin, maître de conférences à l’École Centrale de NantesMail : morgan.magnin at irccyn.ec-nantes.fr
Sama It!