Remerciez-le!

Remerciez @Admin pour avoir partagé cet document gratuitement, de la manière la plus simple, en partageant sur les réseaux sociaux.

ALTERNANCE BAC + 5 Master Informatique Parcours Logiciels sûrs L’objectif est d

ALTERNANCE BAC + 5 Master Informatique Parcours Logiciels sûrs L’objectif est de former des étudiants au développement logiciel en leur faisant aborder les différents paradigmes de programmation et méthodes de conception pour les systèmes logiciels, réseau et embarqués et leur apprendre à choisir les bons concepts et les méthodologies adaptées au domaine applicatif. Ces compétences sont complétées par des modules axés sur la modélisation abstraite. Cette dernière est fondamentale pour choisir la représentation des données dans un système d’information, la spécification des traitements à appliquer aux données ou la spécification des contraintes du logiciel, qui sont nécessaires dans le développement de logiciels sûrs. Ces derniers occupent une place fondamentale, notamment dans les secteurs critiques (transport, avionique, spatial, nucléaire) dans lesquels la France est leader mondial. La première année introduit les concepts fondamentaux de programmation, modélisation et d’algorithmique. Elle prépare aux cours plus spécialisés et technologiques de la seconde année. Inscription Candidature à partir du mois de mars : dossier à télécharger ou en ligne sur le site www.u-pec.fr Rentrée en septembre Durée de la formation 2 ans M1 : 450 heures d’enseignement M2 : 429 heures d’enseignement Rythme de l’alternance - 1 semaine à l’université - 1 semaine en entreprise Etablissements partenaires UPEC CFA / CFA SUP 2000 Lieu de formation UPEC - UFR de sciences et technologie Campus Centre 61, av. Général de Gaulle 94010 Créteil cedex Contacts Responsables pédagogiques Master 1 - Benoît Barbot benoit.barbot@u-pec.fr Master 2 - Nihal Pekergin nihal.perkergin@u-pec.fr Référente administrative Asmae Abbad 01 45 17 14 95 asmae.abbad-yazourh@u-pec.fr Bureau d’insertion professionnelle 01 45 17 13 15 baip-sciences@u-pec.fr Débouchés - Chef de projets informatique - Développeur d’application - Ingénieur nouvelles technologies de l’information et la communication - Systémier, concepteur de systèmes critiques - Ingénieur méthode qualité - Ingénieur réseaux et internet Compétences Le diplômé est capable de : - analyser des besoins utilisateurs, - analyser les opportunités et la faisabilité technologique de l’application, - élaborer et rédiger des cahiers des charges, - concevoir une architecture logicielle, - définir des protocoles et des scenarios de test, - intégrer et déployer des solutions, - utiliser des normes de sûreté, - évaluer des risques pouvant intervenir au cours de la réalisation, - définir des schémas d’organisation, des méthodes de travail, des normes et des procédures qualité, - élaborer des éléments de chiffrage (besoins humains, financiers...). Contenu pédagogique - Langages de programmation : Java, J2E, C++, phyton, ocaml, erlang... - Outils de modélisation : Atelier B, Coq, Lustre, Prism, Uppaal - Technologie : test, temps réel, calcul parallèle Public - Master 1 : titulaire d’une licence mention « Informatique » - Master 2 : titulaire d’un master 1 mention « Informatique » Deux types de contrats en alternance : - contrat d’apprentissage (pour les jeunes jusqu’à 30 ans) - contrat de professionnalisation (sans condition d’âge) : formation continue INFORMATIQUE À SAVOIR uploads/Science et Technologie/ fiche-m1-et-m2-logiciels-surs-2020-2021.pdf