OCamlPro

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

OCamlPro Formation

Informatique, DATA, SIG

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é

Formasuite

Banque, Finance, Assurance • Bureautique, Office • Commerce, Marketing • Comptabilité, Gestion • Digital, Internet • Fonction Publique, Citoyenneté, Droit • Management, Direction • Qualité Hygiène Sécurité Environnement • Ressources Humaines, Paie

Francis Lefebvre Formation

Banque, Finance, Assurance • Commerce, Marketing • Comptabilité, Gestion • Défense, Sécurité, Secourisme • Enseignement, Coaching • Fonction Publique, Citoyenneté, Droit • Immobilier, Urbanisme • Management, Direction • Ressources Humaines, Paie

GERESO - Espace Formation

Banque, Finance, Assurance • Communication, Événementiel • Comptabilité, Gestion • Défense, Sécurité, Secourisme • Développement Personnel, Épanouissement • Enseignement, Coaching • Fonction Publique, Citoyenneté, Droit • Qualité Hygiène Sécurité Environnement • Ressources Humaines, Paie

ADEN Formations

Art, Design, Décoration • Bureautique, Office • Commerce, Marketing • Comptabilité, Gestion • Langues • Management, Direction • Ressources Humaines, Paie • Santé, Médecine • Social, Services à  la Personne

Dawan

Art, Design, Décoration • Bureautique, Office • Commerce, Marketing • Développement Personnel, Épanouissement • Digital, Internet • Industrie, Matériaux, Énergie • Informatique, DATA, SIG • Management, Direction • Réseaux, Telecom

Dalloz Formation

Achat, Logistique • Banque, Finance, Assurance • Commerce, Marketing • Défense, Sécurité, Secourisme • Digital, Internet • Fonction Publique, Citoyenneté, Droit • Immobilier, Urbanisme • Informatique, DATA, SIG • Ressources Humaines, Paie

Chambre de Métiers et de l'Artisanat Hauts-de-France

Animaux, Nature • Art, Design, Décoration • Artisanat, Petit Commerce • BTP, Travaux, Architecture • Commerce, Marketing • Esthétique, Coiffure • Hôtellerie, Restauration, Cuisine • Industrie, Matériaux, Énergie • Transport, Permis

STUDI

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

DGS AREDIL

Art, Design, Décoration • Bureautique, Office • Commerce, Marketing • Développement Personnel, Épanouissement • Digital, Internet • Informatique, DATA, SIG • Langues • Management, Direction • Qualité Hygiène Sécurité Environnement

Haut de page