OCAMLPRO(531468429)
OCAMLPRO est une programmation informatique, fondée en 2011 et basée à Gif-sur-Yvette (91).
A propos de OCAMLPRO
OCamlPro est une SAS créée en avril 2011 et immatriculée sous le SIREN 531 468 429, dont le siège est à Gif‑sur‑Yvette (6 allée de la Croix Saint Pierre). L'entreprise propose des prestations de programmation informatique et de développement logiciel, avec des expertises en optimisation, méthodes d'optimisation d'usines, vérification formelle et exécution symbolique de programmes WebAssembly. OCamlPro se présente comme une spin‑off de l'INRIA et publie des offres de stages et services industriels via son site officiel ocamlpro.com.
Domaines d'expertise
- OCaml
- WebAssembly (Wasm)
- exécution symbolique
- optimisation
- vérification formelle
Technologies
- OCaml
- WebAssembly (Wasm)
- exécution symbolique
- optimisation
- vérification formelle
Identité légale de OCAMLPRO
Données officielles issues du répertoire SIRENE de l'INSEE.
| SIREN | 531468429 |
|---|---|
| Forme juridique | SAS |
| Code NAF / APE | 62.01Z — Programmation informatique |
| Année de création | 2011 |
| Adresse du siège | 2 ROUTE DE LA NOUE, 91190 Gif-sur-Yvette |
| Département | Essonne (91) |
| Statut | Active |
Sites de OCAMLPRO en France
2 établissements actifs dans 2 communes et 2 départements.
Essonne (91)
1 site- Gif-sur-YvetteSiège
Paris (75)
1 site- Paris
Entreprises similaires
Autres Programmation informatique comparables à OCAMLPRO.
SiteW
Création de sites web et hébergement · Arpajon-sur-Cere · 10 à 19 salariés
Greenly
Développement d'applications mobiles · Paris · 100 à 199 salariés
Neos-SDI
Conseil et ingénierie IT · Levallois-Perret · 200 à 249 salariés
NectarGo
Programmation informatique · Lille · 20 à 49 salariés
Advanced Track & Trace
Authentification et traçabilité · Rueil-Malmaison · 20 à 49 salariés
Origami Marketplace
Développement web et marketplaces · Lille · 10 à 19 salariés
Questions frequentes sur OCAMLPRO
OCAMLPRO est un Programmation informatique (Programmation informatique). OCamlPro est une société de programmation informatique basée à Gif‑sur‑Yvette, spécialisée en optimisation, vérification formelle et développement autour d'OCaml et WebAssembly.
Aucune offre ouverte n'est actuellement relevée chez OCAMLPRO sur son site carrière et ses plateformes de recrutement.
OCAMLPRO compte 2 établissements en France, dont son siège à Gif-sur-Yvette. Ils sont répartis dans 2 communes et 2 départements, d'abord : Essonne (1), Paris (1).
OCAMLPRO intervient notamment sur OCaml, WebAssembly (Wasm), exécution symbolique, optimisation, vérification formelle.
OCAMLPRO déclare une tranche d'effectif de 20 à 49 salariés au répertoire SIRENE.
OCAMLPRO est basée au 2 ROUTE DE LA NOUE 91190 Gif-sur-Yvette.
Le site officiel de OCAMLPRO est https://ocamlpro.com.
OCAMLPRO a été créée en 2011, basée à Gif-sur-Yvette.
Le numéro SIREN de OCAMLPRO est 531468429.
OCAMLPRO est une SAS immatriculée au RCS sous le SIREN 531468429.
Vous staffez des consultants ?
Clustor prépare vos dossiers de compétences en 2 minutes, retrouve le bon profil dans votre vivier et remplit votre CRM après chaque réunion.