OCamlPro Formation - Offres de formation, Apprendre, Se former | MaFormation.fr

OCamlPro

Experts des langages de programmation et méthodes formelles
15 étudiants formés par an
Certifications : Qualiopi
5 professeurs

OCamlPro est un bureau d'étude en développement logiciel, spécialisé dans la théorie et la pratique des langages de programmation. Les activités d'OCamlPro vont du développement d'outils pour les développeurs, de langages pour différents métiers, à la vérification mathématique pour prouver l'absence de bugs (vérification formelle). Cette expertise unique s'applique à tous les langages, des plus élitistes, comme OCaml ou Coq, aux plus modernes, comme Rust, en passant par les plus utilisés, comme COBOL.

Parmi ses success stories, le développement du prototype de la blockchain Tezos, son implication dans les coreteams du compilateur OCaml, mais aussi du compilateur GnuCOBOL, ou encore le développement du vérificateur automatique Alt-Ergo. OCamlPro maintient une culture de l'excellence, qu'elle met en priorité au service des logiciels libres.

Ils ont également consulté

Lexom

Achat, Logistique • Commerce, Marketing • Comptabilité, Gestion • Développement Personnel, Épanouissement • Fonction Publique, Citoyenneté, Droit • Industrie, Matériaux, Énergie • Management, Direction • Qualité Hygiène Sécurité Environnement • Ressources Humaines, Paie

ABC Formation Continue

Art, Design, Décoration • Bureautique, Office • Digital, Internet • Langues

STUDI

Art, Design, Décoration • Banque, Finance, Assurance • Commerce, Marketing • Communication, Événementiel • Comptabilité, Gestion • Fonction Publique, Citoyenneté, Droit • Informatique, DATA, SIG • Management, Direction • Ressources Humaines, Paie

Académie digitale européenne

Banque, Finance, Assurance • Bureautique, Office • Commerce, Marketing • Communication, Événementiel • Comptabilité, Gestion • Digital, Internet • Industrie, Matériaux, Énergie • Informatique, DATA, SIG • Ressources Humaines, Paie

Les Érudits

Art, Design, Décoration • Bureautique, Office • Digital, Internet • Informatique, DATA, SIG • Langues

Almera

Art, Design, Décoration • Bureautique, Office • Commerce, Marketing • Digital, Internet • Enseignement, Coaching • Informatique, DATA, SIG

APCL Formation & Coaching

Art, Design, Décoration • BTP, Travaux, Architecture • Bureautique, Office • Développement Personnel, Épanouissement • Digital, Internet • Informatique, DATA, SIG

A BONNE ECOLE

Bureautique, Office • Commerce, Marketing • Communication, Événementiel • Développement Personnel, Épanouissement • Enseignement, Coaching • Informatique, DATA, SIG • Management, Direction • Ressources Humaines, Paie • Secrétariat, Accueil

ABSUP

Art, Design, Décoration • BTP, Travaux, Architecture • Bureautique, Office • Digital, Internet • Industrie, Matériaux, Énergie • Informatique, DATA, SIG • Langues • Sciences

INFODI

Art, Design, Décoration • Bureautique, Office • Digital, Internet • Industrie, Matériaux, Énergie • Informatique, DATA, SIG • Langues

Studi Digital & Design

Art, Design, Décoration • Commerce, Marketing • Communication, Événementiel • Digital, Internet • Informatique, DATA, SIG • Management, Direction • Réseaux, Telecom

ENACO

Achat, Logistique • Banque, Finance, Assurance • Commerce, Marketing • Communication, Événementiel • Comptabilité, Gestion • Immobilier, Urbanisme • Management, Direction • Ressources Humaines, Paie • Secrétariat, Accueil
Haut de page