Sciences, Technologies, Santé, Mention INFORMATIQUE, Spécialité ALGORITHMES ET METHODES FORMELLES

Ce pofessionnel : Modélise et forme des problèmes en vue leur résolution informatique Conçoit des algorithmes Analyse, concotr et développe des logiciels. Conçoit des logiciels sûrs et assure la vérification de ces derniers.

Compétences ou capacités attestées Le diplômé possède des compétences transversales, acquises dans un contexte général de formation universitaire et des compétences scientifiques spécifiques, acquises au cours de sa formation en informatique. Trois niveaux de mise en oeuvre sont précisés ci-dessous : I = avec encadrement ; II = en autonomie ; III = avec capacité à transmettre, voire à innover. Compétences transversales : organisationnelles et relationnelles - Réaliser une étude, scientifique ou non, en vue d'une évaluation, d'un développement, d'une conception, d'une application, en vue de tester ou d'élaborer une modélisation (III) : poser une problématique en tenant compte du contexte et des objectifs, construire et développer une argumentation, réaliser l'action, interpréter les résultats, élaborer une synthèse, évaluer l action et proposer des prolongements. - Réaliser un cahier des charges en tenant compte des besoins du client et des contraintes temporelles, humaines et économiques (II). - Communiquer (II) : rédiger clairement, préparer des supports de communication en utilisant diverses techniques (rapport, diaporama, note de synthèse, poster), et les commenter pour un public, averti ou non, en français voire en anglais (compréhension et expression écrites et orales). - Réaliser et produire des données, des études, des logiciels, en équipe (II). - Respecter l' éthique scientifique en toutes circonstances, sur la base des principes déontologiques développés traditionnellement dans le cadre universitaire (II). - S'intégrer dans une entreprise ou un laboratoire (stage de 6 mois effectué lors du dernier semestre de la formation) (II). Compétences scientifiques : générales et spécifiques - Concevoir une modélisation informatique pour tous types de problèmes (III) - Concevoir et développer des algorithmes pour la résolution automatique de tous types de problèmes (III) - Maîtriser les concepts de différents styles de programmation (programmation impérative, fonctionnelle, logique et orientée objet) (II). - Savoir choisir les structures de données en particulier les graphes et maîtriser leur algorithmique (II) - Savoir spécifier et vérifier un système informatique (II) - Connaître le fonctionnement du routage dans les réseaux (I) - Savoir visualiser des données complexes (I) - Comprendre les structures combinatoires en bio-informatique (I) - Connaître des modélisations informatiques du langage naturel (I)

Secteurs d'activité des diplômés : Sciences et technologies (Informatique), Education et recherche (Enseignement, Formation, Recherche) Les diplômés exercent leur activité en particulier dans des laboratoires de recherche publics ou privés, dans les services informatiques de toute entreprise. Les secteurs les plus concernés sont la vérification de programmes, la bio-informatique, la visualisation de données complexes, le traitement automatique du langage naturel, l'algorithmique distribuée.

Liste de métiers : Directeur des ressources informatiques/ Responsable informatique Directeur études et développement Directeur de systèmes d'informations/ Architecte systèmes d'information Chef de projets informatiques Études et développement en informatique Architecte conception/ Expert en développement Informatique scientifique Informatique industrielle / Temps réel / Embarqué Métiers de la production et de l'exploitation informatique / Déploiement Développeurs / Analystes programmeurs Cadre, chargé d'études scientifiques, consultant en Sciences et technologies Chercheur en Sciences et technologie Consultant et expert en Sciences et technologies Ingénieur et cadre technique en études et développement en Sciences et technologies Ingénieur mathématicien, ingénieur informaticien, météorologue Chargé d'études en Sciences et technologies Cadre spécialiste de la formation Formateur et animateur de formation continue