Mention Informatique, Spécialité Recherche en Informatique

Présentation

Recherche, Innovation et valorisation scientifique en informatique fondamentale

Compétences attestées

• *  Ecrire et évaluer un article de recherche
• * Réaliser un état de l'art en relation avec un domaine de recherche
• * Développer une expérimentation afin de valider les résultats obtenus
• * Valoriser les résultats d'une recherche en rédigeant des articles de synthèse et de vulgarisation
• Ces compétences sont appliquées à l’informatique fondamentale, et en particulier dans l’un des domaines suivants :
• * algorithmique,
• * automates et langages formels,
• * déduction automatique,
• * combinatoire,
• * calculabilité et complexité,
• * cryptographie,
• * codage et sécurité,
• * logique et sémantique des programmes,
• * système : programmation analyse et vérification.

Voies d'accès

• En contrat de professionnalisation
• Par candidature individuelle
• Par expérience
• Après un parcours de formation sous statut d’élève ou d’étudiant
• En contrat d’apprentissage
• Après un parcours de formation continue

Emplois accessibles

Enseignant-chercheur ou Chercheur en milieu académique ou industriel.

Secteurs d'activité

start-up,  R&D de grandes entreprises, institutions publiques: université, CNRS, INRIA

Réglementations

A compléter (Reprise)

Composition des jurys

Métiers visés (codes ROME)

Informations générales

Code

RNCP25261

Type d'enregistrement

Enregistrement de droit

Date de décision

—

Date d'effet

—

Fin d'enregistrement

31/10/2019