RNCP19806
Inactive
· Niveau 7
Master Informatique spécialité Logiciels:Méthodes Formelles et Ingénierie
Certificateur · Ministère de l'Enseignement Supérieur
L'essentiel
Nomenclature du niveau de qualification
Niveau 7
Code(s) NSF
Formacode(s)
—
Date d'échéance de l'enregistrement
31-10-2019
Certificateur(s)
Nom légalSIRETSite
Résumé de la certification
Objectifs et contexte
A compléter (Reprise)
Activités visées
La spécialité Logiciels : Méthodes Formelles et Ingénierie (LMFI) propose un parcours à vocation professionnelle, Ingénierie Logicielle (IL), et un second à vocation recherche, Méthodes Formelles (MF), avec un haut niveau d’enseignement méthodologique, technologique et métier, focalisé sur les aspects fondamentaux liés à la modélisation, le développement et la validation/certification de systèmes informatiques. En ce qui concerne les aspects appliqués, elle focalise sur les services et applications Web et leur sécurité, sur la construction et la collaboration de composants distribués, en insistant sur l'utilisation d'outils de développement formel dans le processus de développement de ces applications.
Le parcours IL a pour objectif de former des spécialistes de niveau ingénieur en conception, développement et déploiement de logiciels de grande taille, hétérogènes et distribués. Plus particulièrement, ce parcours forme des experts capables d’analyser et de mettre en œuvre des produits logiciels tout en maîtrisant les coûts, la sécurité et la qualité.
Le parcours MF vise à donner aux futurs professionnels une formation solide pour la conception de logiciels sûrs, fiables et robustes ainsi qu'aux méthodes formelles et outils informatiques associés actuels ou en cours d'élaboration.
Compétences attestées
Les enseignements proposés couvrent des compétences à la fois larges et pointues, rendues indispensables par la complexité grandissante des applications logicielles. La formation vise à faire acquérir la maîtrise de concepts, de méthodes formelles et de techniques de pointe (objets, composants, distribution, services, ingénierie des connaissances, etc.) ainsi que l’acquisition de compétences nécessaire à la gestion de projet et de la qualité (méthodes agiles, certification, validation, etc.).
La spécialité Logiciels : Méthodes Formelles et Ingénierie (LMFI) offre une formation approfondie, fondamentale et appliquée, fournissant les concepts et les outils méthodologiques, technologiques et métiers nécessaires à la conception, développement et déploiement de logiciels de grande taille, hétérogènes et distribués. Les compétences fournies concernent aussi bien les métiers de la recherche que ceux de l’ingénierie :
· Bonne connaissance des méthodologies permettant la conception et le développement de logiciels de grande taille qui correspondent aux besoins des leurs utilisateurs, sont fiables et évolutives ;
· Bonne connaissance des outils mathématiques et informatiques de modélisation formelle, d’analyse et de vérification des programmes et systèmes matériels parallèles et réactifs, c’est à dire qui interagissent de manière continue avec leur environnement ;
· Bonne connaissance des concepts et mécanismes autour de la sécurité des systèmes à la fois pour l’aspect applicatif/ressources (sécurisation des ressources et des services) et pour les aspects transport (échange de messages – protocoles) et réseau ;
Bonne connaissance des méthodes et les outils de validation et de leur interaction avec les techniques de vérifications dans le processus de développement de logiciels critiques ;
Bonne connaissance des concepts, des techniques et de l’architecture des systèmes de gestion des bases de données distribuées ;
· Bonne connaissance des méthodes scientifiques pour analyser des masses de données, les exploiter, en extraire des informations et produire des synthèses pertinentes ;
· Bonne connaissance du monde de l’entreprise ;
· Capacité à gérer des projets informatiques ;
· Capacité à explorer une nouvelle problématique et à développer des approches de modélisation et de résolution adaptées voire innovante ;
· Capacité à communiquer (notamment en anglais).
Secteur d'activité et type d'emploi
Secteurs d'activités
PME / PMI ; Sociétés de service en informatique ; Sociétés de conseil ; Entreprises industrielles ; Départements d’étude, de recherche ou développement des entreprises, des administrations ou des établissements publics ou privés ; centre de recherche ; enseignement supérieur.
Types d'emplois accessibles
Consultant décisionnel (BI) ;
Analyste décisionnel (BI) ;
Administrateur d’entrepôts de données ;
Ingénieur en informatique responsable de projet décisionnel ;
Chercheur en Informatique (recherche fondamentale, recherche appliquée, recherche et développement) ; Ingénieur recherche et développement en informatique;
Cadre « Ingénieur informaticien » spécialisé dans l'utilisation de l'informatique pour aborder des problèmes industriels, économiques et sociaux.
Métiers visés (ROME)
Références juridiques des réglementations d'activité
A compléter (Reprise)
Tensions de recrutement · DARES 2024
Niveau de tension : Très élevée (5/5) en tension
Principaux facteurs : Manque de main-d'œuvre disponible et Lien formation-emploi.
2 908 €
salaire médian (mensuel)
Diplôme le plus fréquent : Diplôme de niveau bac+5 ou plus (doctorat, master ou équivalent) en communication et information (41 % des actifs en emploi).
Mesuré au niveau de la famille professionnelle : 6 familles professionnelles (nomenclature FAP). Ces familles ne sont pas au même niveau de tension (de 2 à 5 sur 5) : le niveau affiché est une moyenne pondérée par l'emploi, à ne pas attribuer à chacune d'elles.
-
M1X80— Techniciens d'étude et de développement en informatique tension 4/5 (Élevée) -
M2X90— Ingénieurs et cadres d'étude, recherche et développement en informatique et télécom tension 5/5 (Très élevée) -
M2X93— Experts et consultants en systèmes d'information tension 5/5 (Très élevée) -
N0X70— Techniciens d'étude, recherche et développement tension 5/5 (Très élevée) -
N1X90— Ingénieurs et cadres d'étude, recherche et développement (industrie) tension 5/5 (Très élevée) -
N1X91— Chercheurs (sauf industrie et enseignement supérieur) tension 2/5 (Faible)
Indicateur de tension sur le marché du travail 2024 — DARES / France Travail. Les indicateurs sont publiés par famille professionnelle (FAP), pas par métier ROME : ils couvrent l'ensemble des métiers de ces familles.
Marché du travail · BMO 2026
Toute la France
Île-de-France 21 666
Auvergne-Rhône-Alpes 5 649
Occitanie 4 748
Provence-Alpes-Côte d'Azur 3 748
Pays de la Loire 2 705
Nouvelle-Aquitaine 2 512
Hauts-de-France 2 281
Bretagne 1 945
Grand Est 1 826
Normandie 1 184
Centre-Val de Loire 939
Bourgogne-Franche-Comté 819
La Réunion 65
Guadeloupe 36
Guyane 28
Corse 28
Mayotte 19
Martinique 13
50 211
projets de recrutement
49 %
jugés difficiles à recruter
3 %
emplois saisonniers
Mesuré au niveau de la famille professionnelle : 7 familles professionnelles (nomenclature FAP).
-
M1X80— Techniciens d'étude et de développement en informatique -
M2X90— Ingénieurs et cadres d'étude, recherche et développement en informatique et télécom -
M2X93— Experts et consultants en systèmes d'information -
N0X70— Techniciens d'étude, recherche et développement -
N1X90— Ingénieurs et cadres d'étude, recherche et développement (industrie) -
N1X91— Chercheurs (sauf industrie et enseignement supérieur) -
W0X92— Professeurs du supérieur
Enquête Besoins en Main d'Œuvre (BMO) 2026 — France Travail (open data), cumul national. Les indicateurs sont publiés par famille professionnelle (FAP), pas par métier ROME : ils couvrent l'ensemble des métiers de ces familles.
Voie d'accès à la certification
Voie d'accèsOuverte
Formation initiale
Oui
Formation continue
Oui
Apprentissage
Oui
Contrat de professionnalisation
Oui
Candidature individuelle
Non
VAE
Oui
Prérequis à l'entrée
A compléter (Reprise)
Composition du jury — Formation initiale, Formation continue, Contrat de professionnalisation
Enseignants et professionnels ayant contribué aux enseignements (loi n° 84-52 du 26/01/1984 modifiée sur l'enseignement supérieur)
Composition du jury — Apprentissage
Pour le parcours IL: Enseignants et professionnels ayant contribué aux enseignements (loi n° 84-52 du 26/01/1984 modifiée sur l'enseignement supérieur)
Composition du jury — VAE
Jury d’enseignants et de professionnels, selon composition votée par le Conseil d’administration de l’Université de Lorraine
Base légale
Date d'échéance31-10-2019