La voie d'approfondissement (option) se traduit par le choix d'une spécialité. Les spécialités visent à donner au futur chercheur des compétences lui permettant d'entrer plus rapidement dans la problématique de son sujet de thèse. On remarquera toutefois que cette spécialisation reste assez large et que, le sujet de thèse restant à définir, des réorientations sont encore possibles. Une spécialité est matérialisée par :
- un choix restreint de 4 U.E. proposés dans la spécialité ;
- le sujet du stage.
Quatre spécialités sont proposées :
- Systèmes, réseaux et architecture (F1)
- Méthodes Formelles pour le Logiciel (F2)
- Image et intelligence artificielle (F3)
- Informatique et télécommunication (F4)
Ces spécialités ne sont pas étanches : les étudiants peuvent généralement choisir (sur accord du responsable d'une spécialité) de suivre une U.E. hors de leur filière en fonction de leur parcours antérieur et de leur projet de thèse. Les U.E. peuvent être suivies, quel que soit le site ou l'U.E. est dispensée, par l'ensemble des étudiants du Master.
Les options pososées sur Brest sont les suivantes (Pour les détails voir les cours (http://www.irisa.fr/master/modulesenseignes/ue.htm) :
APCO-F1, Architecture, parallélisme et compilation (R. Keryell - ENST Bretagne)
EDOC-F2, Quelques aspects d'ingénierie du document électronique (Y. Haralambous - ENST Bretagne)
LVESER-F3, Languages, vérification et environnement pour les systèmes robotisés (L. Marcé, P. Le Parc, L. Nana - UBO-Brest)
MAC-F3, Modèles et apprentissage des comportements (P. Chevaillier, P. De Loor, J.Y. Guinard - ENIB)
MERV-F3, Modèles, environnements pour la réalité virtuelle distribués (V. Rodin, J. Tisseau, O. Nedellec, R. Querrec - ENIB)
MLSRLN-F3, Modèles logiques des systèmes, du raisonnement et du langage naturel (N. A. Abdallah, A. Pascu, D. Sarni - UBO)
MVSE-F2, Modèles et validation des systèmes embarqués (P. Dhaussy, J. Champeau - ENSIETA)
Les étudiants doivent choisir 4 modules parmis ceux-ci.
