| Profil détaillé |
Intitulé du poste : Méthodes formelles en Génie Logiciel
Profil Recherche : Méthodes formelles en Génie Logiciel
L'IRIT est engagé depuis de nombreuses années dans des recherches sur l'assistance
au développement de logiciel par l'utilisation de méthodes formelles, notamment dans
le domaine des systemes réactifs et/ou embarqués. Ces travaux ont connu ces dernieres
années un essor important, principalement du aux efforts nécessaires dans le domaine
de la spécification et de la vérification des systèmes informatiques, de plus en
plus omniprésents dans le traitement et l'exploitation de l'information. Ces axes
de recherche prennent ainsi une part importante dans les prospectives de l'IRIT.
Cet état de fait s'est concrétisé pour l'IRIT par sa participation, aux côtés d'industriels
et d'autres laboratoires publics, à des actions régionales (projets Région Midi-Pyrénées,
fédération de recherche FéRIA), nationales (projets RNTL, projets STIC et GDR ALP)
et internationales (projets IST). L'essor des recherches et applications dans le
domaine de la Sûreté de Développement du Logiciel entraine évidemment un besoin accru
en encadrement de jeunes chercheurs dans le domaine.
|