personnel de formation
Master 2 Informatique Parcours Vérification Logicielle
UNIVERSITE DE BORDEAUX - COLLÈGE SCIENCES ET TECHNOLOGIES
Objectif Général
Certification
Objectif
Le parcours Vérification Logicielle porte en particulier sur l'utilisation des méthodes formelles dans l'analyse et la vérification du logiciel. Les méthodes formelles sont adoptées de plus en plus dans le contexte industriel, où la fiabilité et la sûreté de programmes devient un critère de qualité essentiel. Les méthodes formelles demandent une formation spécialisée, qui doit se situer à la pointe de la recherche. Ce parcours peut mener à une insertion soit en tant que chef de projet dans une entreprise qui développe du logiciel de haute qualité, soit dans la recherche.
Type
Formation non conventionnée
Financeur
FINANCEMENT INDIVIDUEL
Référence
Sans objet
Organisme responsable et contact
UNIVERSITE DE BORDEAUX - COLLÈGE SCIENCES ET TECHNOLOGIES
NomService formation continue Tél.05.40.00.25.74 Mailformation.continue.st@u-bordeaux.frDispositif
Non conventionnée / sans dispositif
Mesure
Non conventionnée / sans dispositif
Référence organisme
Sans objet
Conditions d'accès réglementaires
Bac+4 dans le secteur d'activité
Sur dossier pour autres diplômes et VAE / VAP
Prérequis pédagogiques
Sans objet
Publics visés
- Demandeur d'emploi
- Jeune de moins de 26 ans
- Personne handicapée
- Salarié(e)
- Actif(ve) non salarié(e)
Type de parcours
Mixte
Parcours de formation personnalisable ?
Oui
Niveau d'entrée requis
Niveau 6 : Licence, licence professionnelle, BUT (Niveau 6 européen)
Sélection
- Dossier
Accessible en contrat de professionnalisation ?
Oui
Modalités d'enseignement (contacter l'organisme)
Sans objet
Validation de la formation
- Master mention informatique | Niveau 7 : Master, diplôme d'études approfondies, diplôme d'études supérieures spécialisées, diplôme d’ingénieur (Niveau 7 européen) | Code Certifinfo n°105773
Programme
https://www.u-bordeaux.fr/formation/2017/PRMA_68/informatique
Suite de parcours possible
Sans objet
Numéro Carif | Dates de formation | Ville | Organisme de formation | CPF | Info | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
00372575Publiée le 19/07/2023 | du 01/09/2023 au 31/08/2024 | Talence (33) | UNIVERSITE DE BORDEAUX - COLLÈGE SCIENCES ET TECHNOLOGIES |
| |||||||
|
Numéro Carif | Dates de formation | Ville | Organisme de formation | CPF | Info | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
00311757Publiée le 30/06/2022 | du 01/09/2022 au 31/08/2023 | Talence (33) | UNIVERSITE DE BORDEAUX - COLLÈGE SCIENCES ET TECHNOLOGIES | Trouver mon code |
| ||||||
| |||||||||||
00229780Publiée le 22/04/2021 | du 31/08/2021 au 31/08/2022 | Talence (33) | UNIVERSITE DE BORDEAUX - COLLÈGE SCIENCES ET TECHNOLOGIES | Trouver mon code |
| ||||||
| |||||||||||
00174078Publiée le 03/12/2019 | du 31/08/2020 au 31/08/2021 | Talence (33) | UNIVERSITE DE BORDEAUX - COLLÈGE SCIENCES ET TECHNOLOGIES | Trouver mon code |
| ||||||
|
Informations sur l'éligibilité au Compte Personnel de Formation (CPF)
Si vous n'avez pas encore ouvert votre compte personnel de formation suivez ce lien
Retrouvez sur le portail national toute l'information pour vous guider
*Pour vous accompagner dans la démarche, prenez contact avec un conseiller en
évolution professionnelle (CEP) plus d'infos
: ouverture de la formation à la candidature à venir
: publié ce jour et ouvert demain pour garantir un accès à la candidature simultanée entre les réseaux de prescripteurs
: ouvert à la candidature
: fermé à la candidature (date limite d'inscription dépassée et/ou plafond des candidatures autorisées atteint)
: formation terminée