Ferme la recherche

Master informatique parcours Vérification Logicielle

Descriptif

Session

du 02 sept. 2019 au 26 juin 2020  - Talence (33)
du 02 sept. 2019 au 26 juin 2020  - Talence (33)
Pour connaître les dates des prochaines sessions, veuillez contacter l'organisme de formation

Objectif de la formation

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.

Description de la formation

https://www.u
- bordeaux.fr/formation/2017/PRMA_68/informatique

Donne accès au(x) métier(s) suivant(s)

Direction des systemes d'information (voir la fiche métier)

Etudes et developpement informatique (voir la fiche métier)

Et après la formation ?

Retour à l'emploi des anciens stagiaires

EXCELLENT

Conseils
Les questions à poser avant de choisir un centre de formation
  • Quels sont les profils des anciens stagiaires (niveau de formation, expérience professionnelle) ?
  • Est-il possible de visiter le centre ?
  • Quel type de public accueillez-vous en formation (salariés, demandeurs d’emploi, particuliers) ?
  • Peut-on obtenir une liste de ces anciens stagiaires pour les interroger sur cette formation ?
  • Comment aidez-vous les stagiaires à trouver un emploi ?
Informations pratiques

UNIVERSITE DE BORDEAUX - COLLEGE SCIENCES ET TECHNOLOGIES

Lieu de formation

351 Cours de la Libération
Talence

Cliquez sur ce lien pour calculer votre itinéraire

Centre de formation

351 cours de la Libération Domaine du Haut Carré
33400, Talence

Voir toutes les formations de UNIVERSITE DE BORDEAUX - COLLEGE SCIENCES ET TECHNOLOGIES