| Lieu de formation : BESANCON Territoire : doubs, jura, territoire de belfort, haute-saone, franche-comté, franche-comte emploi métier : Ingénieur informaticien public admission : validation apprentissage : Niveau I - supérieur à maitrise programme : Master 1ère année Semestre 7 en présentiel : - Compilation - 6 ects - Ingénierie des modèles logiciels - 6 ects - Infographie - 6 ects - Preuve et évaluation de programmes - 6 ects Option pour 6 crédits : - Base de données avancées - 6 ects - Programmation fonctionnelle avancée - 6 ects - Réseaux - 6 ects Parcour Eseignement à distance et en ligne : année 1 Semestre 1 : - Langages du web dynamique - Méthodes et outils pour l'intelligence artificielle Semestre 2 : - Bases de données avancées - Génie logiciel Semestre 8 en présentiel : - Algorithmique combinatoire - 6 ects - Systèmes client / serveur - 6 ects - Génie logiciel - 6 ects - Anglais - 4 ects - Méthodes et outils pour l'intelligence artificielle - 6 ects - Projet : réalisation et exposé - 2 ects Parcours Enseignement à distance et en ligne : année 2 Semestre 1 : - Architectures logicielles à objets - Programmation fonctionnelle avancée Semestre 2 : - Évaluation de programmes - Informatique graphique Master 2ème année Semestre 9 Parcours génie logiciel (recherche) : - Intelligence artificielle pour le génie logiciel - 5 ects - Spécification et vérification de systèmes critiques - 10 ects - Introduction aux problématiques de recherche - 6 ects Options pour 9 crédits : - Automates finis et infinis - 3 ects - Graphe et optimisation - 3 ects - Algèbre de processus - 3 ects - Théorie des files d'attente - 3 ects Parcours génie logiciel (professionnel) : - Développement méthodique de logiciel - 6 ects - Algorithmique distribuée - 6 ects - Ingénierie des protocoles et des applications - 6 ects - Spécification et vérification de systèmes critiques - 6 ects - Intelligence artificielle pour le génie logiciel - 6 ects Parcours systèmes réseaux (recherche) : - Fondements des systèmes distribués et des réseaux - 11 ects - Recherche dans les systèmes distribués - 10 ects Options pour 9 crédits : - Automates finis et infinis - 3 ects - Graphe et optimisation - 3 ects - Algèbre de processus - 3 ects - Théorie des files d'attente - 3 ects Parcours systèmes réseaux (professionnel) : - Développement méthodique de logiciel - 6 ects - Algorithmique distribuée - 6 ects - Ingénierie des protocoles et des applications - 6 ects - Fondements des systèmes distribués et des réseaux - 6 ects - Réseaux avancés - 6 ects Parcours informatique parallèle et systèmes multimédia (Montbéliard) : Option recherche : - Introduction aux problématiques de recherche - Modélisation et évaluation des systèmes informatiques - Calcul distribué - Modélisation des réseaux mobiles et des flux mutlimédia Option professionnelle : - Calcul haute performance - Architectures et calculs distribués - Techniques d'optimisation - Middleware multimédia - Optimisation Réseaux Semestre 10 Parcours génie logiciel (recherche) : - Stage recherche informatique - 30 ects Parcours génie logiciel (professionnel) : - Interface homme-machine - 6 ects - Projet informatique rapport et exposé - 6 ects - Savoirs transversaux - 6 ects - Stage informatique - 12 ects Parcours systèmes réseaux (recherche) : - Stage recherche informatique - 30 ects Parcours systèmes réseaux (professionnel) : - Programmation d'applications distribuées - 6 ects - Projet informatique rapport et exposé - 6 ects - Savoirs transversaux - 6 ects - Stage informatique - 12 ects Parcours informatique parallèle et systèmes multimédia (Montbéliard) : - Stage Option professionnelle : - Réseaux mobiles et flux multimédia - Projet - Unité transversale objectifs : - Acquérir une spécialisation dans les domaines des systèmes et applications distribuées, du développement sûr de logiciel, du parallélisme et des systèmes multimédias - Master recherche : fournir une formation préparatoire aux métiers de la recherche et plus particulièrement au doctorat en informatique - Master professionnel : fournir une formation à finalité professionnelle de haut niveau en génie informatique centre de formation : ( ) centre de formation : UNIVERSITE DE FRANCHE-COMTE adresse : ville : site : Niveau en fin de formation et validation Niveau I - supérieur à maitrise Durée totale de la formation continue : rythme de la formation continue : MASTER INFORMATIQUE | diplome d'ingenieur genie informatique ou mecanique ou syst7mes de production ou systemes de commandes master informatique diplome d'ingenieur informatique option informatique reseaux systemes et multimedia diplome d'ingenieur informatique option informatique systemes d'information |