Offre d`emploi SafeCode_ALCC

Offre d'emploi - CDD
Laboratoire VALORIA - Equipe ALCC
Cet emploi est proposé dans le cadre de l'ARA SafeCode financée par l'ANR.
L'équipe ALCC du laboratoire VALORIA propose un emploi d'ingénieur expert
ou post-doctorant en CDD d'un an dans le cadre du projet SafeCode
développé en collaboration avec l'UTC de Compiègnes et l'INRETS.
Ingénieur Expert :
“Développement et expérimentation d'un environnement de
test intégré pour Fractal”
Cet emploi est à pourvoir à compter du 1er juin 2008 (éventuellement du 1er
juillet) ; les candidatures doivent parvenir dès que possible.
Emploi ouvert aux néodiplômés.
Mission : “Développement et expérimentation d'un environnement de test
intégré pour le framework de composants Fractal, dans le cadre du projet
SafeCode”
Niveau requis : minimum Master-Pro en informatique, ingénieur ou Docteur
en Informatique
Rémunération : grille standard de la fonction publique suivant niveau
d'embauche
Lieu : Université de Bretagne Sud (Bâtiment recherche - CRYC - site de
Vannes)
Date de début de mission : 1er juin 2008
Contact : Daniel Deveaux ([email protected])
Responsable du laboratoire : Pierre-François Marteau
([email protected])
Contexte
Le projet SAFECODE est une ARA (Action de Recherche Amont) agrée en 2005 par
l'ANR qui réunit le laboratoire Heudiasyc de l'UTC, l'INRETS-ESTAS (Institut National de
Recherche sur les Transports et leur Sécurité) et l'équipe ALCC du laboratoire Valoria.
Ce projet vise à poser les bases d’une ingénierie formelle des exigences de sûreté de
fonctionnement pour l’obtention de composants logiciels sûrs. Celle-ci se traduit par un
processus qui, partant de l’élicitation des exigences de sûreté, prend en compte leurs
transformations, leur traçabilité et leurs vérifications tout au long du cycle logiciel. Les
composants logiciels sûrs (contractualisés et auto-testables) seront les artefacts d’un
raffinement (MDE, B) à partir d’une représentation semi-formelle.
Dans ce cadre, l'équipe ALCC est plus particulièrement responsable d'étudier et
d'expérimenter la phase finale du processus, l'implantation sur un framework de
composants. La spécification d'un “framework de test embarqué basé sur les contrats”
Copyright © 2008 -- UBS-Valoria-ALCC
Maj 2008-04-28
1 of 2
2008-04-28 16:20
(CBBT : Contract Based Built-in Test) pour l'environnement de composants Fractal a été
faite et validée ; il s'agit maintenant d'en faire une implantation opérationnelle et de
l'expérimenter sur le cas de test du projet Safecode, un modèle de contrôle de passage à
niveau.
Mission et activités
Le poste est ouvert au niveau Master, ingénieur ou en post-doc ; la mission centrale est
une activité de développement et d'expérimentation en Java sur le framework de
composants Fractal. En fonction de sa qualification et de son niveau d'implication, la
personne recrutée pourra prendre une part plus ou moins importante dans les activités
scientifiques du projet : aspects liés à la modélisaton, à la vérification formelle (en B), à la
génération des tests, etc.
Une part de l'activité sera également consacrée à la documentation, à la rédaction de
rapports et, éventuellement de publications scientifiques. Pendant la période d'emploi,
plusieurs échanges avec les partenaires auront lieu et la participation à des colloques
scientifiques est envisageable.
Compétences attendues
Savoir
bonne connaissance de la
conception et de la
programmation par objets
maîtrise du langage java
et de UML2
connaissance de
l'environnement Fractal
souhaitée
une base de formation sur
les approches formelles
serait un plus apprécié
Savoir-faire
autonome pour le
développement et la mise
au point en Java
bonne pratique de la
gestion de projets et des
outils associés (SVN, Trac,
etc)
rédaction de rapports et de
présentations
anglais lu, écrit et parlé
Savoir-être
s'agissant d'un projet de
recherche, il faut avant
tout être curieux et
imaginatif
autonomie dans le travail
associée à une bonne
intégration dans un groupe
bonne maîtrise des
techniques de travail
coopératif à distance.
Toutes informations sur notre site web
http://www-valoria.univ-ubs.fr/ALCC/jobs.fr.phtm
2 of 2
2008-04-28 16:20