Objectifs par rapport aux acquis d'apprentissage du programme

• Avoir acquis des connaissances hautement spécialisées et intégrées et des compétences larges dans les diverses disciplines des sciences informatiques, qui font suite à celles relevant du niveau de bachelier en sciences informatiques
• Gérer des travaux de recherche, de développement ou d'innovation
• -Etre capable d'appréhender une problématique inédite relevant des sciences informatiques et de ses applications
• -Pouvoir organiser et mener à son terme un travail de recherche, de développement ou d'innovation
• -Rechercher de façon méthodique des informations scientifiquement valides, mener une analyse critique, proposer et argumenter des solutions éventuellement innovantes à des problématiques ciblées
• Maîtriser les techniques de communication
• -Pouvoir communiquer de façon claire, structurée et argumentée, tant à l'oral qu'à l'écrit, ses conclusions, ses propositions originales ainsi que les connaissances et principes sous-jacents
• -Etre capable d'adapter sa communication à des publics divers
• -Le cas échéant, être capable de communiquer dans une langue étrangère
• Développer et intégrer un fort degré d'autonomie
• -Etre capable d'acquérir seul de nouveaux savoirs
• -Poursuivre sa formation et développer de nouvelles compétences de façon autonome
• -Développer et intégrer un fort degré d'autonomie pour pouvoir évoluer dans de nouveaux contextes
• Appliquer une méthodologie scientifique
• -Faire preuve de rigueur, d'autonomie, de créativité, d'honnêteté intellectuelle, de sens éthique et déontologique.
• Compétence 2 : :Avoir acquis les compétences professionnelles en relation avec la finalité définissant le diplôme
• -Etre spécialisé dans au moins un sous-domaine de l'informatique
• -S'initier à la recherche scientifique et au monde de la recherche
• -Pouvoir s'intégrer dans un environnement interuniversitaire et mener des collaborations scientifiques

Acquis d'apprentissage UE

Initiation à la recherche dans le domaine de la vérification assistée par ordinateur

Contenu de l'UE

Lecture approfondie d'articles scientifiques en rapport avec la vérification assistée par ordinateur

Compétences préalables

Avoir une connaissance profonde en informatique et/ou en mathématique. Avoir un goût prononcé pour la recherche

Types d'évaluation Q1 pour l'épreuve intégrée

• Néant

Commentaire sur l'épreuve intégrée Q1

Sans objet

Types d'évaluation Q2 pour l'épreuve intégrée

• Présentation et travaux

Commentaire sur l'épreuve intégrée Q2

Présentation et travaux 100%

Types d'évaluation du Q3 pour l'épreuve intégrée

• Présentation et travaux

Commentaire sur l'épreuve intégrée Q3

Présentation et travaux 100%

Commentaire sur l'épreuve intégrée rattr. Q1

Sans objet