Université Bordeaux 1 - Master S&T Informatique - Spécialité Ingénierie des Systèmes Critiques
Le Curriculum Vitae
Il doit mentionner en clair :
- Master Informatique
- Spécialiste Ingénierie des Systèmes Critiques
Le lecteur du CV n'est pas forcément au fait de l'Ingénierie des Systèmes Critiques. Il faut donc lui expliquer en quelques lignes ce dont il s'agit.
Vous êtes donc spécialistes en techniques formelles. Les techniques formelles étant des techniques rigoureuses pouvant s'intégrer à divers endroits dans le cycle de développement des systèmes. Elles ont pour objectif d'augmenter la confiance dans la conception et/ou l'analyse des systèmes, afin soit de garantir certaines propriétés dans le cas de système critiques, soit de diminuer des coûts de maintenance évolutive.
Vous devez précisez vos compétences :
- Bac + 4 (Master 1 Informatique) : votre formation initiale est en informatique, et vous permet donc de faire du développement (C, C++, ...), des bases de données, ...
- Spécialiste Ingénierie des Systèmes Critiques : En fonction de vos ues
- CF : Méthodologie d'utilisation des techniques formelles.
- FDS : Un panorama des modèles, langages et outils utilisés.
- LC : Les formalismes pour exprimer les propriétés (sûreté, vivacité) des cahiers des charges.
- MSSDF : Vous pouvez parler de Sûreté de fonctionnement.
- QFL : Vous pouvez parler de génération automatique de tests et des normes logicielles.
- TV : L'algorithmique et les structures de données utilisées dans les outils.
- Généraliste : Anglais, Communication, Gestion des entreprises ...
La lettre de motivation
Elle doit être adaptée à chaque stage, en fonction de l'entreprise, du type de stage, de vos compétences et de vos aspirations.
Veuillez reporter toute erreur ou omission à Alain Griffault.
Dernière mise à jour effectuée le 24 octobre 2008.