Amine Raji, doctorant à l'ENSTA Bretagne (pôle STIC) a été récompensé à l'occasion des Doctoriales 2010.

"Le prix que j'ai reçu récompense le travail de présentation de mes travaux de thèse à travers un poster réalisé pour les doctoriales de Bretagne dans leurs 12ème édition à Saint-Brieuc du 13 au 17 décembre 2010.
Au total, 9 doctorants sur 96 ont été sélectionnés par scrutin pour présenter leurs travaux de thèses devant un comité de jury au cours de la soirée poster des doctoriales. Aussi, nous avons été sollicités pour présenter nos travaux au sein de l'espace des sciences à Rennes devant un public de visiteurs le jeudi 2 décembre 2010.

Mes travaux de thèse portent sur le domaine du développement de logiciels en contexte industriel. Plus particulièrement, je m'intéresse aux logiciels destinés aux systèmes embarqués et la manière avec laquelle on pourrait augmenter leurs fiabilités.
En d'autres termes, ma thèse se focalise sur la proposition d'une méthodologie permettant d'intégrer les techniques de vérification dites formelles au processus de développement de logiciels. Cela se traduit par une approche outillée qui facilitera aux ingénieurs leurs démarches de vérification afin de réduire le temps nécessaire aux activités de validations, et par la suite, de réduire les coûts de développement pour les industriels.

Les doctoriales représentent un temps unique de rencontre entre les jeunes chercheurs et des acteurs socio-économiques. Mes attentes de cette rencontre sont triples : tout d'abord, ils me permettront de communiquer sur les travaux que je mène dans le cadre de ma thèse à un public de non-spécialistes issu de disciplines diverses. Ensuite, d'avoir une idée plus précise de l'après-thèse et des opportunités qui peuvent se présenter pour un jeune docteur. Et enfin, de consolider mes connaissances du statut de docteur et des contributions qu'il pourrait apporter dans le secteur économique surtout en terme d'innovation et de création d'entreprise.

Amine Raji aux Doctoriales 2010